Hypothetical reasoning in possibilistic logic: basic notions and implementation issues

Salem Benferhat (1) , Didier Dubois (1, 2) , Jérôme Lang (1) , Henri Prade (1, 2)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique

Possibilistic ATMS are truth maintenance systems oriented towards hypothetical reasoning where both assumptions and justifications can bear an uncertainty weight. Uncertainty is represented in the framework of possibility theory. In possibilistic logic uncertain clauses are handled as such and then in possibilistic ATMS the management of uncertainty is not separated from the other classical capabilities of the ATMS. The main interest of a possibilistic ATMS is to take advantage of the uncertainty pervading the available knowledge so as to rank-order environments in which a given statement is true. The approach is illustrated on a fault diagnosis problem. Basic algorithms associated with possibilistic ATMS are given.

Domains: Artificial Intelligence [cs.AI]

Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade. Hypothetical reasoning in possibilistic logic: basic notions and implementation issues. Wang, P.Z.; Loe, K.F. Between Mind and Computer, Fuzzy Science and Engineering, 1, World Scientific, pp.1--29, 1994, Advances in Fuzzy Systems - Applications and Theory, ⟨10.1142/9789814503679_0001⟩. ⟨hal-04053436⟩