Uniform semantic treatment of default and autoepistemic logics

Artificial Intelligence

Volumn 143, Issue 1, 2003, Pages 79-122

  Denecker, Marc ^a   Marek, Victor W ^b   Truszczyński, Mirosław ^b  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^b UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Approximations; Autoepistemic logic; Default logic; Fixpoint semantics; Lattice operators

Indexed keywords

APPROXIMATION THEORY; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; SEMANTICS;

AUTOEPISTEMIC LOGICS;

ARTIFICIAL INTELLIGENCE;

EID: 0037216994     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00293-X     Document Type: Article

References (35)

1. Antoniou G. Nonmonotonic Reasoning. 1997;MIT Press, Cambridge, MA.
2. Baral C., Subrahmanian V.S. Dualities between alternative semantics for logic programming and nonmonotonic reasoning (extended abstract). Nerode A., Marek W., Subrahmanian V.S. Logic Programming and Nonmonotonic Reasoning (Washington, DC, 1991). 1991;69-86 MIT Press, Cambridge, MA.
3. Besnard P. An Introduction to Default Logic. 1989;Springer-Verlag, Berlin.
4. Besnard P., Schaub T. Possible world semantics for default logic. Fundamenta Informaticae. 21:1994;39-66.
5. Bidoit N., Froidevaux C. Negation by default and unstratifiable logic programs. Theoretical Computer Science. 78:(1, Part B):1991;85-112.
6. Chellas B.F. Modal Logic. An Introduction. 1980;Cambridge University Press, Cambridge, New York.
7. Denecker M., Marek V., Truszczyński M. Fixpoint 3-valued semantics for autoepistemic logic. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. 1999;113-136 Springer-Verlag.
8. Denecker M., Marek V., Truszczyński M. Unified semantic treatment of default and autoepistemic logics. Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference (KR2000), Breckenridge, CO. 2000;74-84 Morgan Kaufmann, San Francisco, CA.
9. Denecker M., Marek V., Truszczyński M. Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Logic-Based Artificial Intelligence. 2000;Kluwer Academic Publishers, Boston, MA. Chapter 6, pp. 127-144.
10. Fitting M.C. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science. 278:2002;25-51.
11. Gelfond M. On stratified autoepistemic theories. Proceedings of AAAI-87, Seattle, WA. 1987;207-211 Morgan Kaufmann, San Francisco, CA.
12. Gottlob G. Complexity results for nonmonotonic logics. J. Logic and Computation. 2:(3):1992;397-425.
13. Gottlob G. Translating default logic into standard autoepistemic logic. J. ACM. 42:(4):1995;711-740.
14. Guerreiro R., Casanova M. An alternative semantics for default logic, Preprint. The Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe. 1990.
15. Hughes G.E., Cresswell M.J. A Companion to Modal Logic. 1984;Methuen.
16. Konolige K. On the relation between default and autoepistemic logic. Artificial Intelligence. 35:(3):1988;343-382.
17. Levesque H.J. All I know: a study in autoepistemic logic. Artificial Intelligence. 42:(2-3):1990;263-309.
18. Lifschitz V. On open defaults. Lloyd J. Proceedings of the Symposium on Computational Logic. 1990;80-95 Springer-Verlag, Berlin.
19. Marek W., Truszczyński M. Relating autoepistemic and default logics. Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (Toronto, ON, 1989). 1989;276-288 Morgan Kaufmann, San Francisco, CA.
20. Marek W., Truszczyński M. Stable semantics for logic programs and default theories. Lusk E., Overbeek R. Proceedings of the North American Conference on Logic Programming. 1989;243-256 MIT Press, Cambridge, MA.
21. Marek W., Truszczyński M. Nonmonotonic Logic; Context-Dependent Reasoning. 1993;Springer-Verlag, Berlin.
22. McDermott D. Nonmonotonic logic II: Nonmonotonic modal theories. J. ACM. 29:(1):1982;33-57.
23. McDermott D., Doyle J. Nonmonotonic logic I. Artificial Intelligence. 13:(1-2):1980;41-72.
24. Moore R.C. Possible-world semantics for autoepistemic logic. Proceedings of the Workshop on Non-Monotonic Reasoning. 1984;344-354. Reprinted in: M. Ginsberg (Ed.), Readings on Nonmonotonic Reasoning, Morgan Kaufmann, San Francisco, CA, 1990, pp. 137-142.
25. Moore R.C. Possible-world semantics for autoepistemic logic. Proceedings of the Workshop on Non-Monotonic Reasoning. 1984;344-354. Reprinted in: M. Ginsberg (Ed.), Readings on Nonmonotonic Reasoning, Morgan Kaufmann, San Francisco, CA, 1990, pp. 137-142.
26. Moore R.C. Semantical considerations on nonmonotonic logic. Artificial Intelligence. 25:(1):1985;75-94.
27. Przymusińska H., Przymusiński T. Stationary default extensions. Fundamenta Informaticae. 21:(1-2):1994;67-87.
28. Przymusinski T.C. The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae. 13:(4):1990;445-464.
29. Reiter R. A logic for default reasoning. Artificial Intelligence. 13:(1-2):1980;81-132.
30. Schwarz G.F. Autoepistemic logic of knowledge. Nerode A., Marek W., Subrahmanian V.S. Logic Programming and Nonmonotonic Reasoning (Washington, DC, 1991). 1991;260-274 MIT Press, Cambridge, MA.
31. Shvarts G.F. Autoepistemic modal logics. Parikh R. Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, CA, 1990). 1990;97-109 Morgan Kaufmann, San Francisco, CA.
32. Stillman J. It is not my default: the complexity of membership problem for restricted propositional default logics. Proceedings of AAAI-90, Boston, MA. 1990;Morgan Kaufmann, Los Altos, CA.
33. Truszczyński M. Modal interpretations of default logic. Proceedings of IJCAI-91, Sydney. 1991;393-398 Morgan Kaufmann, San Francisco, CA.
34. van Emden M.H., Kowalski R.A. The semantics of predicate logic as a programming language. J. ACM. 23:(4):1976;733-742.
35. Van Gelder A., Ross K.A., Schlipf J.S. The well-founded semantics for general logic programs. J. ACM. 38:(3):1991;620-650.