Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software
- natural sciences computer and information sciences knowledge engineering
- natural sciences computer and information sciences artificial intelligence expert systems
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
1050 BRUXELLES
Belgium
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.