Logical omniscience via proof complexity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4207 LNCS, Issue , 2006, Pages 135-149

  Artemov, Sergei ^a   Kuznets, Roman ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; MODAL ANALYSIS; POLYNOMIALS;

EVIDENCE ASSERTIONS; KNOWLEDGE OPERATORS; MODAL LOGICS;

FORMAL LOGIC;

EID: 33750325570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11874683_9     Document Type: Conference Paper

References (49)

1. N. Alechina and B. Logan. Ascribing beliefs to resource bounded agents. In Proceedings of the 1st International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS-2002), Bologna, Italy, July 15-19, 2002, volume II, pages 881-888. ACM Press, 2002.
2. S. Artemov. Operational modal logic. Technical Report MSI 95-29, Cornell University, 1995.
3. S. Artemov. Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1): 1-36, 2001.
4. S. Artemov. Justified Common Knowledge. Theoretical Computer Science, 357(1-3):4-22, 2006.
5. S. Artemov, E. Kazakov, and D. Shapiro. Epistemic logic with justifications. Technical Report CFIS 99-12, Cornell University, 1999.
6. S. Artemov and E. Nogina. Logic of knowledge with justifications from the provability perspective. Technical Report TR-2004011. CUNY Ph.D. Program in Computer Science, 2004.
7. S. Artemov and E. Nogina. Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6): 1059-1073, 2005.
8. S. Artemov and E. Nogina. On epistemic logic with justification. In Ron van der Meyden, editor. Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pages 279-294. National University of Singapore, 2005.
9. R. Aumann. Reasoning about knowledge in economics. In J. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-1986), Monterey, CA, USA, March 1986, page 251. Morgan Kaufmann, 1986.
10. L. Bonjour. The coherence theory of empirical knowledge. Philosophical Studies, 30:281-312, 1976.
11. Reprinted in Contemporary Readings in Epistemology, M.F. Goodman and R.A. Snyder (eds). Prentice Hall, pp. 70-89, 1993.
12. S. Cook and R. Reckhow. On the lengths of proofs in the propositional calculus (preliminary version). In Conference Record of 6th Annual ACM Symposium on Theory of Computing (STOC-1974), Seattle, WA, USA, April 30-May 2, 1974, pages 135-148. ACM Press, 1974.
13. J. Corbin and M. Bidoit. A rehabilitation of Robinson's unification algorithm. In R. E. A. Mason, editor, Proceedings of the IFIP 9th World Computer Congress (IFIP Congress-1983), Paris, France, September 19-23, 1983, pages 909-914. North-Holland, 1983.
14. J. Elgot-Drapkin, M. Miller, and D. Perils. Memory, Reason, and Time: The Step-logic approach. In R. Cummins and J. Pollock, editors. Philosophy and AI: Essays at the Interface, pages 79-103. MIT Press, 1991.
15. R. Fagin and J. Halpern. Belief, awareness, and limited reasoning: Preliminary report. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 491-501, 1985.
16. R. Fagin and J. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1):39-76, 1988.
17. R. Fagin, J. Halpern, and M. Vardi. A nonstandard approach to the logical omniscience problem. Artificial Intelligence, 79(2):203-240, 1995.
18. M. Fitting. A semantics for the logic of proofs. Technical Report TR-2003012, CUNY Ph.D. Program in Computer Science, 2003.
19. M. Fitting. Semantics and tableaus for LPS4. Technical Report TR-2004016, CUNY Ph.D. Program in Computer Science, 2004.
20. M. Fitting. The logic of proofs, semantically. Annals of Pure and Applied Logic, 132(1): 1-25, 2005.
21. E. Gettier. Is Justified True Belief Knowledge? Analysis, 23:121-123, 1963.
22. A. Goldman. A causal theory of knowing. The Journal of Philosophy, 64:335-372, 1967.
23. J. Halpern and Y. Moses. A guide to modal logics of knowledge and belief. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480-490, 1985.
24. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and beliefs. Journal of Artificial Intelligence, 54:319-379, 1992.
25. V. Hendricks. Active agents. Journal of Logic, Language and Information, 12(4):469-495, 2003.
26. J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.
27. J. Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4:475-484, 1975.
28. K. Konolige. A Deductive Model of Belief. Research Notes in Artificial Intelligence. Morgan Kaufmann, 1986.
29. N. Krupski. On the complexity of the reflected logic of proofs. Theoretical Computer Science, 357:136-142, 2006.
30. R. Kuznets. Complexity of evidence-based knowledge. Accepted for publication in proceeding of Rationality and Knowledge workshop of ESSLLI-2006, 2006.
31. R. Ladner. The computational complexity of provability in systems of modal propositional logic. SI AM Journal on Computing, 6(3):467-480, 1977.
32. K. Lehrer and T. Paxson. Knowledge: undefeated justified true belief. The Journal of Philosophy, 66:1-22, 1969.
33. W. Lenzen. Knowledge, belief and subjective probability. In V. Hendricks, K. Jörgensen, and S. Pedersen, editors, Knowledge Contributors. Kluwer, 2003.
34. H. Levesque. A logic of implicit and explicit belief. In R. Brachman, editor, Proceedings of the National Conference on Artificial Intelligence (AAAI-1984), Austin, TX, USA, August 6-10, 1984, pages 198-202. AAAI Press, 1984.
35. D. Lewis. Elusive knowledge. Australian Journal of Philosophy, 7:549-567, 1996.
36. A. Mkrtychev. Models for the logic of proofs. In S. Adian and A. Nerode, editors, Logical Foundations of Computer Science '97, Yaroslavl', volume 1234 of Lecture Notes in Computer Science, pages 266-275. Springer, 1997.
37. R. Montague. Universal Grammar. Theoria, 36:373-398, 1970.
38. R. Moore. Reasoning about knowledge in artificial intelligence. In J.Y. Halpern, editor. Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-1986), Monterey, CA, USA, March 1986, page 81. Morgan Kaufmann, 1986.
39. Y. Moses. Resource-bounded knowledge. In M. Vardi, editor, Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-1988), Pacific Grove, CA, USA, March 1988, pages 261-275. Morgan Kaufmann, 1988.
40. R. Nozick. Philosophical Explanations. Harvard University Press, 1981.
41. R. Parikh. Knowledge and the problem of logical omniscience. In Z. Ras and M. Zemankova, editors, Proceedings of the 2nd International Symposium on Methodologies for Intelligent Systems (ISMIS-1987), Charlotte, NC, USA, October 14-17, 1987, pages 432-439. North-Holland, 1987.
42. R. Parikh. Logical omniscience. In D. Leivant, editor, Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop (LCC-1994), Indianapolis, IN, USA, October 13-16, 1994, volume 960 of Lecture Notes in Computer Science, pages 22-29. Springer, 1995.
43. R. Parikh. Logical omniscience and common knowledge: WHAT do we know and what do WE know? In R. van der Meyden, editor, Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pages 62-77. National University of Singapore, 2005.
44. P. Pudlak. The Lengths of Proofs. In S. Buss, editor, Handbook of Proof Theory, pages 547-637. Elsevier, 1998.
45. V. Rantala. Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica. 35:18-24, 1982.
46. D. Scott. Advice in modal logic. In K. Lambert, editor, Philosophical Problems in Logic, pages 143-173. Reidel, 1970.
47. H. Shin and T. Williamson. Representing the knowledge of turing machine. Theory and Decision, 37(1):125-146, 1994.
48. M. Vardi. On epistemic logic and logical omniscience. In J. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-1986), Monterey, CA, USA, March 1986, pages 293-305. Morgan Kaufmann, 1986.
49. H. Wansing. A general possible worlds framework for reasoning about knowledge. Studia Logica, 49(4)-.523-539, 1990.