Work Area: Uncertainty Management
Keywords uncertainty, defeasible reasoning, non-monotonic deduction, inconsistency in reasoning, dynamic reasoning, abduction, probability theory
Start Date: 1 October 92 / Duration: 36 months / Status: starting
[ participants / contact ]
Abstract DRUMS investigates the symbolic and quantitative methods of representation and reasoning able to deal with knowledge that is uncertain and defeasible. Six topics will be studied: belief change, non-monotonic deduction, inconsistency in reasoning, abduction, algorithmic problems and dynamic reasoning with partial models. The work builds on the results of DRUMS I (3085).
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:
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.
The major achievement is the integration of both the symbolic and numerical approaches for handling uncertainty problems, bridging the gaps between two usually diametrically opposed approaches. Strong cross-fertilisation is showing up. These collaborations are leading to several joint reports-publications. Many results will be presented at the European Conference ECSQARU-93 organised by DRUMS2. A series of handbooks is in preparation that will present DRUMS2 results. The use of these combined techniques for industrial problems are considered.
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.
DRUMS2 organised the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty in Granada, Nov. 1993. Results of DRUMS2 projects will be published by Oxford University Press as a serie of 5 volumes called the "Handbook on Defeasible Reasoning and Uncertainty Management".
Université Libre de Bruxelles - B
Ave. Franklin Roosevelt 50
B - 1050 BRUXELLES
Universiteit Antwerpen - B
Universität Fribourg - CH
DFKI - D
Technische Universität Braunschweig - D
Aalborg Universitet - DK
Universidad de Granada - E
Centre D'Estudis Avancais de Blanes - E
CNRS-IRISA - F
Université Paul Sabatier - F
Université de Provence - F
CNRS-LRI - F
CNRS-IRIT - F
Università di Torino - I
Università di Catania - I
Universiteit van Amsterdam - NL
Lund Universitet - S
Linköping Universitet - S
Imperial College of Science, Technology and Medicine - UK
Queen Mary and Westfield College - UK
Prof. P. Smets
tel +32/2 650 27 29
fax +32/2 650 27 15
DRUMS II - 6156, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook