A first-order theory of communication and multi-agent plans

Journal of Logic and Computation

Volumn 15, Issue 5, 2005, Pages 703-749

  Davis, Ernest ^a   Morgenstern, Leora ^b  

^a POLYTECHNIC UNIVERSITY   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Communication; Knowledge; Multi agent planning

Indexed keywords

COMMUNICATION; COMMUNICATION SYSTEMS; KNOWLEDGE REPRESENTATION; MULTI AGENT SYSTEMS; PROBLEM SOLVING; THEOREM PROVING;

KNOWLEDGE; MULTI-AGENT PLANNING; MULTI-AGENT SETTING;

FORMAL LOGIC;

EID: 26444489079     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi027     Document Type: Article

References (35)

1. FIPA 2001. The foundation for intelligent physical agents, http://www.fipa.org
2. A. Baltag, L. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Tech. Report 534, Computer Science Dept., U. Indiana, 2000.
3. P.R. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 213-261, 1990.
4. P.R. Cohen and C.R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3, 177-212, 1979.
5. M. Colombetti. A modal logic of intentional communication. Mathematical Social Sciences, 38, 171-196, 1999.
6. E. Davis. Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo, CA, 1990.
7. E. Davis. Branching continuous time and the semantics of continuous action. In AIPS-94, pp. 1-100, 1994.
8. E. Davis. Knowledge preconditions for plans. Journal of Logic and Computation, 4, 721-766, 1994.
9. E. Davis. A first-order theory of communicating first-order formulas. In Ninth International Conference on Principles of Knowledge Representation and Reasoning, pp. 235-245, 2004.
10. E. Davis. Knowledge and communication: A first-order theory. Artificial Intelligence, 166, 81-140, 2005.
11. T. Finin et al. Specification of the KQML agent communication language, DARPA knowledge sharing initiave external interfaces working group, 1993.
12. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
13. J. Hintikka. Semantics for prepositional attitudes. In Reference and Modality, L. Linsky, ed., pp. 145-167. Oxford University Press, 1969.
14. S. Kraus. Negotiation and cooperation in multi-agent environments. Artificial Intelligence, 94, 79-97, 1997.
15. A. Lomuscio and M. Ryan. A spectrum of modes of knowledge sharing between agents. Inintelligent Agents VI: Agent Theories, Architectures, and Languages, N. Jennings and Y. Lesperance, eds, pp. 13-26. Lecture Notes in Artificial Intelligence 1757, Springer-Verlag, 2000.
16. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, B. Meltzer and D. Michie, eds, pp. 463-502. Edinburgh University Press, Edinburgh, 1969.
17. D.V. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6, 101-155, 1982.
18. R. Moore. Reasoning about knowledge and action. Note 191, SRI International, Menlo Park, CA, 1980.
19. R. Moore. A formal theory of knowledge and action. In Formal Theories of the Commonsense World, J. Hobbs and R. Moore, eds, pp. 319-358. ABLEX Publishing, Norwood, New Jersey, 1985.
20. L. Morgenstern. Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 867-874, 1987.
21. L. Morgenstern. Foundations of a Logic of Knowledge, Action, and Communication. PhD thesis, New York University, 1988.
22. R. Parikh and R. Ramanujam. A knowledge-based semantics of messages. Journal of Logic, Language, and Information, 12, 454-467, 2003.
23. J. Plaza. Logics of public announcements. In Proceeding of the 4th International Symposium on Methodologies for Intelligence Systems, 1989.
24. A.S. Rao. Decision procedures for propositional linear time belief-desire-intention logics. In Intelligent Agents II: Agent Theories, Architectures, and Languages, M. Woodridge, J. P. Muller, and M. Tambe, eds, pp. 33-48. Lecture Notes in Artificial Intelligence 1037, Springer-Verlag, 1995.
25. A.S. Rao. Agentspeak(l): BDI agents speak out in a logical computable language. In Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence 1038, pp. 42-55. Springer-Verlag, 1996.
26. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
27. B. Russell. Mathematical logic as based on the theory of types. American Journal of Mathematics, 30, 222-262, 1908.
28. M. D. Sadek, P. Bretier, and F. Panaget. Artimis: Natural dialogue meets rational agency. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 1030-1035, 1997.
29. R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144, 1-39, 2003.
30. M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 1039-1046, 1987.
31. S. Steel. Action under uncertainty. Journal of Logic and Computation, 4, 767-795, 1994.
32. A. Tarski. The concept of truth in formalized languages. In Logic, Science, and Metamathematics. Oxford University Press, 1956.
33. 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.
34. M. Wooldridge. Introduction to MultiAgent Systems. John Wiley and Sons, 2002.
35. M. Wooldridge and A. Lomuscio. Reasoning about visibility, perception, and knowledge. In Intelligent Agents VI: Agent Theories, Architectures, and Languages, N. Jennings and Y. Lesperance, eds, pp. 1-12. Lecture Notes in Artificial Intelligence 1757, Springer-Verlag, 2000.