Advertisement

Possibility theory, belief revision and nonmonotonic logic

  • Didier Dubois
  • Henri Prade
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 847)

Abstract

This paper is a brief overview of joint work done with Salem Benferhat and Jérôme Lang, at IRIT in Toulouse on the application of possibility theory to automated reasoning under uncertainty. A noticeable aspect of this research is that although first motivated by Zadeh's interpretation of fuzzy sets as elastic constraints, possibilistic logic has developed in close connection with the mainstream research in belief revision and nonmonotonic reasoning. Especially, Gärdenfors' revision postulates leads to an epistemic entrenchment ordering of pieces of knowledge that can be encoded by means of a necessity measure only. And possibilistic logic turns out to belong to the family of preferential logics after Shoham, that unify most of the existing nonmonotonic logics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourron C.E., Gärdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet functions for contradiction and revision. J. of Symbolic Logic, 50, 510–530.Google Scholar
  2. Brewka G. (1991) Non-Monotonic Reasoning: Logic Foundations of Commonsense. Cambridge University Press, Cambridge, UK.Google Scholar
  3. Chang C.L., Lee R.C.T. (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York.Google Scholar
  4. Cohen L.J. (1977) The Probable and the Provable. Clarendon Press, Oxford, UK.Google Scholar
  5. De Finetti B. (1974) Theory of Probability. Wiley, New York, Vol. 2, 307–312.Google Scholar
  6. Gärdenfors P. (1988) Knowledge in Flux. The MIT Press, Cambridge, MA.Google Scholar
  7. Gärdenfors P., Makinson D. (1994) Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197–245.Google Scholar
  8. Hisdal E. (1978) Conditional possibilities: Independence and non-interactivity. Fuzzy Sets and Systems, 1, 283–297.Google Scholar
  9. Lehmann D. (1989) What does a conditional knowledge base entail ? Proc. of the 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'89) (R.J. Brachman et al., eds.), Toronto, Ontario, 212–222.Google Scholar
  10. Makinson D. (1989) General theory of cumulative inference. In: Non-Monotonic Reasoning (M. Reinfrank et al., eds.), Springer Verlag, Berlin, 1–18.Google Scholar
  11. Makinson D. (1994) General patterns of nonmonotonic reasoning. In: Handbook of Logic in Artificial Intelligence and Logic Programming — Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning (D.M. Gabbay, C.J. Hogger, J.A. Robinson, eds.), Oxford Science Publ., 35–110.Google Scholar
  12. Makinson D., Gärdenfors P. (1991) Relation between the logic of theory change and nonmonotonic logic. In: The Logic of Theory Change (A. Fuhrmann, M. Morreau, eds.), Lecture Notes in Computer Sciences, Vol. 465, Springer Verlag, Berlin.Google Scholar
  13. Pearl J. (1990) System Z: a natural ordering of defaults with tractable applications to default reasoning. Proc. of the 3rd Conf. on Theoretical Aspects of Reasoning about Knowledge (M. Vardi, ed.), Morgan Kaufmann, San Mateo, CA, 121–135.Google Scholar
  14. Rescher N. (1976) Plausible Reasoning. Van Gorcum, Assen/Amsterdam.Google Scholar
  15. Rescher N., Manor R. (1970) On inference from inconsistent premises. Theory and Decision, 1, 179–219.Google Scholar
  16. Shackle G.L.S. (1961) Decision, Order and Time in Human Affairs. Cambridge University Press, Cambridge, UK.Google Scholar
  17. Shoham Y. (1988) Reasoning about Change. The MIT Press, Cambridge, MA.Google Scholar
  18. Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28.Google Scholar

References to the Authors Work

  1. Benferhat S., Cayrol C., Dubois D., Lang J., Prade H. (1993a) Inconsistency management and prioritized syntax-based entailment. Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambéry, France.Google Scholar
  2. Benferhat S., Dubois D., Prade H. (1992) Representing default rules in possibilistic logic. Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, Mass., Oct. 26–29, 673–684Google Scholar
  3. Benferhat S., Dubois D., Prade H. (1993b) Argumentative inference in uncertain and inconsistent knowledge bases. Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence.Google Scholar
  4. Benferhat S., Dubois D., Prade H. (1994) Expressing independence in a possibilistic framework and its application to default reasoning. Proc. of the Europ. Conf. on Artificial Intelligence (ECAI'94), 150–154.Google Scholar
  5. Dubois D., Lang J., Prade H. (1991) Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic. Proc. of the IJCAI Fuzzy Logic in AI Workshop, Sydney, Aug. 25, 13–23.Google Scholar
  6. Dubois D., Lang J., Prade H. (1992) Inconsistency in possibilistic knowledge bases — To live or not live with it. In: Fuzzy Logic for the Management of Uncertainty (L.A. Zadeh, J. Kacprzyk, eds.), Wiley, New York, 335–351.Google Scholar
  7. Dubois D., Lang J., Prade H. (1994) Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (D.M. Gabbay, ed.), Oxford University Press.Google Scholar
  8. Dubois D., Prade H. (1987) Necessity measures and the resolution principle. IEEE Trans. Systems, Man and Cybernetics, 17, 474–478.Google Scholar
  9. Dubois D., Prade H. (with the collaboration of Farreny H., Martin-Clouaire R., Testemale C.) (1988) Possibility Theory — An Approach to Computerized Processing of Uncertainty. Plenum Press, New York.Google Scholar
  10. Dubois D., Prade H. (1991) Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50, 223–23.Google Scholar
  11. Dubois D., Prade H. (1992) Belief change and possibility theory. In: Belief Revision (P. Gärdenfors, ed.), Cambridge University Press, Cambridge, Mass., 142–182.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Didier Dubois
    • 1
  • Henri Prade
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse (IRIT)Université Paul SabatierToulouse CedexFrance

Personalised recommendations