Knowledge and communication: A first-order theory

Artificial Intelligence

Volumn 166, Issue 1-2, 2005, Pages 81-139

  Davis, Ernest ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

Communication; Knowledge; Logic; Paradox

Indexed keywords

COMPUTATIONAL COMPLEXITY; FUNCTIONS; THEOREM PROVING;

INFORMATIVE COMMUNICATIONS; KNOWLEDGE; LOGIC; PARADOX;

ARTIFICIAL INTELLIGENCE;

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

References (41)

1. A. Baltag, L. Moss, and S. Solecki The logic of public announcements: Common knowledge and private suspicions Unpublished, 2002 http://www.cs.indiana. edu/ftp/techreports/TR534.html
2. J. van Benthem, 'One is a Lonely Number': On the logic of communication, ILLC Tech Report 2003-07, Institute for Logic, Language and Computation, University of Amsterdam, 2003
3. D. Chapman Planning for conjunctive goals Artificial Intelligence 32 1987 333 378
4. P.R. Cohen, and C.R. Perrault Elements of a plan-based theory of speech acts Cognitive Sci. 3 3 1979 177 212
5. P.R. Cohen, and H. Levesque Intention is choice with commitment Artificial Intelligence 42 2-3 1990 213 261
6. M. Colombetti A modal logic of intentional communication Math. Social Sci. 38 1999 171 196
7. E. Davis Inferring ignorance from the locality of visual perception Proceedings of AAAI-88, St. Paul, MN 1988 AAAI Press/MIT Press Cambridge, MA 786 790
8. E. Davis Representations of Commonsense Knowledge 1990 Morgan Kaufmann San Mateo, CA
9. E. Davis A first-order theory of communicating first-order formulas D. Dubois C. Welty M. Williams Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC 2004 AAAI Press Menlo Park, CA 235 245
10. E. Davis, L. Morgenstern, A first-order theory of communication and multi-agent plans, J. Logic Comput., in press
11. R. Fagin, J. Halpern, and M. Vardi What can machines know? On the properties of knowledge in distributed systems J. ACM 39 1992 328 376
12. R. Fagin, J. Halpern, Y. Moses, and M. Vardi Reasoning about Knowledge 1995 MIT Press Cambridge, MA
13. T. Finin, J. Weber, M. Genesereth, D. McKay, J. McGuire, R. Pelavin, S. Shapiro, C. Beck, Specification of the KQML agent communication language, DARPA Knowledge Sharing Initiative External Interfaces Working Group, 1993
14. FIPA The foundation for intelligent physical agents http://www.fipa.org/ 2001
15. A. Fraenkel, Y. Bar-Hillel, and A. Levey A Foundations of Set Theory second ed. 1973 Noord-Hollandsche U.M. Amsterdam
16. M. Gardner The Unexpected Hanging and Other Mathematical Diversions 1991 Chicago University Press Chicago, IL
17. J. Halpern A theory of knowledge and ignorance for many agents J. Logic Comput. 7 1 1997 79 108
18. J. Halpern, M. Vardi, The complexity of reasoning about knowledge and time in asynchronous systems, in: Proc. 20th ACM Symp. on Theory of Computation, 1988, pp. 53-65
19. J. Halpern, and M. Vardi The complexity of reasoning about knowledge time, I: lower bounds J. Comput. Systems Sci. 38 1 1989 195 237
20. J. Halpern, and M. Vardi Model checking vs. theorem proving: A manifesto J. Allen R. Fikes E. Sandewall Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR1991) 1991 Morgan Kaufmann San Mateo, CA 325 334
21. P. Hayes The naive physics manifesto D. Michie Expert Systems in the Micro-Electronic Age 1978 Edinburgh University Press Edinburgh
22. H. Levesque All I know: A study in auto-epistemic logic Artificial Intelligence 42 1990 263 309
23. A. Lomuscio, and M. Ryan A spectrum of modes of knowledge sharing between agents N. Jennings Y. Lespérance Intelligent Agents VI: Agent Theories, Architectures, and Languages Lecture Notes in Artificial Intelligence vol. 1757 2000 Springer Berlin 13 26
24. J. McCarthy Programs with common sense M. Minsky Semantic Information Processing 1968 MIT Press Cambridge, MA 403 418
25. J. McCarthy, and P. Hayes Some philosophical problems from the standpoint of artificial intelligence B. Meltzer D. Michie Machine Intelligence, vol. 4 1969 Edinburgh University Press Edinburgh 463 502
26. D. McDermott A temporal logic for reasoning about processes and plans Cognitive Sci. 6 1982 101 155
27. R. van der Meyden, and K. Wong Complete axiomatizations for reasoning about knowledge and branching time Studia Logica 75 1 2003 93 123
28. R. Moore Reasoning about Knowledge and Action Tech. Note vol. 191 1980 SRI International Menlo Park, CA
29. R. Moore A formal theory of knowledge and action J. Hobbs R. Moore Formal Theories of the Commonsense World 1985 ABLEX Publishing Norwood, NJ 319 358
30. R. Moore Semantical considerations on nonmonotonic logic Artificial Intelligence 25 1985 75 94
31. L. Morgenstern, Foundations of a logic of knowledge, action, and communication, PhD thesis, NYU, 1988
32. R. Parikh, and R. Ramanujam A knowledge-based semantics of messages J. Logic Language Inform. 12 4 2003 453 467
33. J. Plaza Logics of public announcements Z.W. Ras Proc. 4th International Symposium on Methodologies for Intelligent Systems, Charlotte, NC 1989 North-Holland Amsterdam
34. W.V.O. Quine On a so-called paradox Mind 62 1953 65 67
35. A.S. Rao Decision procedures for propositional linear time belief-desire-intention logics M. Wooldridge J. Müller M. Tambe Intelligent Agents II: Agent Theories, Architectures, and Languages Lecture Notes in Artificial Intelligence vol. 1037 1995 Springer Berlin 33 48
36. R. Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 MIT Press Cambridge, MA
37. M.D. Sadek, P. Bretier, and F. Panaget ARTIMIS: Natural dialogue meets rational agency M. Pollack Proceedings of IJCAI-97, Nagoya, Japan 1997 Morgan Kaufmann San Francisco, CA 1030 1035
38. R. Scherl, and H. Levesque The frame problem and knowledge producing actions Proceedings of AAAI-93 1993 AAAI Press/MIT Press Cambridge, MA 689 695
39. R. Scherl, and H. Levesque Knowledge, action, and the frame problem Artificial Intelligence 144 1 2003 1 39
40. M. Wooldridge An Introduction to MultiAgent Systems 2002 Wiley New York
41. M. Wooldridge, and A. Lomuscio Reasoning about visibility, perception, and knowledge N. Jennings Y. Lespérance Intelligent Agents VI: Agent Theories, Architectures, and Languages Lecture Notes in Artificial Intelligence vol. 1757 2000 Springer Berlin 1 12