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.
Similar content being viewed by others
References
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
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
Bochman, A.: Biconsequence relations: a four-valued formalism of reasoning with inconsistency and incompleteness. Notre Dame J. Form. Log. 39(1), 47–73 (1998)
Bochman, A.: A Logical Theory of Nonomonotonic Inference and Belief Change. Springer, New York (2001)
Bochman, A.: A logic for causal reasoning. In: Proceedings IJCAI’03, Acapulco. Morgan Kaufmann, San Francisco (2003)
Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160, 105–143 (2004)
Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific, Singapore (2005)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artif. Intell. 93, 63–101 (1997)
Gabbay, D.M.: Investigations in Modal and Tense Logics. D. Reidel, Dordrecht (1976)
Gabbay, D.M.: Semantical Investigations in Heyting’s Intuitionistic Logic. D. Reidel, Dordrecht (1981)
Gelfond, M., Lifschitz, V.: Classical negation and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)
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
Gentzen, G.: Untersuchungen über das logische schließen. Math. Z. 39, 405–431 (1934)
Inoue, K., Sakama, C.: Negation as failure in the head. J. Log. Program. 35, 39–78 (1998)
Janhunen, T.: On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Intell. 27, 791–828 (1999)
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)
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)
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)
Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2, 526–541 (2001)
Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70, 53–72 (1994)
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)
Lin, F., Shoham, Y.: A logic of knowledge and justified assumptions. Artif. Intell. 57, 271–289 (1992)
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)
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)
Marek, W., Truszczyński, M.: Nonmonotonic Logic, Context-Dependent Reasoning. Springer, New York (1993)
Marek, W., Nerode, A., Remmel, J.: A theory of nonmonotonic rule systems. Ann. Math. Artif. Intell. 1, 241–273 (1990)
Marek, V.W., Schwarz, G.F., Truszchinski, M.: Modal nonmonotonic logics: ranges, characterization, computation. J. ACM 40, 963–990 (1993)
McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings AAAI-97, pp. 460–465, Providence, 27–31 July 1997
McCain, N., Turner, H.: On relating causal theories to other formalisms. Unpublished ms (1997)
McDermott, D., Doyle, J.: Nonmonotonic logic. Artif. Intell. 13, 41–72 (1980)
McDermott, D.: Nonmonotonic logic II: nonmonotonic modal theories. J. ACM 29, 33–57 (1982)
Moore, R.C.: Semantical considerations on non-monotonic logic. Artif. Intell. 25, 75–94 (1985)
Poole, D.: A logical framework for default reasoning. Artif. Intell. 36, 27–47 (1988)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
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)
Segerberg, K.: Classical Propositional Operators. Clarendon, Clarendon (1982)
Shoesmith, D.J., Smiley, T.J.: Multiple-Conclusion Logic. Cambridge University Press, Cambridge (1978)
Turner, H.: A logic of universal causation. Artif. Intell. 113, 87–123 (1999)
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)
Wojcicki, R.: Theory of Logical Calculi. Synthese Library, vol. 199. Kluwer, Boston (1988)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Victor Marek.
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-009-9109-x