Only-knowing: Taking it beyond autoepistemic reasoning

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 633-638

  Lakemeyer, Gerhard ^a   Levesque, Hector J ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS;

AUTOEPISTEMIC LOGIC; AUTOEPISTEMIC REASONING; NON-MONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 29344449191     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. G. Amati, L. C. Aiello, and F. Pirri, Definability and commonsense reasoning. Artif. Intell. 93(1-2), 169-199, 1997.
2. B. Chellas, Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
3. M. Denecker, V. W. Marek, and M. Truszczynski, Uniform semantic treatment of default and autoepistemic logic. Artificial Intelligence 143(1), 79-122, 2003.
4. Y. Moses and J. Y. Halpern, Towards a theory of knowledge and ignorance: preliminary report. In Apt, K. (Ed.), Logic and Models of Concurrent Systems, Springer-Verlag, 1985.
5. J. Y. Halpern and G. Lakemeyer, Multi-Agent Only Knowing. Journal of Logic and Computation 11(1), 41-70, 2001.
6. M. Kaminski, Embedding a default system into nonmonotonic logics. Fundamenta Informaticae 14, 345-354, 1991.
7. K. Konolige, On the relation between default logic and autoepistemic theories. Artif. Intell. 35(3), 343-382, 1988.
8. H. J. Levesque, All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, 42, 263-309, 1990.
9. H. J. Levesque and G. Lakemeyer, The Logic of Knowledge Bases. MIT Press, 2001.
10. V. Lifschitz, On open defaults, in J. Lloyd (Ed.), Proc. of the Symp. on Computational Logic, Springer, 80-95, 1990.
11. V. Lifschitz, Minimal Belief and Negation as Failure, Artificial Intelligence, 70(1-2), 53-72, 1994.
12. F. Lin and Y. Shoham, Epistemic Semantics for Fixpoint Nonmonotonic Logics. Proceedings of TARK 1990, Morgan Kaufmann, 1990.
13. R. C. Moore, Semantical considerations on nonmonotonic logic. Artificial Intelligence 25, 75-94, 1985.
14. R. Reiter, A logic for default reasoning. Artificial Intelligence 13(1-2), 81-132, 1980.
15. R. Rosati, Reasoning about minimal belief and negation as failure. J. of Art. Intelligence Res., 11, 277-300, 1999.
16. A. Waaler, Consistency proofs for systems of multi-agent only knowing. Proc. of Advances in Modal Logic (AiML-2004), 2004.