A First-Order Theory of Communicating First-Order Formulas

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 235-245

  Davis, Ernest ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

Communication; knowledge; paradox

Indexed keywords

COMMUNICATIVE ACTS; FIRST ORDER THEORIES; FIRST-ORDER FORMULAS; INFORMATIVE COMMUNICATION; KNOWLEDGE; KNOWLEDGE STATE; LOGICAL COMBINATION; PARADOX; PHYSICAL THEORY; THIRD PARTIES;

ARTIFICIAL INTELLIGENCE;

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

References (25)

1. Baltag, A., Moss, L. and Solecki, S. 2002. “The Logic of Public Announcements: Common Knowledge and Private Suspicions.”
2. Benthem, J. van. 2003. “'One is a Lonely Number': on the logic of communication.” ILLC Tech Report 2003-07, Institute for Logic, Language and Computation, University of Amsterdam.
3. Cohen, P.R. and Perrault, C.R. 1979.“Elements of a plan-based theory of speech acts.” Cognitive Science, vol. 3, no. 3, pp. 177-212.
4. Cohen, P.R. and Levesque, H. 1990. “Intention is choice with commitment” Artificial Intelligence, vol. 42, nos. 2-3, pp. 213-261.
5. Colombetti, M. 1999. “A Modal Logic of Intentional Communication.”MathematicalSocialSciences, vol. 38, pp. 171-196.
6. Davis, E. 1988. “Inferring Ignorance from the Locality of Visual Perception.” Proc. AAAI-88, pp. 786-790
7. Davis, E. and Morgenstern, L. 2004. “A First-Order Theory of Communication and Multi-Agent Plans.” Submitted to Journal of Logic and Computation.
8. Finin et al. 1993. “Specification of the KQML agent communication language.” DARPA knowledge sharing initiative external interfaces working group.
9. FIPA 2001. “The foundation for intelligent physical agents.” http://www.fipa.org/
10. Gardner, M. 1991. The Unexpected Hanging and Other Mathematical Diversions. Chicago University Press.
11. Lomuscio, A. and Ryan, M. 2000. “A spectrum of modes of knowledge sharing between agents.” Intelligent Agents VI: Agent Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence 1757, Springer-Verlag, pp. 13-26.
12. McDermott, D. 1982. “A Temporal Logic for Reasoning about Processes and Plans.” Cognitive Science, Vol. 6, pp. 101-155.
13. Moore, R. 1980. “Reasoning about Knowledge and Action.” Tech. Note 191, SRI International, Menlo Park, CA.
14. Moore, R. 1985. “A Formal Theory of Knowledge and Action.” In Jerry Hobbs and Robert Moore, (eds.) Formal Theories of the Commonsense World. ABLEX Publishing, Norwood, New Jersey, pp. 319-358.
15. Morgenstern, L. 1987. “Foundations of a Logic of Knowledge, Action, and Communication.” NYU Ph.D. Thesis.
16. Parikh, R. and Ramanujam, R., 2003. “A Knowledge-Based Semantics of Messages.” Journal of Logic, Language, and Information. vol. 12 no. 4.
17. Plaza, J. 1989. “Logics of Public Announcements.” Proc. 4th International Symposium on Methodologies for Intelligence Systems.
18. Quine, W.V.O. 1953. “On a So-Called Paradox.” Mind vol. 62, pp. 65-67.
19. Rao, A.S. 1995. “Decision Procedures for Propositional Linear Time Belief-Desire-Intention Logics.” Intelligent Agents II: Agent Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence 1037, Springer-Verlag, pp. 33-48.
20. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
21. Sadek, M.D., Bretier, P. and Panaget, F. 1997. “ARTIMIS: Natural dialogue meets rational agency,] Proc. IJCAI-97, pp. 1030-1035.
22. Scherl, R. and Levesque, H. 1993. “The Frame Problem and Knowledge Producing Actions.” Proc. AAAI-93, pp. 689-695.
23. Scherl, R. and Levesque, H. 2003. “Knowledge, action, and the frame problem.” Artificial Intelligence, vol. 144 no. 1, pp. 1-39.
24. Woolridge, M. 2002. An Introduction to MultiAgent Systems. John Wiley and Sons.
25. Wooldridge, M. and Lomuscio, A. 2000. “Reasoning about Visibility, Perception, and Knowledge.” Intelligent Agents VI: Agent Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence 1757, Springer-Verlag, pp. 1-12.