Objectif
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.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles mathématiques mathématiques pures mathématiques discrètes logique mathématique
- sciences naturelles informatique et science de l'information intelligence artificielle intelligence de calcul
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
FP6-2002-MOBILITY-5
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
WIEN
Autriche
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.