A Brief Overview of Possibilistic Logic

The intended purpose of this research 1 is i) to show the specificity of possibilistic logic with respect to other logics with weighted statements, in particular its ability to deal both with uncertainty and vagueness, ii) to develop proof methods for possibilistic logic, and iii) to relate its ability to cope with partial inconsistency to belief revision and non-monotonic reasoning issues. See L6a Somb6 (1990) for an introduction to possibilistic logic among other non-classical logics.

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

[2]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

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

[4]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[5]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[6]  Didier Dubois,et al.  Updating with belief functions, ordinal conditional functions and possibility measures , 1990, UAI.

[7]  Léa Sombé,et al.  Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example , 1990, Int. J. Intell. Syst..

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

[9]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

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

[11]  Didier Dubois,et al.  Towards Possibilistic Logic Programming , 1991, ICLP.

[12]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[13]  Peter Gärdenfors.  Nonmonotonic Inferences Based on Expectations: A Preliminary Report , 1991, KR.

[14]  Didier Dubois,et al.  Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic , 1991, Fuzzy Logic and Fuzzy Control.

[15]  Zbigniew W. Ras,et al.  Methodologies for Intelligent Systems , 1991, Lecture Notes in Computer Science.

[16]  Didier Dubois,et al.  Handling uncertain knowledge in an ATMS using possibilistic logic , 1991 .

[17]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[18]  D. Dubois,et al.  Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .

[19]  Jérôme Lang,et al.  Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints , 1991, FAIR.

[20]  Didier Dubois,et al.  A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency , 1994, UAI.

[21]  D. Dubois,et al.  Belief Revision: Belief change and possibility theory , 1992 .

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

[23]  Marialuisa N. McAllister.  Possibility Theory: An Approach to Computerized Processing of Uncertainty (Didier Dubois and Henri Prade with the collaboration o f Henri Farreny, Roger Martin-Clouaire, and Claudette Testemale; E. F. Handing, trans.) , 1992, SIAM Rev..