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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
Brewka G. (1991) Non-Monotonic Reasoning: Logic Foundations of Commonsense. Cambridge University Press, Cambridge, UK.
Chang C.L., Lee R.C.T. (1973) Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York.
Cohen L.J. (1977) The Probable and the Provable. Clarendon Press, Oxford, UK.
De Finetti B. (1974) Theory of Probability. Wiley, New York, Vol. 2, 307–312.
Gärdenfors P. (1988) Knowledge in Flux. The MIT Press, Cambridge, MA.
Gärdenfors P., Makinson D. (1994) Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197–245.
Hisdal E. (1978) Conditional possibilities: Independence and non-interactivity. Fuzzy Sets and Systems, 1, 283–297.
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.
Makinson D. (1989) General theory of cumulative inference. In: Non-Monotonic Reasoning (M. Reinfrank et al., eds.), Springer Verlag, Berlin, 1–18.
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.
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.
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.
Rescher N. (1976) Plausible Reasoning. Van Gorcum, Assen/Amsterdam.
Rescher N., Manor R. (1970) On inference from inconsistent premises. Theory and Decision, 1, 179–219.
Shackle G.L.S. (1961) Decision, Order and Time in Human Affairs. Cambridge University Press, Cambridge, UK.
Shoham Y. (1988) Reasoning about Change. The MIT Press, Cambridge, MA.
Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28.
References to the Authors Work
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.
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–684
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.
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.
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.
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.
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.
Dubois D., Prade H. (1987) Necessity measures and the resolution principle. IEEE Trans. Systems, Man and Cybernetics, 17, 474–478.
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.
Dubois D., Prade H. (1991) Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50, 223–23.
Dubois D., Prade H. (1992) Belief change and possibility theory. In: Belief Revision (P. Gärdenfors, ed.), Cambridge University Press, Cambridge, Mass., 142–182.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dubois, D., Prade, H. (1994). Possibility theory, belief revision and nonmonotonic logic. In: Ralescu, A.L. (eds) Fuzzy Logic in Artificial Intelligence. FLAI 1993. Lecture Notes in Computer Science, vol 847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58409-9_5
Download citation
DOI: https://doi.org/10.1007/3-540-58409-9_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58409-4
Online ISBN: 978-3-540-48780-7
eBook Packages: Springer Book Archive