HYPOTHETICAL REASONING IN POSSIBILISTIC LOGIC: BASIC NOTIONS, APPLICATIONS AND IMPLEMENTATION ISSUES

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.

[1]  Johan de Kleer,et al.  A General Labeling Algorithm for Assumption-Based Truth Maintenance , 1988, AAAI.

[2]  Bruce D'Ambrosio,et al.  A hybrid approach to reasoning under uncertainty , 1987, Int. J. Approx. Reason..

[3]  Settimo Termini,et al.  On the Notion of Uncertain Belief Revision Systems , 1990, IPMU.

[4]  Arie Tzvieli.  Possibility theory: An approach to computerized processing of uncertainty , 1990, J. Am. Soc. Inf. Sci..

[5]  L. Zadeh,et al.  Fuzzy Logic for the Management of Uncertainty , 1992 .

[6]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[7]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[8]  H. Prade,et al.  Possibilistic logic , 1994 .

[9]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[10]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[11]  Didier Dubois,et al.  Theorem Proving Under Uncertainty - A Possibility Theory-based Approach , 1987, IJCAI.

[12]  Pierre Tayrac.  ARC: An Extended ATMS Based on Directed CAT-Correct Resolution , 1990, Truth Maintenance Systems.

[13]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[14]  Didier Dubois,et al.  Necessity Measures and the Resolution Principle , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  Didier Dubois,et al.  Resolution principles in possibilistic logic , 1990, Int. J. Approx. Reason..

[16]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[17]  Gregory M. Provan.  An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions , 1989, IJCAI.

[18]  Jérôme Lang.  Logique possibiliste : aspects formels, deduction automatique, et applications , 1991 .

[19]  Didier Dubois,et al.  Inconsistency in possibilistic knowledge bases: to live with it or not live with it , 1992 .

[20]  C. Cayrol.  Un modèle logique général pour le raisonnement révisable , 1992 .

[21]  Brian Falkenhainer,et al.  Towards a general-purpose belief maintenance system , 1986, UAI.

[22]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[23]  James F. Baldwin,et al.  Evidential support logic programming , 1987 .

[24]  Kathryn B. Laskey,et al.  Belief Maintenance: An Integrated Approach to Uncertainty Management , 1988, AAAI.

[25]  Barbara M. Smith,et al.  Reason maintenance systems and their applications , 1988 .

[26]  Didier Dubois,et al.  A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision , 1990, Truth Maintenance Systems.