Lexicographic priorities in default logic

Artificial Intelligence

Volumn 106, Issue 2, 1998, Pages 221-265

  Rintanen, Jussi ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

Inheritance reasoning; Nonmonotonic reasoning; Priorities

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

DEFAULT LOGIC; LEXICOGRAPHY;

ARTIFICIAL INTELLIGENCE;

EID: 0032311632     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00097-6     Document Type: Article

References (27)

1. F. Baader, B. Hollunder, Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic, J. Automat. Reason. 15 (1995) 41-68.
2. A.B. Baker, M.L. Ginsberg, A theorem prover for prioritized circumscription, in: Proceedings 11th International Joint Conference on Artificial Intelligence (IJCAI-89), Detroit, MI, Morgan Kaufmann, San Mateo, CA, 1989, pp. 463-467.
3. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade, Inconsistency management and prioritized syntax-based entailment, in: R. Bajcsy (Ed.), Proceedings 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Vol. 1, Chambery, France, 1993, pp. 640-645.
4. G. Brewka, The logic of inheritance in frame systems, in: J. McDermott (Ed.), Proceedings 10th International Joint Conference on Artificial Intelligence (IJCAI-87), Vol. 1, Milan, Italy, 1987, Morgan Kaufmann, San Mateo, CA, 1987, pp. 483-488.
5. G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, England, 1991.
6. G, Brewka, Preferred subtheories: an extended logical framework for default reasoning, in: Proceedings 11th International Joint Conference on Artificial Intelligence (IJCAI-89), Detroit, MI, Morgan Kaufmann, San Mateo, CA, 1989, pp. 1043-1048.
7. G. Brewka, Adding priorities and specificity to default logic, in: C. MacNish, D. Pearce, L. Moniz Pereira (Eds.), Logic in Artificial Intelligence: Proceedings 4th European Workshop JELIA '94, York, England, Lecture Notes in Artificial Intelligence, Vol. 838, Springer, Berlin, 1994, pp. 247-260.
8. H. Geffner, J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artificial Intelligence 53 (1992) 209-244.
9. M. Gelfond, V. Lifschitz, H. Przymusinska, M. Truszczyński, Disjunctive defaults, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1991, pp. 230-237.
10. M. Gelfond, H. Przymusinska, Formalization of inheritance reasoning in autoepistemic logic, Fundamenta Informatica 13 (4) (1990) 403-443.
11. J.F. Horty, Some direct theories of nonmonotonic inheritance, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3, Clarendon Press, Oxford, 1994, pp. 111-187.
12. U. Junker, G. Brewka, Handling partially ordered defaults in TMS, in: Symbolic and Quantitative Approaches to Uncertainty. European Conference, Marseille, Lecture Notes in Computer Science, Vol. 548, Springer, Berlin, 1991, pp. 211-218.
13. K. Konolige, On the relation between default and autoepistemic logic, Artificial Intelligence 35 (1988) 343-382.
14. V. Lifschitz, Computing circumscription, in: A. Joshi (Ed.), Proceedings 9th International Joint Conference on Artificial Intelligence (IJCAI-85), Los Angeles, CA, Morgan Kaufmann. San Mateo, CA, 1985, pp. 121-127.
15. V. Lifschitz, Circumscription, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3, Clarendon Press, Oxford, 1994, pp. 297-352.
16. V.W. Marek, M. Truszczyński, Nonmonotonic Logic: Context-Dependent Reasoning, Springer, Berlin, 1993.
17. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
18. R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
19. I. Niemelä, P. Simons, Efficient implementation of the well-founded and stable model semantics, in: M. Maher (Ed.), Proceedings 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, MIT Press, Cambridge, MA, 1996, pp. 289-303.
20. D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
21. T. Przymusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 193-216.
22. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
23. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95.
24. R. Reiter, G. Criscuolo, On interacting defaults, in: Proceedings 7th International Joint Conference on Artificial Intelligence (IJCAI-81), Vancouver, BC, 1981, pp. 270-276.
25. J. Rintanen, Complexity of prioritized default logics, J. Artificial Intelligence Res., to appear.
26. M. Ryan, Representing defaults as sentences with reduced priority, in: B. Nebel, C. Rich, W. Swartout (Eds.), Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-92). Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1992, pp. 649-660.
27. D.S. Touretzky, J.F. Horty, R.H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: D. McDermott (Ed.), Proceedings 10th International Joint Conference on Artificial Intelligence (IJCAI-87), Milan, Italy, 1987, Morgan Kaufmann, San Mateo, CA, 1987, pp. 476-482.