Verifiable agent dialogues

Journal of Applied Logic

Volumn 5, Issue 2, 2007, Pages 197-213

  Walton, Christopher D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Agent communication; Dialogue protocols; Model checking; Multi agent systems

Indexed keywords

ABSTRACTING; FORMAL LANGUAGES; MODEL CHECKING; NETWORK PROTOCOLS; SEMANTICS; TRANSLATION (LANGUAGES);

DEGREE OF CONFIDENCE; DIALOGUE PROTOCOLS; MESSAGE CONTENT; MODEL CHECKERS; TRANSLATED AGENT PROTOCOL;

MULTI AGENT SYSTEMS;

EID: 34247170951     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.12.009     Document Type: Article

References (33)

1. Jennings N.R. On agent-based software engineering. Artificial Intelligence 117 2 (2000) 277-296
2. Bratman M.E. Intention, Plans, and Practical Reason (1987), Harvard University Press, Cambridge, MA
3. Patil R., Fikes R.F., Patel-Schneider P.F., McKay D., Finin T., Gruber T., and Neches R. The DARPA knowledge sharing effort: progress report. In: Nebel B., Rich C., and Swartout W. (Eds). KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), Morgan Kaufmann, San Mateo, CA 777-788
4. Foundation for Intelligent Physical Agents, Fipa specification part 2-agent communication language. available at. http://www.fipa.org April 1999
5. Singh M.P. Agent communication languages: rethinking the principles. IEEE Computer (1998) 40-47
6. Wooldridge M. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3 1 (2000) 9-31
7. Maudet N., and Chaib-draa B. Commitment-based and dialogue-game based protocols-news trends in agent communication language. Knowledge Engrg. Rev. 17 2 (2002) 157-179
8. Flores R.A., and Kremer R.C. Bringing coherence to agent conversations. Proceedings of Agent-Oriented Software Engineering (AOSE 2001). Montreal, Canada. Lecture Notes in Computer Science vol. 2222 (2002), Springer-Verlag, Berlin 50-67
9. Walton D.N., and Krabbe E.C.W. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning (1995), SUNY Press
10. McBurney P., and Parsons S. Games that agents play: a formal framework for dialogues between autonomous agents. J. Logic Language Inform. 11 3 (2002) 315-334
11. M. Greaves, H. Holmback, J. Bradshaw, What is a conversation policy?, in: Proceedings of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents '99, Seattle, Washington, DC, 1999
12. Esteva M., Rodríguez J.A., Sierra C., Garcia P., and Arcos J.L. On the formal specification of electronic institutions. Agent-mediated Electronic Commerce (The European AgentLink Perspective). Lecture Notes in Artificial Intelligence vol. 1991 (2001), Springer-Verlag, Berlin 126-147
13. Harel D. Statecharts: A visual formalism for computer system. Sci. Comput. Programming 8 3 (1987) 231-274
14. Milner R., Parrow J., and Walker D. A calculus of mobile processes (Part 1/2). Inform. and Comput. 100 1 (1992) 1-77
15. Holzmann G.J. The SPIN Model Checker: Primer and Reference Manual (2003), Addison-Wesley, Reading, MA
16. Benerecetti M., Giunchiglia F., and Serafini L. Model checking multiagent systems. J. Logic Comput. 8 3 (1998) 401-423
17. M. Wooldridge, M. Fisher, M.P. Huget, S. Parsons, Model checking multiagent systems with MABLE, in: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, 2002
18. Bordini R.H., Fisher M., Pardavila C., and Wooldridge M. Model checking AgentSpeak. Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). Melbourne, Australia (2003), ACM Press, New York
19. M.P. Huget, M. Wooldridge, Model checking for ACL compliance verification, in: Proceedings of the 2003 Workshop on Agent Communication Languages and Conversation Policies, Melbourne, Australia, 2003
20. van der Hoek W., and Wooldridge M. Model checking cooperation, knowledge, and time-a case study. Res. Econom. 57 3 (2003) 235-265
21. W. Penczek, A. Lomuscio, Verifying epistemic properties of multi-agent systems via bounded model checking, in: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, 2003
22. Bordini R.H., Fisher M., Visser W., and Wooldridge M.J. State-space reduction techniques in agent verification. Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04) (2004), ACM Press, New York 896-903
23. Rodríguez J.A., Martín F.J., Noriega P., Garcia P., and Sierra C. Towards a formal specification of complex social structures in multi-agent systems. In: Padget J. (Ed). Collaboration between Human and Artificial Societies. Lecture Notes in Artificial Intelligence vol. 1624 (2000), Springer-Verlag, Berlin 284-300
24. Vasconcelos W., Sabater J., Sierra C., and Querol J. Skeleton-based agent development for electronic institutions. Proceedings of the First International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS). Bologna, Italy (2002), ACM Press, New York 696-703
25. C. Walton, A. Barker, An agent-based e-science experiment builder, in: Proceedings of the 1st International Workshop on Semantic Intelligent Middleware for the Web and the Grid, Valencia, Spain, 2004
26. J.P. McGinnis, D. Robertson, C. Walton, Using distributed protocols as an implementation of dialogue games, in: Proceedings of the 1st European Workshop on Multi-Agent Systems (EUMAS-03), Oxford, UK, 2003
27. Jennings N.R. Specification and implementation of a belief-desire-joint-intention architecture for collaborative problem solving. J. Intelligent Cooperative Inform. Systems 2 3 (1993) 289-318
28. Rao A.S., and Georgeff M.P. BDI-agents: from theory to practise. Proceedings of the First International Conference on Multiagent Systems (ICMAS-95) (1995), AAAI Press, San Francisco, CA 312-319
29. Kahn G. Natural semantics. Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS'87). Passau, Germany. Lecture Notes in Computer Science vol. 247 (1987), Springer-Verlag, Berlin 22-39
30. Manna Z., and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification (1992), Springer-Verlag, Berlin
31. Barringer H., Fisher M., Gabbay D., Gough G., and Owens R. MetateM: an imperative approach to temporal logic programming. Formal Aspects of Computing 7 E (1995) 111-154
32. Dijkstra E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM 18 8 (1975) 453-457
33. Booth D., Haas H., McCabe F., Newcomer E., Champion M., Ferris C., and Orchard D. Web services architecture, World-Wide-Web Consortium (W3C). available at. http://www.w3.org/TR/ws-arch/ August 2003