Skip to main content
European Commission logo print header
Inhalt archiviert am 2024-04-16

Defeasible Reasoning and Uncertainty Management Systems

Ziel

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.

Thema/Themen

Data not available

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

Data not available

Koordinator

VRIJE UNIVERSITEIT BRUSSEL
EU-Beitrag
Keine Daten
Adresse
AVENUE F.D. ROOSEVELT, 50, 122
1050 BRUXELLES
Belgien

Auf der Karte ansehen

Gesamtkosten
Keine Daten

Beteiligte (8)