Abstract
We study the conceptual relationship between the semantics of nonmonotonic inheritance reasoning and argumentation. We show that the credulous semantics of nonmonotonic inheritance network can be captured by the stable semantics of argumentation. We present a transformation of nonmonotonic inheritance networks into equivalent extended logic programs.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
Delgrande, J.P., Schaub, T.H.: A General Approach to Specificity in Default Reasoning, Knowledge and Representation (1994).
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and N-person game. AI Vol. 76 2 (1995) (An extended abstract of this paper can be found in the proceeding of IJCAI, 1993)
Etherington, D.: Reasoning with Incomplete Information, Pitman, London. (1988)
Etherington, D., Reiter, R.: On Inheritance Hierarchies with Exceptions in Proc. of AAAI-83 (1983) 104-108
Geerts P., Vermeir D.: A Nonmonotonic Reasoning Formalism using implicit specificity information. Proceeding of LPNMR'93, 380–396
Geffner H., Pearl, J.: Conditional entailment: bridging two approaches to default reasoning, Elsevier, AI Vol. 53, (1992) 209–244
Gelfond, M., Lipschitz, V.: The stable model semantics for logic programs, Proceeding of the 5th ICLP, MIT Press, (1988), 1070–1079
Gelfond, M., Lipschitz, V.: Logic Programs with Classical Negation, Proceeding of the 7th ICLP, MIT Press, (1990), 579–597
Gelfond M., Przymusinska H.: Formalization of Inheritance Reasoning in Autoepistemic Logic, Fundamental Informaticae XIII. (1990) 403–443
Grégoire, E.: Skeptical Theories of Inheritance and Nonmonotonic Logics, Methodologies for Intelligent System 4, (1989) 430–438
Grégoire, E.: Skeptical Inheritance Can Be More Expressive, Proceeding of ECAI (1990) 326–332
Haugh, B.: Tractable theories of multiple defeasible Inheritance in Ordinary Nonmonotonic Logics, In Proc. of 7th NCAI. (1988) 421–426
Horty, J.F.: Some direct Theories of Non-monotonic Inheritance in Handbook of Logic and Artificial Intelligence and Logic Programming, D.Gabbay and C. Hogger, Oxford University. (1991) 111–187
Horty, J.F., Thomason, R.H., Touretzky, D.S.: A skeptical theory of inheritance in non-monotonic semantic networks. AI Vol. 42 (1987) 311–348
Kakas, A.C., Kowalski, R.A, Toni, F.: The role of Abduction in Logic Programming. J. Logic and Computations 2 No.6, (1992) 719–770
Lin, F.: A study of nonmonotonic reasoning, Ph.D. Dissertation, Standford University. (1991)
Matkinson, D., Schlechta K.: Floating conclusion and zombie paths: two deep difficulties in the ‘directly skeptical’ approach to defeasible inheritance nets. AI Vol. 48 (1980) 99–209
McDermott, D., Doyle, J.: Nonmonotonic Logic I. AI, 13 41–72
Moore, R.C.: Semantical Considerations on Nonmonotonic Logics, in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California. (1988) 127–137
Pollock, J.L.: Defeasible reasoning. Cognitive Science 17 (1987) 481–518
Reiter R.: A Logic for Default Reasoning in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 68–93
Reiter R., Criscuolo G.: On interacting defaults in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 94–100
Simary, G.R., Loui R.P.: A mathematical treatment of defeasible reasoning and its implementation. AI 53 (1992) 125–257
Simonet, G.: RS theory: a really skeptical theory of inheritance with exceptions, Proceeding of ECAI (1990) 615–626.
Stein, L.A.: Resolving ambiguity in non-monotonic inheritance hierarchies. AI 55 (1992) 259–310
Thomason, R.H:, Horty, J.F: Logics for Inheritance Theory, 2nd Workshop on nonmonotonic reasoning, 220–237
Touretzky, D.S., Horty, J.F., Thomason, R.H.: A clash of Intuition: The current state of Non-monotonic Multiple Inheritance Systems. Proceeding of IJCAI (1987) 476–482
Touretzky, D.S., Horty, J.F., Thomason, R.H.: A skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and zombies in nonmonotonic Inheritance. Proceeding of IJCAI, (1991) 478–483
Touretzky, D. S.: The mathematics of Inheritance Systems, Morgan Kaufmann Publishers, Inc., Los Altos, California, (1986).
Van Gelder A., Ross, K., Schlipf J.S.: Unfounded sets and well-founded semantics for general logic programs. Proceeding of PODS 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dung, P.M., Son, T.C. (1995). Nonmonotonic inheritance, argumentation and logic programming. In: Marek, V.W., Nerode, A., Truszczyński, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1995. Lecture Notes in Computer Science, vol 928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59487-6_23
Download citation
DOI: https://doi.org/10.1007/3-540-59487-6_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59487-1
Online ISBN: 978-3-540-49282-5
eBook Packages: Springer Book Archive