Objectif
DRUMS aimed to study the integration of several forms of non-standard logics and models that could be applied to problems of defeasible reasoning and uncertainty management. The models studied are necessary for automated reasoning at the level of:
-knowledge representation where knowledge is pervaded with some form of ignorance, be it incompleteness, imprecision or uncertainty
-inference engines adapted to each form of ignorance.
The final aim of DRUMS was to attempt the integration of various logics and models into a general model able to cope with the various forms of ignorance, and its implementation in inference engines.
APPROACH AND METHODS
DRUMS was realised through an interdisciplinary and collaborative approach covering the following four research domains:
-Logic models for defeasible reasoning, covering default logics, the integration of concurrent representations, and proof procedures and algorithms.
-Probabilistic models of reasoning under uncertainty and vagueness, addressing the development of possibilistic and linguistic quantifier logics and knowledge elicitation.
-Models of belief for approximate reasoning, including the transferable belief model, approximations and algorithms, and propagating uncertainty in dependence graphs.
-Combined models of reasoning with uncertainty, covering an extended logic language and advanced prototyping.
PROGRESS AND RESULTS
Scientific papers have been published and presented at several congresses. They cover each of the aforementioned domains of research and several integration issues. Six workshops and an International Conference have been organised. Several pieces of software dealing with the management of uncertainty have been successfully developed.
POTENTIAL
The improvement of expert system shells on the aspect of uncertainty management is very important for the knowledge-engineering industry. So far, only ad hoc and poorly justified approaches have been available to users, leading to poor results and dissatisfaction. Indeed, for most expert systems developed, the need for uncertainty and incompleteness has not been paramount because of their size and simplicity. As systems become more complex, however, uncertainty and incompleteness become crucial in determining the choices to be made. Furthermore, a proper treatment of uncertainty would improve the behaviour of expert systems.
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 informatique et science de l'information logiciel
- sciences naturelles informatique et science de l'information ingénierie de la connaissance
- sciences naturelles informatique et science de l'information intelligence artificielle systèmes experts
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
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é.
Données non disponibles
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.
Données non disponibles
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.
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.
Données non disponibles
Coordinateur
1050 BRUXELLES
Belgique
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.