Modelling communicating agents in timed reasoning logics

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 95-107

  Alechina, Natasha ^a   Logan, Brian ^a   Whitsey, Mark ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS; CRYPTOGRAPHY; FORMAL LOGIC; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING;

COMMUNICATING AGENTS; CONFLICT RESOLUTION; MAKING DECISION; RESOURCE-BOUNDED; RULE APPLICATION; RULE BASED; TIMED REASONING LOGIC; TWO AGENTS;

ARTIFICIAL INTELLIGENCE; MULTI AGENT SYSTEMS;

COMMUNICATION AGENTS; CRYPTOGRAPHIC PROTOCOLS; INFERENCE RULES; TIMED REASONING LOGICS (TRL);

EID: 22944473348     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_11     Document Type: Conference Paper

References (21)

1. N. Alechina, B. Logan, and M. Whitsey. A complete and decidable logic for resource-bounded agents. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). ACM Press, July 2004.
2. J. Drapkin and D. Perlis. A preliminary excursion into Step-Logics. Proceedings of the SIGART International Symposium on Methodologies for Intelligent Systems, pages 262-269, 1986.
3. J. Elgot-Drapkin, M. Miller, and D. Perlis. 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, Cambridge, Mass., 1991.
4. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2(1):75-98, 1990.
5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIP Press, Cambridge, Mass., 1995.
6. R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 491-501, Los Angeles, CA, 1985.
7. R. Fagin and J. Y. Halpern. Belief, awareness and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
8. Dov M. Gabbay. Labeled Deductive Systems: Volume I - Foundations. Oxford University Press, 1996.
9. John Grant, Sarit Kraus, and Donald Perlis. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems, 3(4):351-387, 2000.
10. K. Konolige. A Deduction Model of Belief. Morgan Kaufman, 1986.
11. G. Lakemeyer. Steps towards a first-order logic of explicit and implict belief. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, pages 325-340, San Francisco, 1986. Morgan Kaufmann.
12. H. J. Levesque. A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI'84), pages 198-202, 1984.
13. R. C. Moore. Logic and Representations. Number 39 in CSLI Lecture Notes. CSLI Publications, 1995.
14. NASA. Proceedings of the Third Conference on CLIPS (CLIPS'94), Lyndon B. Johnson Space Center, September 1994.
15. M. Nirkhe, S. Kraus, and D. Perlis. Thinking takes time: a modal active-logic for reasoning in time. Technical Report CS-TR-3249, University of Maryland, Department of Computer Science, 1994.
16. R. Parikh. Knowledge and the problem of logical omniscience. In Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, pages 432-439. North-Holland, 1987.
17. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484, 1991.
18. M. P. Singh. Know-How. In Michael Wooldridge and Anand Rao, editors, Foundations of Rational Agency, pages 81-104. Kluwer, Dordrecht, 1999.
19. Software Technology Branch, Lyndon B. Johnson Space Center, Houston. CLIPS Reference Manual: Version 6.21, June 2003.
20. W. van der Hoek, B. van Linder, and J-J. Ch. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. Rao, editors, Foundations of Rational Agency, pages 133-168. Kluwer, Dordrecht, 1999.
21. M. Whitsey. Timed reasoning logics: An example. In Proceedings of the Logic and Communication in Multi-Agent Systems Workshop (LCMAS 2004). Loria, 2004.