Compiling defeasible inheritance networks to general logic programs

Artificial Intelligence

Volumn 113, Issue 1, 1999, Pages 247-268

  You, Jia Huai ^a   Wang, Xianchang ^a   Yuan, Li Yan ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; LOGIC PROGRAMMING; QUERY LANGUAGES; TRANSLATION (LANGUAGES);

CREDULOUS EXTENSIONS; DEFEASIBLE INHERITANCE NETWORKS; GENERAL LOGIC PROGRAMS; PATH BASED FORMALISMS; TRANSLATED LOGIC PROGRAMS;

COMPUTATIONAL LINGUISTICS;

EID: 0033188792     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00055-7     Document Type: Article

References (27)

1. G. Antonelli, Defeasible inheritance on cyclic networks, Artificial Intelligence 92 (1997) 1-23.
2. P. Dung, An argumentation theoretic foundation for logic programming, J. Logic Programming 22 (1995) 151-177.
3. P. Dung, T. Son, Nonmonotonic inheritance, argumentation and logic programming, in: Proc. LPNMR-95, 1995, pp. 317-329.
4. K. Eshghi, R.A. Kowalski, Abduction compared with negation by failure, in: Proc. 6th ICLP, MIT Press, Cambodge, MA, 1989, pp. 234-254.
5. D. Etherington, R. Reiter, On inheritance hierarchies with exceptions, in: Proc. AAAI-83, Washington, DC, Morgan Kaufmann, San Mateo, CA, 1983, pp. 104-108.
6. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proc. 5th ICLP, MIT Press, Cambridge, MA, 1988, pp. 1070-1080.
7. M. Gelfond, H. Przymusinska, Formalization of inheritance reasoning in autoepistemic logic, Fund. Inform. XIII (1990) 403-443.
8. E. Gregorie, Skeptical theories of inheritance and nonmonotonic logics, Methodologies for Intelligence System 4 (1989) 430-438.
9. B. Haugh, Tractable theories of multiple defeasible inheritance in ordinary nonmonotonic logics, in: Proc. AAAI-88, St. Paul, MN, AAAI Press, 1988, pp. 421-426.
10. J.F. Horty, Some direct theories of nonmonotonic inheritance, in: M. Gabbay, C. Hogger, J. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University, Oxford, 1994, pp. 111-187.
11. J. Horty, R. Thomason, D. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42 (1990) 311-348.
12. F. Lin, A Study of Nonmonotonic Reasoning, PhD Thesis, Stanford University, 1991.
13. D. Makinson, K. Schlechta, Floating conclusions and zombie paths: Two deep difficulties in the "directly skeptical" approach to defeasible inheritance nets, Artificial Intelligence 48 (1991) 109-209.
14. L. Morgenstern, Inheriting well-formed formulae in formula-augmented semantic network, in: Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA, 1996.
15. L. Morgenstern, Inheritance comes of age, in: Proc. IJCAI-97, Nagoya, Japan, 1997.
16. L. Morgenstern, M. Singh, An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry, in: Proc. IJCAI-97, Nagoya, Japan, 1997.
17. T.C. Przymusinski, Well-founded semantics coincides with three-valued stable semantics, Fund. Inform. 13 (1990) 445-463.
18. R. Reiter, G. Criscuolo, On interacting defaults, in: Readings in Nonmonotonic Reasoning, Morgan Kaufmann, San Mateo, CA, 1987, pp. 94-100.
19. L.A. Stein, Skeptical inheritance: Computing the intersection of credulous extensions, in: Proc. IJCAI-89, Detroit, MI, 1989.
20. L.A. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence 55 (1992) 259-310.
21. D. Touretzky, The Mathematics of Inheritance Systems, Morgan Kaufmann, San Mateo, CA, 1986.
22. A. Van Gelder, The alternating fixpoint of logic programs with negation, J. Comput. System Sci. 47 (1) (1993) 185-221.
23. A. Van Gelder, K. Ross, J. Schlipf, The well-founded semantics for general logic programs, J. ACM 38 (3) (1991) 620-650.
24. X. Wang, J. You, L. Yuan, A default interpretation of defeasible networks, in: Proc. IJCAI-97, Nagoya, Japan, 1997, pp. 156-162.
25. J. You, Inheritance with exceptions and logic programming, in: Tutorial Proc. Joint Internat. Conference and Symposium on Logic Programming, 1998.
26. J. You, L. Yuan, A three-valued semantics for deductive databases and logic programs, J. Comput. System Sci. 49 (1994) 334-361.
27. J. You, L. Yuan, On the equivalence of semantics for normal logic programs, J. Logic Programming 22 (1995) 212-221.