Not impossible vs.guaranted possible in fusion and revision

Didier Dubois (1) , Henri Prade (1) , Philippe Smets (2)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 IRIDIA - Institut de Recherches interdisciplinaires et de Développements en Intelligence Artificielle [Bruxelles]

In daily life we have two kinds of knowledge at our disposal, pieces of information ruling out what is known to be impossible on the one hand, and case reports pointing out things which are indeed possible.The fusion of the first type of information is basically conjunctive, while it is disjunctive in the other case. The second type of information has been largely neglected by the logical tradition. Both types can be pervaded with uncertainty.The paper first describes how the two types of information can be accommodated in the possibility theory and in the evidence theory frameworks. Then it is shown how the existence of the two types of information can shed new light on the revision of a knowledge base when receiving new information.

Domaines: Intelligence artificielle [cs.AI]

Didier Dubois, Henri Prade, Philippe Smets. Not impossible vs.guaranted possible in fusion and revision. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.522-531, ⟨10.1007/3-540-44652-4_46⟩. ⟨hal-03385629⟩