Skip to main content
SpringerLink
Log in

Brave Nonmonotonic Inference and Its Kinds

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

We describe a uniform semantic representation for a number of systems of brave (credulous) nonmonotonic inference based on the notion of an epistemic state. A complete characterization for the main such systems is given. It turns out that both sceptical and credulous inference are representable syntactically as diverging extensions of the basic conditional logic suggested by van Benthem in [27].

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Benfehrat, D. Dubois and H. Prade, How to infer from inconsistent beliefs without revising?, in: Proceedings of IJCAI'95, Montreal (1995) pp. 1449–1455.

  2. S. Benferhat, D. Dubois and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in: Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, UAI'93, Washington, DC (Morgan Kaufmann, San Mateo, CA, 1993) pp. 411–419.

    Google Scholar 

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

    Google Scholar 

  4. A. Bochman, Credulous nonmonotonic inference, in: Proceedings of IJCAI'99, Stockholm, ed. T. Dean (Morgan Kaufmann, San Mateo, CA, 1999) pp. 30–35.

    Google Scholar 

  5. A. Bochman, Nonmonotonic reasoning in epistemic states, unpublished (1999).

  6. A. Bochman, A Logical Theory of Nonomonotonic Inference and Belief Change (Springer, Berlin, 2001).

    Google Scholar 

  7. A. Bochman, Possible worlds semantics for credulous and contraction inference, in: Proceedings of Joint German/Austrian Conference on AI (KI 2001), Vienna, eds. F. Baader, G. Brewka and T. Eiter, Lecture Notes in Artificial Intelligence, Vol. 2174 (Springer, Berlin, 2001) pp. 94–105.

    Google Scholar 

  8. S. Brass, On the semantics of supernormal defaults, in: Proceedings of IJCAI-93 (1993) pp. 578–583.

  9. J.P. Burgess, Quick completeness proofs for some logics of conditionals, Notre Dame Journal of Formal Logic 22 (1981) 76–84.

    Google Scholar 

  10. C. Cayrol, Fromnon-monotonic syntax-based entailment to preference-based argumentation, in: Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, Fribourg, Switzerland, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 99–106.

    Google Scholar 

  11. C. Cayrol and M.-C. Lagasquie-Shiex, Non-monotonic syntax-based entailment: A classification of consequence relations, in: Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, Fribourg, Switzerland, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 107–114.

    Google Scholar 

  12. J. Dix and D. Makinson, The relationship between KLM and MAK models for nonmonotonic inference operations, Journal of Logic and Computation 1 (1992) 131–140.

    Google Scholar 

  13. D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logics and Models of Concurrent Systems, ed. K.R. Apt (Springer, Berlin, 1985).

    Google Scholar 

  14. P. Gärdenfors and D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (1994) 197–245.

    Google Scholar 

  15. S. Kraus, D. Lehmarm and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167–207.

    Google Scholar 

  16. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55 (1992) 1–60.

    Google Scholar 

  17. D. Makinson, General theory of cumulative inference, in: Nonmonotonic Reasoning, ed. M. Reinfrank, Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1–18.

    Google Scholar 

  18. D. Makinson, General patterns in nonmonotonic reasoning, in: Nonmonotonic and Uncertain Reasoning, eds. D.M. Gabbay et al., Vol. 2, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (Oxford University Press, Oxford, 1994) pp. 35–110.

    Google Scholar 

  19. Y. Moinard and R. Rolland, Circumscriptions from what they cannot do (preliminary report), Working Papers of Common Sense'98, University of London (1998) pp. 20–41.

  20. G. Pinkas and R.P. Loui, Reasoning from inconsistency: A taxonomy of principles for resolving conflict, in: Proceedings of the Third Conference on Principles of Knowledge Representation and Reasoning, KR'92, Cambridge, MA (Morgan Kaufmann, San Mateo, CA, 1992) pp. 709–719.

    Google Scholar 

  21. D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27–47.

    Google Scholar 

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

    Google Scholar 

  23. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81–132.

    Google Scholar 

  24. Y. Shoham, Reasoning about Change (Cambridge University Press, 1988).

  25. P. Siegel and L. Forget, A representation theorem for preferential logics, in: Principles of Knowledge Representation and Reasoning, Proceedings of Fifth International Conference, KR'96, eds. L.C. Aiello, J. Doyle and S.C. Shapiro (Morgan Kaufmann, San Mateo, CA, 1996) pp. 453–460.

    Google Scholar 

  26. J. Van Benthem, Foundations of conditional logic, Journal of Philosophical Logic 13 (1984) 303–349.

    Google Scholar 

  27. J. Van Benthem, Partiality and monotonicity in classical logic, Logique et analyse 19(114) (1986) 225–247.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Holon Academic Institute of Technology, Israel

    Alexander Bochman

Authors
  1. Alexander Bochman
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bochman, A. Brave Nonmonotonic Inference and Its Kinds. Annals of Mathematics and Artificial Intelligence 39, 101–121 (2003). https://doi.org/10.1023/A:1024456630690

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1024456630690

Keywords

Search

Navigation