Dealing with logical omniscience: Expressiveness and pragmatics

Artificial Intelligence

Volumn 175, Issue 1, 2011, Pages 220-235

  Halpern, Joseph Y ^a   Pucella, Riccardo ^b  

^a Department of Molecular Biology and Genetics   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

Awareness; Impossible worlds; Knowledge; Logic; Logical omniscience; Probability

Indexed keywords

ARTIFICIAL INTELLIGENCE; PROBABILITY;

AWARENESS; IMPOSSIBLE WORLDS; KNOWLEDGE; LOGIC; LOGICAL OMNISCIENCE;

SYNTACTICS;

EID: 78649738925     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.04.009     Document Type: Article

References (31)

1. P. Berman, J. Garay, K.J. Perry, Towards optimal distributed consensus, in: Proc. 30th IEEE Symposium on the Foundations of Computer Science (FOCS'89), 1989, pp. 410-415.
2. M. Cozic Impossible states at work: Logical omniscience and rational choice Cognitive Economics: New Trends Contrib. Econ. Anal. vol. 280 2007 Elsevier Ch. 2, pp. 47-68
3. E. Dekel, B. Lipman, and A. Rustichini Standard state-space models preclude unawareness Econometrica 66 1998 159 173
4. D. Dolev, and A.C. Yao On the security of public key protocols IEEE Trans. Inform. Theory 29 2 1983 198 208
5. R.A. Eberle A logic of believing, knowing and inferring Synthese 26 1974 356 382
6. H.B. Enderton A Mathematical Introduction to Logic 1972 Academic Press
7. R. Fagin, and J.Y. Halpern Belief, awareness, and limited reasoning Artificial Intelligence 34 1988 39 76
8. R. Fagin, and J.Y. Halpern Reasoning about knowledge and probability J. ACM 41 2 1994 340 367
9. R. Fagin, J.Y. Halpern, and N. Megiddo A logic for reasoning about probabilities Inform. Comput. 87 1/2 1990 78 128
10. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning about Knowledge 1995 MIT Press
11. J.Y. Halpern Alternative semantics for unawareness Games Econ. Behav. 37 2001 321 339
12. J.Y. Halpern, Y. Moses, and M.Y. Vardi Algorithmic knowledge Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'94) 1994 Morgan Kaufmann 255 266
13. J.Y. Halpern, and R. Pucella Modeling adversaries in a logic for reasoning about security protocols Proc. Workshop on Formal Aspects of Security (FASec'02) Lecture Notes in Comput. Sci. vol. 2629 2002 115 132
14. J.Y. Halpern, L.C. Rêgo, Interactive unawareness revisited, in: Theoretical Aspects of Rationality and Knowledge: Proc. Tenth Conference (TARK 2005), 2005, pp. 78-91.
15. J.Y. Halpern, and V. Weissman Using first-order logic to reason about policies ACM Trans. Inform. Syst. Secur. 11 4 2008 1 41
16. A. Heifetz, M. Meier, and B. Schipper Interactive unawareness J. Econ. Theory 130 2006 78 94
17. J. Hintikka Impossible possible worlds vindicated J. Philos. Logic 4 1975 475 484
18. K. Konolige A Deduction Model of Belief 1986 Morgan Kaufmann San Francisco
19. B.L. Lipman Decision theory without logical omniscience: Toward an axiomatic framework for bounded rationality Rev. Econ. Stud. 66 2 1999 339 361
20. K. Manne, Towards a solution to the problem of logical omniscience for resource-bounded agents: An impossible worlds approach to temporal epistemic logic, unpublished manuscript; an abstract appears in: Proc. 2005 Conference of the Australasian Association of Philosophy, 2005.
21. J. McCarthy, M. Sato, T. Hayashi, S. Igarishi, On the model theory of knowledge, Tech. Rep. STAN-CS-78-657, Stanford University, 1979.
22. S. Modica, and A. Rustichini Awareness and partitional information structures Theory Dec. 37 1994 107 124
23. S. Modica, and A. Rustichini Unawareness and partitional information structures Games Econ. Behav. 27 2 1999 265 298
24. R.C. Moore, G. Hendrix, Computational models of beliefs and the semantics of belief sentences, Technical Note 187, SRI International, Menlo Park, CA, 1979.
25. A. Moreno Avoiding logical omniscience and perfect reasoning: A survey AI Commun. 11 2 1998 101 122
26. Y. Moses, and M.R. Tuttle Programming simultaneous actions using common knowledge Algorithmica 3 1988 121 169
27. R. Pucella Deductive algorithmic knowledge J. Logic Comput. 16 2 2006 287 309
28. V. Rantala Urn models: A new kind of non-standard model for first-order logic J. Philos. Logic 4 1975 455 474
29. V. Rantala Impossible worlds semantics and logical omniscience Acta Philosophica Fennica 35 1982 18 24
30. R. Stalnaker Impossibilities Philos. Topics 24 1996 193 204
31. H. Wansing A general possible worlds framework for reasoning about knowledge and belief Studia Logica 49 4 1990 523 539