Defeasible inheritance on cyclic networks

Artificial Intelligence

Volumn 92, Issue 1-2, 1997, Pages 1-23

  Antonelli, Gian Aldo ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Cyclic networks; Defeasible inheritance; Theories of truth

Indexed keywords

COMPUTATIONAL LINGUISTICS; THEOREM PROVING;

CYCLIC NETWORKS; DEFEASIBLE INHERITANCE NETWORKS;

COMPUTER NETWORKS;

EID: 0031142251     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00053-7     Document Type: Article

References (26)

1. F. Baader and B. Hollunder, Computing extensions of terminological default theories, in: G. Lakemeyer and B. Nebel, eds., Foundations of Knowledge Representation and Reasoning, Lecture Notes in Computer Science 810 (Springer, Berlin, 1994).
2. C. Boutilier, On the semantics of stable inheritance reasoning, Tech. Rept. KRR-TR-89-11, Department of Computer Science, University of Toronto, Toronto, Ont. (1989); also in: Proceedings IJCAI-89, Detroit, MI (1989).
3. C. Boutilier, On the semantics of stable inheritance reasoning, Tech. Rept. KRR-TR-89-11, Department of Computer Science, University of Toronto, Toronto, Ont. (1989); also in: Proceedings IJCAI-89, Detroit, MI (1989).
4. D. Etherington, Formalizing nonmonotonic reasoning systems, Artif. Intell. 31 (1987) 41-85.
5. D. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (1983) 104-108.
6. A. Gupta and N.D. Belnap, The Revision Theory of Truth (MIT Press, Cambridge, MA, 1993).
7. R.J. Hayes, The logic of frames, in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1979) 46-61; reprinted in: R.J. Brachman and H.J. Levesque, eds., Readings in Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1985).
8. R.J. Hayes, The logic of frames, in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1979) 46-61; reprinted in: R.J. Brachman and H.J. Levesque, eds., Readings in Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1985).
9. J.F. Horty, Some direct theories of nonmonotonic inheritance, in: D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming 3: Nonmonotonic Reasoning and Uncertain Reasoning (Oxford University Press, Oxford, 1994).
10. J.F. Horty, R.H. Thomason and D.S. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic networks, Artif. Intell. 42 (1990) 311-348.
11. S.C. Kleene, Introduction to Metamathematics (Van Nostrand Reinhold, Princeton, NJ, 1952).
12. S. Kripke, Outline of a theory of truth, J. Philos. 72 (1975) 690-716; now reprinted in: R. Martin, ed., Recent Essays on Truth and the Liar Paradox (Clarendon Press, Oxford, 1984) 53-81.
13. S. Kripke, Outline of a theory of truth, J. Philos. 72 (1975) 690-716; now reprinted in: R. Martin, ed., Recent Essays on Truth and the Liar Paradox (Clarendon Press, Oxford, 1984) 53-81.
14. D. Makinson and K. Schlechta, Floating conclusions and zombie paths: two deep difficulties in the "directly skeptical" approach to defeasible inheritance networks, Artif. Intell. 48 (1991) 199-209.
15. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence 422 (Springer, Berlin, 1990).
16. C.H. Papadimitriou and M. Sideri, Default theories that always have extensions, Artif. Intell. 69 (1994) 347-357.
17. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
18. E. Sandewall, Non-monotonic inference rules for multiple inheritance with exceptions, Proc. IEEE 74 (1986) 1345-1353.
19. K. Schlechta, Directly skeptical inheritance cannot capture the intersection of extensions, J. Logic Comput. 3 (1993) 455-467.
20. G. Simonet and R. Ducournau, On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies, Artif. Intell. 71 (1994) 183-193.
21. L. Stein, Resolving ambiguity in nonmonotonic reasoning, PhD Thesis, Computer Science Department, Brown University (1990).
22. L. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artif. Intell. 55 (1992) 259-310.
23. G. Takeuti, Proof Theory (North-Holland, Amsterdam, 2nd ed., 1987).
24. R.H. Thomason, NETL and subsequent path-based inheritance theories, Comput. Math. Appl. 23 (1992) 179-204.
25. R.H. Thomason, J.F. Horty and D.S. Touretzky, A calculus for inheritance in monotonic semantic nets, in: Z.W. Ras and M. Zemankove, eds., Methodologies for Intelligent Systems (Elsevier, Amsterdam, 1987) 280-287.
26. D.S. Touretzky, The Mathematics of Inheritance Systems (Morgan Kaufmann, Los Altos, CA, 1986).