Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Conditionals, Information, and Inference

WCII 2002: Conditionals, Information, and Inference pp 38–58Cite as

Acceptance, Conditionals, and Belief Revision

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3301))

Abstract

This paper bridges the gap between comparative belief structures, such as those induced by probability measures, and logical representations of accepted beliefs. We add, to natural properties of comparative belief relations, some conditions that ensure that accepted beliefs form a deductively closed set. It is shown that the beliefs accepted by an agent in all contexts can always be described by a family of conditionals. These results are closely connected to the nonmonotonic ’preferential’ inference system of Kraus, Lehmann and Magidor and the works of Friedman and Halpern on their so-called plausibility functions. Acceptance relations are also another way of approaching the theory of belief change after the works of Gärdenfors and colleagues.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adams, E.W.: The Logic of Conditionals. D. Reidel, Dordrecht (1975)

    Book  MATH  Google Scholar 

  2. Alchourrón, C.E.P., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. J. of Symbolic Logic 50, 513–530 (1985)

    Article  MATH  Google Scholar 

  3. Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR 1992), Cambridge, MA, pp. 673–684 (1992)

    Google Scholar 

  4. Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 92, 259–276 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  5. Benferhat, S., Dubois, D., Prade, H.: Possibilistic and standard probabilistic semantics of conditional knowledge. Journal of Logic and Computation 9, 873–895 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  6. Benferhat, S., Dubois, D., Papini, O.: A sequential reversible belief revision method based on polynomials. In: Proceedings National American AI conference (AAAI 1999), Orlando, Floride (USA), pp. 733–738. AAAI Press/The MIT Press (1999)

    Google Scholar 

  7. Benferhat, S., Dubois, D., Lagrue, S., Prade, H.: A big-stepped probability approach for discovering default rules. In: Proc. of the Ninth Int. Conf. Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002), Annecy, France, pp. 283–289 (2002); A revised version is to appear in the Int. J. Uncertainty, Fuzziness and Knowledge- based Systems

    Google Scholar 

  8. Boutilier, C., Goldszmidt, M.: Revision by conditionals beliefs. In: Crocco, G., Fariñas del Cerro, L., Herzig, A. (eds.) Conditionals: From Philosophy to Computer Sciences, pp. 267–300. Oxford University Press, Oxford (1995)

    Google Scholar 

  9. Calabrese, P.: An algebraic synthesis of the foundations of logic and probability. Information Sciences 42, 187–237 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  10. Cohen, L.J.: The Probable and the Provable. Clarendon Press, Oxford (1977)

    Book  Google Scholar 

  11. Cohen, L.J.: Belief and acceptance. Mind XCVIII(391), 367–390 (1989)

    Article  Google Scholar 

  12. Darwishe, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89, 1–29 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  13. Dubois, D.: Belief structures, possibility theory and decomposable confidence measures on finite sets. Computers and Artificial Intelligence (Bratislava) 5(5), 403–416 (1986)

    MATH  Google Scholar 

  14. Dubois, D., Fargier, H., Prade, H.: Comparative uncertainty, belief functions and accepted beliefs. In: Proc. of 14th Conf. on Uncertainty in Artificial Intelligence (UAI 1998), Madison, Wi, pp. 113–120 (1998)

    Google Scholar 

  15. Dubois, D., Fargier, H., Prade, H.: Ordinal and numerical representations of acceptance. Research report 02-20R, IRIT, Toulouse (2002)

    Google Scholar 

  16. Dubois, D., Moral, S., Prade, H.: Belief change rules in ordinal and numerical uncertainty theories. In: Dubois, D., Prade, H. (eds.) Belief Change, Handbook on Defeasible Reasoning and Uncertainty Management Systems, vol. 3, pp. 311–392. Kluwer Academic Publ., Dordrecht (1998)

    MATH  Google Scholar 

  17. Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50, 223–239 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  18. Dubois, D., Prade, H.: Conditional objects as non-monotonic consequence relationships. IEEE Trans. on Systems, Man and Cybernetics 24, 1724–1740 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  19. Dubois, D., Prade, H.: Conditional objects, possibility theory and default rules. In: Crocco, G., Farinas del Cerro, L., Herzig, A. (eds.) Conditionals: From Philosophy to Computer Science, pp. 311–346. Oxford University Press, Oxford (1995)

    Google Scholar 

  20. Dubois, D., Prade, H.: Numerical representation of acceptance. In: Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence, Montréal, Quebec, pp. 149–156 (1995)

    Google Scholar 

  21. Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Smets, P. (ed.) Quantified Representations of Uncertainty and Imprecision. Handbook on Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169–226. Kluwer Academic Publ., Dordrecht (1998)

    Google Scholar 

  22. Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, p. 255. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  23. Fishburn, P.: The axioms of subjective probability. Statistical Science 1, 335–358 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  24. Friedman, N., Halpern, J.: Plausibility measures and default reasoning. In: Proc. of the 13th National Conf. on Artificial Intelligence (AAAI 1996), Portland, OR, pp. 1297–1304 (1996)

    Google Scholar 

  25. Gärdenfors, P.: Knowledge in Flux. MIT press, Cambridge (1988)

    MATH  Google Scholar 

  26. Goodman, I.R., Nguyen, H.T., Walker, E.A.: Conditional Inference and Logic for Intelligent Systems: a Theory of Measure-Free Conditioning. North-Holland, Amsterdam (1991)

    Google Scholar 

  27. Grove, A.: Two modellings for theory change. J. Philos. Logic 17, 157–170 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  28. Halpern, J.: Defining relative likelihood in partially-ordered preferential structures. J. AI Research 7, 1–24 (1997)

    MathSciNet  MATH  Google Scholar 

  29. Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087, p. 27. Springer, Heidelberg (2001)

    Book  Google Scholar 

  30. Kraft, C.H., Pratt, J.W., Seidenberg, A.: Intuitive probability on finite sets. Ann. Math. Stat. 30, 408–419 (1959)

    Article  MathSciNet  MATH  Google Scholar 

  31. Kraus, K., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  32. Kyburg, H.E.: Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown (1961)

    Google Scholar 

  33. Kyburg, H.E.: Knowledge. In: Lemmer, J.F., Kanal, L.N. (eds.) Uncertainty in Artificial intelligence, pp. 263–272. Elsevier, Amsterdam (1988)

    Chapter  Google Scholar 

  34. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence, vol. 55(1), pp. 1–60 (1992)

    Google Scholar 

  35. Lehmann, D.: Belief revision, revised. In: Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI 1995), Montreal, Quebec, pp. 1534–1540 (1995)

    Google Scholar 

  36. Lewis, D.L.: Counterfactuals. Basil Blackwell, Oxford (1973)

    MATH  Google Scholar 

  37. Makinson, D., Gärdenfors, P.: Relations between the logic of theory change and nonmonotonic reasoning. In: Fuhrmann, A., Morreau, M. (eds.) The Logic of Theory Change. LNCS(LNAI), vol. 465, pp. 185–205. Springer, Heidelberg (1991)

    Chapter  MATH  Google Scholar 

  38. Paris, J.: The Uncertain Reasoner’s Companion. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

  39. Pearl, J.: Probabilistic Reasoning Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo (1988)

    MATH  Google Scholar 

  40. Pearl, J.: System Z: a natural ordering of defaults with tractable applications to default reasoning. In: Proc. of the 3rd Conf. on the Theoretical Aspects of Reasoning About Knowledge (TARK 1990), pp. 121–135. Morgan and Kaufmann, San Mateo (1990)

    Google Scholar 

  41. Poole, D.: The effect of knowledge on belief: conditioning, specificity and the lottery paradox in defaut reasoning. Artificial Intelligence 49, 281–307 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  42. Roubens, M., Vincke, P.: Preference Modelling. Lecture Notes in Economics and Mathematical Systems, vol. 250. Springer, Berlin (1985)

    Book  Google Scholar 

  43. Snow, P.: Diverse confidence levels in a probabilistic semantics for conditional logics. Artificial Intelligence 113, 269–279 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  44. Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105–134. D. Reidel, Dordrecht (1988)

    Chapter  Google Scholar 

  45. Williams, M.A.: Transmutations of knowledge systems. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR 1994), Bonn, Germany, pp. 619–629 (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT-CNRS, Université Paul Sabatier, 31062, Toulouse, France

    Didier Dubois, Hélène Fargier & Henri Prade

Authors
  1. Didier Dubois
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hélène Fargier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Henri Prade
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science, TU Dortmund, 44221, Dortmund, Germany

    Gabriele Kern-Isberner

  2. FernUniversität in Hagen, Fachbereich Wirtschaftswissenschaft, Lehrstuhl für BWL, insb. Operations Research, 58084, Hagen, Germany

    Wilhelm Rödder

  3. FernUniversität in Hagen, Fachbereich Wirtschaftswissenschaft, Lehrstuhl BWL, insb. Operations Research, 58084, Hagen, Germany

    Friedhelm Kulmann

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dubois, D., Fargier, H., Prade, H. (2005). Acceptance, Conditionals, and Belief Revision. In: Kern-Isberner, G., Rödder, W., Kulmann, F. (eds) Conditionals, Information, and Inference. WCII 2002. Lecture Notes in Computer Science(), vol 3301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11408017_3

Download citation

  • DOI: https://doi.org/10.1007/11408017_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25332-7

  • Online ISBN: 978-3-540-32235-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation