On embedding default logic into Moore's autoepistemic logic

Artificial Intelligence

Volumn 80, Issue 2, 1996, Pages 349-359

  Schwarz, Grigori ^a  

^a NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ENCODING (SYMBOLS);

DEFAULT LOGIC; MOORE AUTOEPISTEMIC LOGIC; PROOF THEORY;

FORMAL LOGIC;

EID: 0030084690     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00117-4     Document Type: Article

References (19)

1. J. Chen, The logic of only knowing as a unified framework of nonmonotonic reasoning, Fund. Inform. 21 (1994) 205-220.
2. G. Gottlob, The power of beliefs or translating default logic into standard autoepistemic logic, in: Proceedings IJCAI-93, Chambery, France (1993) 570-575; extended version: J. ACM 42 (4) (1993) 711-740.
3. G. Gottlob, The power of beliefs or translating default logic into standard autoepistemic logic, in: Proceedings IJCAI-93, Chambery, France (1993) 570-575; extended version: J. ACM 42 (4) (1993) 711-740.
4. R. Guerreiro and M. Casanova, An alternative semantics for default logic, Preprint, The Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe (1990).
5. K. Konolige, On the relation between default and autoepistemic logic, Artif. Intell. 35 (1988) 343-382.
6. H.J. Levesque, All I know: a study in autoepistemic logic, Artif. Intell. 42 (1990) 263-309.
7. W. Marek, G. Schwarz and M. Truszczyński, Modal nonmonotonic logics: ranges, characterization, computation, J. ACM 40 (1993) 963-990.
8. W. Marek and M. Truszczyński, Modal logic for default reasoning, Ann. Math. Artif. Intell. 1 (1990) 275-302.
9. D. McDermott, Nonmonotonic logic II: nonmonotonic modal theories, J. ACM 29 (1982) 33-57.
10. D. McDermott and J. Doyle, Nonmonotonic logic I, Artif. Intell. 13 (1980) 41-72.
11. R.C. Moore, Possible-world semantics autoepistemic logic, in: R. Reiter, ed., Proceedings of the Workshop on Non-Monotonic Reasoning (1984) 344-354; reprinted in: M. Ginsberg, ed., Readings on Nonmonotonic Reasoning (Morgan Kaufmann, San Mateo, CA, 1987) 137-142.
12. R.C. Moore, Possible-world semantics autoepistemic logic, in: R. Reiter, ed., Proceedings of the Workshop on Non-Monotonic Reasoning (1984) 344-354; reprinted in: M. Ginsberg, ed., Readings on Nonmonotonic Reasoning (Morgan Kaufmann, San Mateo, CA, 1987) 137-142.
13. R.C. Moore, Semantical considerations on non-monotonic logic, Artif. Intell. 25 (1985) 75-94.
14. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
15. G. Schwarz, Bounding introspection in nonmonotonic logic, in: C. Rich, B. Nebel and W. Swartout, eds., Principles of Knowledge Representation and Reasoning, Proceedings of the 3rd International Conference (KR-92) (Morgan Kaufmann, San Mateo, CA, 1992) 581-590.
16. G. Schwarz and M. Truszczyński, Modal logic S4F and the minimal knowledge paradigm, in: Y. Moses, ed., Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 4th Conference (TARK 1992) (Morgan Kaufmann, San Mateo, CA, 1992) 184-198.
17. G. Schwarz and M. Truszczyński, Subnormal logics for knowledge representation, in: Proceedings AAAI-93, Washington, DC (AAAI Press, 1993) 438-443.
18. G.F. Shvarts (G. Schwarz), Autoepistemic modal logics, in: R. Parikh, ed., Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 3rd International Conference (TARK 1990) (Morgan Kaufmann, San Mateo, CA, 1990) 97-109.
19. M. Truszczyński. Embedding default logic into modal nonmonotonic logics, in: W. Marek, A. Nerode and V.S. Subramahmanian, eds., Logic Programming and Non-Monotonic Reasoning. Proceedings of the First International Workshop (MIT Press, Cambridge, MA, 1991) 151-165.