Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ClaVa

Financiado

Cerrado

Clausal forms for Vague information processing

This is a resubmission of proposal number 898845 submitted to MSCA-IF-2019 and not funded. The main objective of this project is to study clausal-form systems for real and rational-valued events, facing the questions of their gene... ver más

23/03/2024

CSIC

161K€

Presupuesto del proyecto: 161K€

Líder del proyecto

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 2-3 | 552M€

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2024-03-23

MSCA-IF-2020: Individual Fellowships Objective:The goal of the Individual Fellowships is to enhance the creative and innovative potential...

I+D

Cerrada

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

CSIC

160.93K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 35 meses Fecha Inicio: 2021-04-22
Fecha Fin: 2024-03-23

Líder del proyecto

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 2-3 | 552M€

Presupuesto del proyecto 161K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto This is a resubmission of proposal number 898845 submitted to MSCA-IF-2019 and not funded. The main objective of this project is to study clausal-form systems for real and rational-valued events, facing the questions of their general definition, usage and solvable problems (SAT and optimality) from the point of view of their complexity, algorithmic design and applicability. It is focused on studying in full generality the definition of clausal form in non-classical logics for their use in vague knowledge representation. At the most general level, it is planned to reach a the definition based on n-ary- level subsets of literals and using symmetric term-definable operations of arbitrary arity to combine each level, over Mathematical Fuzzy Logics and over some other Substructural Logics. In the first family of logics, vague concepts with inverse (tall-short, hot-cold, etc), truth stressers and comparaisons (more, much more, etc) can be modeled naturally. On the other hand, substructural logics allow to model non-linearly ordered notions (eg. situations that cannot be considered better or worse between them), and non-integral algebras for combination of knowledge (i.e., with an operation * such that x*y > x for some y). We plan to 1) introduce definitions of general clausal forms over the above logical systems, study their possible equivalences and their logical properties (axiomatization of fragments, admissible rules, etc); 2) study real-world vague notions to be modeled using some of the previous forms and of the above logics; 3) design and test efficient solving procedures for three natural questions: SAT (evaluation sending the clause to 1), Max-SAT (evaluation maximizing the number of satisfied clauses) and optimality with respect to an objective (evaluation maximizing/minimizing the clause) 4) do a complexity classification of the clausal forms, and study their normality (i.e., if any formula is equivalent to one in the desired form for the problems above).

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores