Abstract
An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occurring in open societies, the problem of checking an agent’s conformance to such a protocol is a central issue. We identify different levels of conformance (weak, exhaustive, and robust conformance) and explore, for a specific class of logic-based agents and an appropriate class of protocols, how to check an agent’s conformance to a protocol a priori, purely on the basis of the agent’s specification.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and Verification of Agent Interactions using Social Integrity Constraints. In: van der Hoek, W., et al. (eds.) Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS-2003 (2003)
Amgoud, L., Maudet, N., Parsons, S.: Modelling Dialogues using Argumentation. In: Proceedings of 4th International Conference on MultiAgent Systems (ICMAS 2000), IEEE, Los Alamitos (2000)
Endriss, U., Lu, W., Maudet, N., Stathis, K.: Competent Agents and Customising Protocols. In: Omicini, A., et al. (eds.) Proceedings of the 4th International Workshop on Engineering Societies in the Agents World, ESAW 2003 (2003)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Aspects of Protocol Conformance in Inter-agent Dialogue. In: Rosenschein, J.S., et al. (eds.) Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), ACM Press, New York (2003) (extended abstract)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol Conformance for Logicbased Agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), Morgan Kaufmann, San Francisco (2003)
Esteva, M., Rodríguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, p. 126. Springer, Heidelberg (2001)
Fernández, R., Endriss, U.: Abstract Models for Dialogue Protocols. In: Marx, M. (ed.) Proceedings of the 5th International Tbilisi Symposium on Language, Logic and Computation (2003)
Foundation for Intelligent Physical Agents (FIPA). Communicative Act Library Specification (2002), http://www.fipa.org/specs/fipa00037/
Guerin, F., Pitt, J.: Guaranteeing Properties for E-commerce Systems. In: Padget, J., et al. (eds.) Agent-Mediated Electronic Commerce IV: Designing Mechanisms and Systems, Springer, Heidelberg (2002)
Jennings, N., Parsons, S., Noriega, P., Sierra, C.: On Argumentation-based Negotiation. In: Proceedings of the International Workshop on Multi-Agent Systems (IWMAS-1998) (1998)
Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In: Deontic Logic in Computer Science: Normative System Specification, John Wiley and Sons, Chichester (1993)
Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation, 2nd edn. Prentice-Hall International, Englewood Cliffs (1998)
Pitt, J., Mamdani, A.: A Protocol-based Semantics for an Agent Communication Language. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-1999), Morgan Kaufmann Publishers, San Francisco (1999)
Sadri, F., Toni, F., Torroni, P.: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In: Proceedings of the 8th International Workshop on Agent Theories, Architectures and Languages (ATAL-2001), Springer, Heidelberg (2001)
Singh, M.P.: A Customizable Coordination Service for Autonomous Agents. In: Proceedings of the 4th International Workshop on Agent Theories, Architectures and Languages (ATAL-1997) (1997)
Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40–47 (1998)
Vasconcelos, W.W.: Expressive Global Protocols via Logic-based Electronic Institutions. In: Rosenschein, J.S., et al. (eds.) Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), ACM Press, New York (2003) (extended abstract)
Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), ACM Press, New York (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Endriss, U., Maudet, N., Sadri, F., Toni, F. (2004). Logic-Based Agent Communication Protocols. In: Dignum, F. (eds) Advances in Agent Communication. ACL 2003. Lecture Notes in Computer Science(), vol 2922. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24608-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-24608-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20769-6
Online ISBN: 978-3-540-24608-4
eBook Packages: Springer Book Archive