Skip to main content
Log in

Default logic generalized and simplified

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

Abstract

We study a generalization of default logic obtained by extending its logical, monotonic basis to disjunctive (multiple-conclusion) rules. Special attention will be paid to the representation opportunities created by such rules, in particular to the use of default justifications in the heads of the rules. On the other hand, it will be shown that even the generalized default logic can be simplified to a formal system that involves only monotonic inference rules and unconditional (‘supernormal’) default assumptions.

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

Access this article

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. Bochman, A.: On the relation between default and modal consequence relations. In: Proc Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 63–74, Bonn, 24–27 May 1994

  2. Bochman, A.: On bimodal nonmonotonic logics and their unimodal and non-modal equivalents. In: Proc. IJCAI’95, pp. 1518–1524, Montreal, 20–25 August 1995

  3. Bochman, A.: Biconsequence relations: a four-valued formalism of reasoning with inconsistency and incompleteness. Notre Dame J. Form. Log. 39(1), 47–73 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  4. Bochman, A.: A Logical Theory of Nonomonotonic Inference and Belief Change. Springer, New York (2001)

    Google Scholar 

  5. Bochman, A.: A logic for causal reasoning. In: Proceedings IJCAI’03, Acapulco. Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

  6. Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160, 105–143 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  7. Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific, Singapore (2005)

    MATH  Google Scholar 

  8. Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artif. Intell. 93, 63–101 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  9. Gabbay, D.M.: Investigations in Modal and Tense Logics. D. Reidel, Dordrecht (1976)

    MATH  Google Scholar 

  10. Gabbay, D.M.: Semantical Investigations in Heyting’s Intuitionistic Logic. D. Reidel, Dordrecht (1981)

    MATH  Google Scholar 

  11. Gelfond, M., Lifschitz, V.: Classical negation and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)

    Article  Google Scholar 

  12. Gelfond, M., Lifschitz, V., Przymusińska, H., Truszczyński, M.: Disjunctive defaults. In: Proc. Second Int. Conf. on Principles of Knowledge Representation and Reasoning, KR’91, pp. 230–237, Cambridge, 22–25 April 1991

  13. Gentzen, G.: Untersuchungen über das logische schließen. Math. Z. 39, 405–431 (1934)

    Article  MathSciNet  Google Scholar 

  14. Inoue, K., Sakama, C.: Negation as failure in the head. J. Log. Program. 35, 39–78 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  15. Janhunen, T.: On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Intell. 27, 791–828 (1999)

    Article  MathSciNet  Google Scholar 

  16. Janhunen, T.: On the effect of default negation on the expressiveness of disjunctive rules. In: Eiter, T., Faber, W., Truszczynski, M. (eds.) Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001. LNAI, vol. 2173, pp. 93–106. Springer, New York (2001)

    Google Scholar 

  17. Lifschitz, V., Schwarz, G.: Extended logic programs as autoepistemic theories. In: Pereira, L.M., Nerode, A. (eds.) Proc. Second Int. Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 101–114. MIT, Cambridge (1993)

    Google Scholar 

  18. Lifschitz, V., Woo, T.: Answer sets in general nonmonotonic reasoning (preliminary report). In: Proc. Third Int. Conf. on Principles of Knowledge Representation and Reasoning, KR‘92, pp. 603–614. Morgan Kauffmann, San Francisco (1992)

    Google Scholar 

  19. Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2, 526–541 (2001)

    Article  MathSciNet  Google Scholar 

  20. Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70, 53–72 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  21. Lin, F., Shoham, Y.: Argument systems: a uniform basis for nonmonotonic reasoning. In: Proceedings of 1st Intl. Conference on Principles of Knowledge Representation and Reasoning, pp. 245–255, Stanford (1989)

  22. Lin, F., Shoham, Y.: A logic of knowledge and justified assumptions. Artif. Intell. 57, 271–289 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  23. Lin, F.: Embracing causality in specifying the inderect effect of actions. In: Proc. Int. Joint Conf. on Artificial Intelligence, IJCAI-95, pp. 1985–1991. Morgan Kaufmann, Montreal (1995)

    Google Scholar 

  24. Marek, W., Truszczyński, M.: Relating autoepistemic and default logics. In: Int. Conf. on Principles of Knowledge Representation and Reasoning, KR’89, pp. 276–288. Morgan Kaufmann, San Mateo (1989)

    Google Scholar 

  25. Marek, W., Truszczyński, M.: Nonmonotonic Logic, Context-Dependent Reasoning. Springer, New York (1993)

    MATH  Google Scholar 

  26. Marek, W., Nerode, A., Remmel, J.: A theory of nonmonotonic rule systems. Ann. Math. Artif. Intell. 1, 241–273 (1990)

    Article  MATH  Google Scholar 

  27. Marek, V.W., Schwarz, G.F., Truszchinski, M.: Modal nonmonotonic logics: ranges, characterization, computation. J. ACM 40, 963–990 (1993)

    Article  MATH  Google Scholar 

  28. McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings AAAI-97, pp. 460–465, Providence, 27–31 July 1997

  29. McCain, N., Turner, H.: On relating causal theories to other formalisms. Unpublished ms (1997)

  30. McDermott, D., Doyle, J.: Nonmonotonic logic. Artif. Intell. 13, 41–72 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  31. McDermott, D.: Nonmonotonic logic II: nonmonotonic modal theories. J. ACM 29, 33–57 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  32. Moore, R.C.: Semantical considerations on non-monotonic logic. Artif. Intell. 25, 75–94 (1985)

    Article  MATH  Google Scholar 

  33. Poole, D.: A logical framework for default reasoning. Artif. Intell. 36, 27–47 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  34. Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  35. Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proc. Symp. in Pure Math., No. 25, pp. 431–435. American Mathematical Society, Providence (1974)

    Google Scholar 

  36. Segerberg, K.: Classical Propositional Operators. Clarendon, Clarendon (1982)

  37. Shoesmith, D.J., Smiley, T.J.: Multiple-Conclusion Logic. Cambridge University Press, Cambridge (1978)

    MATH  Google Scholar 

  38. Turner, H.: A logic of universal causation. Artif. Intell. 113, 87–123 (1999)

    Article  MATH  Google Scholar 

  39. Turner, H.: Strong equivalence for causal theories. In: Lifschitz, V., Niemelä, I. (eds.) Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004. LNAI. vol. 2923, pp. 289–301. Springer, Fort Lauderdale (2004)

    Google Scholar 

  40. Wojcicki, R.: Theory of Logical Calculi. Synthese Library, vol. 199. Kluwer, Boston (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Bochman.

Additional information

Dedicated to Victor Marek.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bochman, A. Default logic generalized and simplified. Ann Math Artif Intell 53, 21–49 (2008). https://doi.org/10.1007/s10472-009-9109-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-009-9109-x

Keywords

Mathematics Subject Classifications (2000)

Navigation