Temporal logics for representing agent communication protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3859 LNAI, Issue , 2006, Pages 15-29

  Endriss, Ulle ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; MULTI AGENT SYSTEMS; TEMPORAL LOGIC;

AGENT COMMUNICATION PROTOCOLS; LINEAR TEMPORAL LOGIC; MENTAL STATE; ORDERED TREE; SIMPLE PROTOCOL; SOCIAL INTERACTIONS;

COMPUTER CIRCUITS;

EID: 77954234936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68143-4_2     Document Type: Conference Paper

References (37)

1. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using social integrity constraints. In Workshop on Logic and Communication in Multi-Agent Systems, 2003.
2. L. Amgoud, N. Maudet, and S. Parsons. Modelling dialogues using argumentation. In 4th International Conference on MultiAgent Systems. IEEE, 2000.
3. M. Benerecetti, F. Giunchiglia, and L. Serafini. Model checking multiagent systems. Journal of Logic and Computation, 8(3):401-423, 1998.
4. P. Blackburn, B. Gaiffe, and M. Marx. Variable-free reasoning on finite trees. In Mathematics of Language 8, 2003.
5. P. Blackburn, W. Meyer-Viol, and M. de Rijke. A proof system for finite trees. In Computer Science Logic. Springer-Verlag, 1996.
6. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In 2nd International Conference on Autonomous Agents and Multiagent Systems. ACM Press, 2003.
7. G. Bruns and P. Godefroid. Generalized model checking: Reasoning about partial state spaces. In 11th International Conference on Concurrency Theory. Springer-Verlag, 2000.
8. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
9. M. Colombetti. A commitment-based approach to agent speech acts and conversations. In Workshop on Agent Languages and Conversation Policies, 2000.
10. U. Endriss. Modal Logics of Ordered Trees. PhD thesis, King's College London, Department of Computer Science, 2003.
11. U. Endriss and D. Gabbay. Halfway between points and intervals: A temporal logic based on ordered trees. In ESSLLI Workshop on Interval Temporal Logics and Duration Calculi, 2003.
12. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In 18th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 2003.
13. R. Fernández and U. Endriss. Towards a hierarchy of abstract models for dialogue protocols. In Proceedings of the 5th International Tbilisi Symposium on Language, Logic and Computation. ILLC, 2003.
14. M. Fisher. Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-agent Systems, 10:41-66, 2005.
15. Foundation for Intelligent Physical Agents (FIPA). Communicative Act Library Specification, 2002.
16. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, volume 1. Oxford University Press, 1994.
17. J. Ginzburg. Interrogatives: Questions, facts, and dialogue. In Handbook of Contemporary Semantic Theory. Blackwell, 1996.
18. R. Goldblatt. Logics of Time and Computation. CSLI, 2nd edition, 1992.
19. F. Guerin and J. Pitt. Guaranteeing properties for e-commerce systems. In Agent-Mediated Electronic Commerce IV. Springer-Verlag, 2002.
20. C. L. Hamblin. Fallacies. Methuen, London, 1970.
21. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, pages 279-295, 1997.
22. M.-P. Huget and M. Wooldridge. Model checking for ACL compliance verification. In Advances in Agent Communication. Springer-Verlag, 2004.
23. A. J. I. Jones and X. Parent. Conventional signalling acts and conversation. In Advances in Agent Communication. Springer-Verlag, 2004.
24. M. Kacprzak, A. Lomuscio, and W. Penczek. Verification of multiagent systems via unbounded model checking. In 3rd International Conference on Autonomous Agents and Multiagent Systems. ACM Press, 2004.
25. J. A. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles, Department of Philosophy, 1968.
26. H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall International, 2nd edition, 1998.
27. S. Parsons, N. Jennings, and C. Sierra. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
28. J. Pitt and A. Mamdani. Communication protocols in multi-agent systems. In Workshop on Specifying and Implementing Conversation Policies, 1999.
29. J. Pitt and A. Mamdani. A protocol-based semantics for an agent communication language. In 16th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 1999.
30. M. J. Sergot. A computational theory of normative positions. ACM Transactions on Computational Logic, 2(4):581-622, 2001.
31. M. P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40-47, 1998.
32. M. P. Singh. A social semantics for agent communication languages. In Issues in Agent Communication. Springer-Verlag, 2000.
33. D. R. Traum and J. F. Allen. Discourse obligations in dialogue processing. In 32nd Annual Meeting of the Association for Computational Linguistics, 1994.
34. M. Y. Vardi and P.Wolper. An automata-theoretic approach to automatic program verification. In 1st Symposium on Logic in Computer Science. IEEE, 1986.
35. M. Verdicchio and M. Colombetti. A logical model of social commitment for agent communication. In 2nd International Conference on Autonomous Agents and Multiagent Systems. ACM Press, 2003.
36. B. Vitteau and M.-P. Huget. Modularity in interaction protocols. In Advances in Agent Communication. Springer-Verlag, 2004.
37. M. Wooldridge. An Introduction to MultiAgent Systems. Wiley, 2002.