Defeasible Reasoning and Uncertainty Management Systems II (DRUMS II).
Supported by: C.E.E. Esprit III Basic Research Action.
Project number: 6156
Starting and ending dates: from October 1992 to October 1995.
Manager: Serafín Moral. (firstname.lastname@example.org)
This is a large project involving 21 european research groups. The coordinator
Universite Libre de Bruxelles
DRUMS II is a continuation of the DRUMS I project 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 of fundamental importance in the domain of defeasible and uncertain
reasoning have been selected. The work programs are:
Our group is involved in WP4 and WP5 work programs. Our participation in WP4 is
coordinated by Luis M. de Campos and the objective is to study learning
procedures of dependence graphs under non-probabilistic representations of
uncertainty, as possibility theory and upper and lower probabilities. WP5 is
coordinated by Serafín Moral and the objective is to study abstract
propagation algorithms in graphical structures and approximated algorithms
based on Monte-Carlo techniques.
- WP1. Belief Change.
- WP2. Non-monotonic deduction
- WP3. Inconsistency in reasoning
- WP4. Abduction
- WP5. Algorithmic problems
- WP6. Dynamic reasoning with partial models