Objective
DRUMS II is a continuation of the DRUMS I Basic Research Action (3085), in which defeasible reasoning, uncertainty and incompleteness were studied. The overall objective is to investigate symbolic and quantitative methods of representation and reasoning able to deal with knowledge that is uncertain and defeasible. Six topics have been selected that are of fundamental importance in the domain of defeasible and uncertain reasoning:
- Belief change Organisation of the body of existing results for modelling belief changes so as to assess what is common to these belief change schemes.
- Non-monotonic deduction Integration of four general frameworks for deduction, namely Gentzen systems, labelled deductive systems, the axiomatisations of the consequence relation, and category theory; in order to provide appropriate insights into the nature and mechanism of non-monotonic deduction.
- Inconsistency in reasoning Development of a logic-based model that accounts for inconsistency in reasoning.
- Abduction Clarification of the relationships and actual differences of numerical, logical and machine learning perspectives of abduction.
- Algorithmic problems Study of the algorithmic problems of uncertain reasoning, taking as general a viewpoint as possible.
- Dynamic reasoning with partial models Study of the dynamics of non-monotonic reasoning using information structures as a vehicle for representation.
The symbolic and quantitative methods of representation and reasoning able to deal with knowledge that is uncertain and defeasible have been investigated. The 6 topics under study are: belief change, nonmonotonic deduction, inconsistency in reasoning, abduction, algorithmic problems and dynamic reasoning with partial models.
The major achievement is the integration of both the symbolic and numerical approaches for handling uncertainty problems, bridging the gaps between 2 usually diametrically opposed approaches. Strong cross fertilization is apparent. The results will be presented in a series of handbooks.
APPROACH AND METHODS
The project is centred on topics, and not on methods as was the case in DRUMS I. Partners are distributed amongst the six topics, creating a context favourable for strong integration between numerical and symbolic approaches as well as between various schools of thought.
POTENTIAL
The project will provide a better understanding of the models proposed to represent and to handle uncertainty and defeasible reasoning, two topics that seem to have become major issues in the development of information 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.
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
See on map
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.
Participants (18)
9220 AALBORG EAST
See on map
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.
35042 Rennes
See on map
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.
31062 Toulouse
See on map
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.
28006 Madrid
See on map
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.
66123 SAARBRÜCKEN
See on map
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.
SW7 2BZ LONDON
See on map
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.
83 LINKOEPING
See on map
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.
E1 4NS London
See on map
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.
38106 Braunschweig
See on map
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.
10149 TORINO
See on map
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.
2610 WILRIJK
See on map
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.
18071 GRANADA
See on map
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.
1700 FRIBOURG
See on map
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.
1007 MC AMSTERDAM
See on map
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.
221 00 LUND
See on map
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.
95125 Catania
See on map
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.
13331 Marseille
See on map
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.
91405 Orsay
See on map
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.