Objetivo
Due to the pioneering work of Zane, it is widely recognised that fuzzy logic is fundamental to an adequate treatment of topics such as formalising common natural language predicates like ' " tall" or " dark" and reasoning in the presence of uncertainty and/or vagueness. Despite numerous successful applications in these areas however, there is still a great need for foundational research in fuzzy logic, in particular to develop formal methods for automated reasoning. The aim of the proposed project is to develop and exploit proof theory for some of the most important formalisations of fuzzy logic, which include Lukasiewicz logics and related logics. Proof theory is concerned with the analysis of proofs from a syntactical perspective, and is a basic prerequisite for developing automated reasoning methods for logic. Its main goal is the construction of proof calculi that are " analytic" in the sense that proofs proceed by a stepwise decomposition of the formula to be proved, and " uniform" across a wide range of logics. The project is a continuation of the PhD work of the applicant, which solved a long-term open problem in the field by providing analytic proof systems for prepositional Lukasiewicz logic L, and Product logic P. The objectives are:
(1) to provide analytic proof calculi for finite-valued Lukasiewicz logics, and (since these logics are not acclimatisable) fragments of first-order L and P, and
(2) to exploit these proof calculi to obtain metallurgical results and proof procedures suitable for automated reasoning. The work will be carried out at the TU in Vienna, a world class centre for research into fuzzy logic and proof theory, which has recently completed a similar project for Godley logics. The project meets several EU objectives. It will advance the state of the art in fuzzy logic, and facilitate the training and mobility of an extremely promising researcher.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales matemáticas matemáticas puras matemáticas discretas lógica matemática
- ciencias naturales informática y ciencias de la información inteligencia artificial inteligencia computacional
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
FP6-2002-MOBILITY-5
Consulte otros proyectos de esta convocatoria
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
WIEN
Austria
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.