Logical omniscience as a computational complexity problem

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09

Volumn , Issue , 2009, Pages 14-23

  Artemov, Sergei ^a   Kuznets, Roman ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EPISTEMIC AGENTS; LOGIC SYSTEMS; LOGICAL CONSEQUENCES; LOGICAL OMNISCIENCE; LOGICAL SYSTEM; MODAL LOGIC; POLYNOMIAL-TIME; THEORETICAL FRAMEWORK;

POLYNOMIAL APPROXIMATION;

COMPUTATIONAL COMPLEXITY;

EID: 70350641342     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1562814.1562821     Document Type: Conference Paper

References (37)

1. Natasha Alechina and Brian Logan. Ascribing beliefs to resource bounded agents. In Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems, AAMAS 2002, Bologna, Italy, July 15-19, 2002, Part 2, pages 881-888. ACM Press, 2002.
2. Sergei [N.] Artemov and Roman Kuznets. Logical omniscience via proof complexity. In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, volume 4207 of Lecture Notes in Computer Science, pages 135-149. Springer, 2006.
3. Sergei [N.] Artemov and Elena Nogina. Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6):1059-1073, December 2005.
4. Sergei N. Artemov. Operational modal logic. Technical ReportMSI 95-29, Cornell University, December 1995.
5. Sergei N. Artemov. Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1):1-36, March 2001.
6. Sergei [N.] Artemov. The logic of justification. The Review of Symbolic Logic, 1(4):477-513, December 2008.
7. Robert J. Aumann. Reasoning about knowledge in economics (invited talk-abstract only). In Joseph Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 1986 Conference,March 19-22, 1986, Monterey, California, page 251. Morgan Kaufmann, 1986.
8. Vladimir N. Brezhnev. On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000.
9. Samuel R. Buss and Roman Kuznets. The NP completeness of reflected fragments of justification logics. In Sergei [N.] Artemov and Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings, volume 5407 of Lecture Notes in Computer Science, pages 122-136. Springer, 2009.
10. Stephen Cook and Robert Reckhow. On the lengths of proofs in the propositional calculus (preliminary version). In Conference Record of Sixth Annual ACM Symposium on Theory of Computing, Papers Presented at the Symposium, Seattle, Washington, April 30-May 2, 1974, pages 135-148. ACM Press, 1974.
11. Jennifer J. Elgot-Drapkin, Michael Miller, and Donald Perlis. Memory, reason, and time: The step-logic approach. In Robert Cummins and John Pollock, editors, Philosophy and AI, Essays at the Interface, chapter 4, pages 79-104. MIT Press, 1991.
12. Ronald Fagin and Joseph Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1):39-76, December 1987.
13. Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A nonstandard approach to the logical omniscience problem. Artificial Intelligence, 79(2):203-240, December 1995.
14. Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319-379, April 1992.
15. Joseph Y. Halpern and Riccardo Pucella. Dealing with logical omniscience. In Dov Samet, editor, Proceedings of the 11th conference on Theoretical Aspects of Rationality and Knowledge (TARK'07), pages 169-176, Brussels, Belgium, June 25-27, 2007. ACM.
16. Jaakko Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, 1962.
17. Jaakko Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4(3):475-484, August 1975.
18. Kurt Konolige. A Deduction Model of Belief. Research Notes in Artificial Intelligence. Morgan Kaufmann, 1986.
19. Nikolai V. Krupski. On the complexity of the reflected logic of proofs. Theoretical Computer Science, 357(1-3):136-142, July 2006.
20. Roman Kuznets. On decidability of the logic of proofs with arbitrary constant specifications. In 2004 Annual Meeting of the Association for Symbolic Logic, Carnegie Mellon University, Pittsburgh, PA, May 19-23, 2004, volume 11(1) of Bulletin of Symbolic Logic, page 111. Association for Symbolic Logic, March 2005. Abstract.
21. Roman Kuznets. Complexity Issues in Justification Logic. PhD thesis, CUNY Graduate Center, May 2008.
22. Hector J. Levesque. A logic of implicit and explicit belief. In Ronald J. Brachman, editor, Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI 1984, Austin, Texas, August 6-10, 1984, pages 198-202. AAAI Press, 1984.
23. Richard Montague. Universal grammar. Theoria, 36:373-398, 1970.
24. Robert C. Moore. Reasoning about knowledge in artificial intelligence (invited talk-abstract only). In Joseph Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California, page 81. Morgan Kaufmann, 1986.
25. Yoram Moses. Resource-bounded knowledge. In Moshe Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, March 7-9, 1988, Pacific Grove, California, pages 261-275.Morgan Kaufmann, 1988.
26. Eric Pacuit. A note on some explicit modal logics. In Proceedings of the 5th Panhellenic Logic Symposium, pages 117-125, Athens, Greece, July 25-28, 2005. University of Athens.
27. Rohit Parikh. Knowledge and the problem of logical omniscience. In Zbigniew W. Ras and Maria Zemankova, editors, Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, ISMIS 1987, Charlotte, North Carolina, USA, October 14-17, 1987, pages 432-439. North-Holland/Elsevier, 1987.
28. Rohit Parikh. Logical omniscience. In Daniel Leivant, editor, Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994, Selected Papers, volume 960 of Lecture Notes in Computer Science, pages 22-29. Springer, 1995.
29. Rohit Parikh. Logical omniscience and common knowledge; WHAT do we know and what do WE know? In Ron van der Meyden, editor, Proceedings of the Tenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK'05), pages 62-77, Singapore, June 10-12, 2005. National University of Singapore.
30. Rohit Parikh. Sentences, belief and logical omniscience, or what does deduction tell us? The Review of Symbolic Logic, 1(4):459-476, December 2008.
31. Pavel Pudlák. The lengths of proofs. In Samuel R. Buss, editor, Handbook of Proof Theory, volume 137 of Studies in Logic and the Foundations of Mathematics, chapter VIII, pages 547-637. Elsevier, 1998.
32. Veikko Rantala. Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica, 35:106-115, 1982.
33. Natalia Rubtsova. Evidence reconstruction of epistemic modal logic S5. In Dima Grigoriev, John Harrison, and Edward A. Hirsch, editors, Computer Science-Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, volume 3967 of Lecture Notes in Computer Science, pages 313-321. Springer, 2006.
34. Dana Scott. Advice in modal logic. In K. Lambert, editor, Philosophical Problems in Logic, pages 143-173. Reidel, 1970.
35. Hyun Song Shin and Timothy Williamson. Representing the knowledge of Turing machines. Theory and Decision, 37(1):125-146, July 1994.
36. Moshe Y. Vardi. On epistemic logic and logical omniscience. In Joseph Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California, pages 293-305. Morgan Kaufmann, 1986.
37. Heinrich Wansing. A general possible worlds framework for reasoning about knowledge and belief. Studia Logica, 49(4):523-539, December 1990.