Article

Protocol conformance for logic-based agents

Authors:

Ulrich Endriss,

Nicolas Maudet,

Fariba Sadri,

Francesca ToniAuthors Info & Claims

IJCAI'03: Proceedings of the 18th international joint conference on Artificial intelligence

Pages 679 - 684

Published: 09 August 2003 Publication History

Abstract

An agent communication protocol specifies the "rules of encounter" governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occurring in open societies it is crucial that agents are equipped with proper means to check, and possibly enforce, conformance to protocols. We identify different levels of conformance (weak, exhaustive, and robust conformance) and explore how a specific class of logic-based agents can exploit a new representation formalism for communication protocols based on simple if-then rules in order to either check conformance a priori or enforce it at runtime.

References

[1]

{Amgoud et al., 2000} L. Amgoud, N. Maudet, and S. Parsons. Modelling Dialogues using Argumentation. In Proc. ICMAS-2000, 2000.

Digital Library

Google Scholar

[2]

{Dignum and Greaves, 2000} F. Dignum and M. Greaves. Issues in Agent Communication: An Introduction. In F. Dignum and M. Greaves, editors, Issues in Agent Communication. Springer-Verlag, 2000.

Digital Library

Google Scholar

[3]

{FIPA, 2002} Foundation for Intelligent Physical Agents (FIPA). Communicative Act Library Specification, 2002. http://www.fipa.org/specs/fipa00037/.

Google Scholar

[4]

{Fung and Kowalski, 1997} T. H. Fung and R. Kowalski. The IFF Proof Procedure for Abductive Logic Programming. Journal of Logic Programming, 33(2): 151-165, 1997.

Crossref

Google Scholar

[5]

{Jennings et al, 1998} N. Jennings, S. Parsons P. Noriega, and C. Sierra. On Argumentation-based Negotiation. In Proc. IWMAS-1998, 1998.

Google Scholar

[6]

{Jones and Sergot, 1993} A. Jones and M. Sergot. 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, 1993.

Digital Library

Google Scholar

[7]

{Labrou and Finin, 1998} Y. Labrou and T. Finin. Semantics and Conversations for an Agent Communication Language. In M. Huhns and M. Singh, editors, Readings in Agents. Morgan Kaufmann Publishers, 1998.

Digital Library

Google Scholar

[8]

{Pitt and Mamdani, 1999} J. Pitt and A. Mamdani. A Protocol-based Semantics for an Agent Communication Language. In Proc. IJCAI-1999. Morgan Kaufmann, 1999.

Digital Library

Google Scholar

[9]

{Rosenschein and Zlotkin, 1994} J. S. Rosenschein and G. Zlotkin. Rules of Encounter. MIT Press, 1994.

Google Scholar

[10]

{Sadri et al, 2001} F. Sadri, F. Toni, and P. Torroni. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In Proc. ATAL-2001. Springer-Verlag, 2001.

Google Scholar

[11]

{Sadri et al., 2002} F. Sadri, F. Toni, and P. Torroni. An Abductive Logic Programming Architecture for Negotiating Agents. In Proc. JELIA-2002. Springer-Verlag, 2002.

Digital Library

Google Scholar

Cited By

View all

Chopra AChristie V. SSingh MLarson KWinikoff MDas SDurfee E(2017)SpleeProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091274(1054-1063)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091274
Gabaldon A(2011)Making golog norm compliantProceedings of the 12th international conference on Computational logic in multi-agent systems10.5555/2044543.2044567(275-292)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.5555/2044543.2044567
Cicortas AIordan VNaaji ACiobanu MSomosi N(2010)Consideration on MAS as a basis for distributed modeling of urban traffic simulationProceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I10.5555/1981573.1981626(288-293)Online publication date: 23-Jul-2010
https://dl.acm.org/doi/10.5555/1981573.1981626
Show More Cited By

Index Terms

Protocol conformance for logic-based agents

Recommendations

Verifying protocol conformance for logic-based communicating agents
CLIMA'04: Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implementation is “conformant” w.r.t. the abstract specification of it. In this ...
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems

The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with <em>k</em> roles, which requires the agents to be interoperable and to produce ...
Verification of protocol conformance and agent interoperability
CLIMA'05: Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

In open multi-agent systems agent interaction is usually ruled by public protocols defining the rules the agents should respect in message exchanging. The respect of such rules guarantees interoperability. Given two agents that agree on using a certain ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IJCAI'03: Proceedings of the 18th international joint conference on Artificial intelligence

August 2003

1674 pages

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 09 August 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chopra AChristie V. SSingh MLarson KWinikoff MDas SDurfee E(2017)SpleeProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091274(1054-1063)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091274
Gabaldon A(2011)Making golog norm compliantProceedings of the 12th international conference on Computational logic in multi-agent systems10.5555/2044543.2044567(275-292)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.5555/2044543.2044567
Cicortas AIordan VNaaji ACiobanu MSomosi N(2010)Consideration on MAS as a basis for distributed modeling of urban traffic simulationProceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I10.5555/1981573.1981626(288-293)Online publication date: 23-Jul-2010
https://dl.acm.org/doi/10.5555/1981573.1981626
Chopra ADalpiaz FGiorgini PMylopoulos JLuck MSen S(2010)Reasoning about agents and protocols via goals and commitmentsProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838271(457-464)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1838206.1838271
El-Menshawy MBentahar JDssouli R(2009)A New Semantics of Social Commitments Using Branching Space-Time LogicProceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 0310.1109/WI-IAT.2009.333(492-496)Online publication date: 15-Sep-2009
https://dl.acm.org/doi/10.1109/WI-IAT.2009.333
Bentahar JMeyer JWan W(2009)Model checking communicative agent-based systemsKnowledge-Based Systems10.1016/j.knosys.2008.11.00622:3(142-159)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1016/j.knosys.2008.11.006
Desai NSingh M(2008)On the enactability of business protocolsProceedings of the 23rd national conference on Artificial intelligence - Volume 210.5555/1620163.1620247(1126-1131)Online publication date: 13-Jul-2008
https://dl.acm.org/doi/10.5555/1620163.1620247
Chopra ASingh M(2008)Constitutive interoperabilityProceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 210.5555/1402298.1402335(797-804)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402298.1402335
Bentahar JMbarki MMeyer JMoulin B(2008)Strategic Agent CommunicationDeclarative Agent Languages and Technologies VI10.1007/978-3-540-93920-7_15(233-250)Online publication date: 25-Dec-2008
https://dl.acm.org/doi/10.1007/978-3-540-93920-7_15
Mbarki MBentahar JMoulin B(2008)A Formal Framework of Conversational Goals Based on Strategic ReasoningProceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence10.1007/978-3-540-69052-8_87(835-844)Online publication date: 18-Jun-2008
https://dl.acm.org/doi/10.1007/978-3-540-69052-8_87
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Verifying protocol conformance for logic-based communicating agents

Verifying Agents' Conformance with Multiparty Protocols

Verification of protocol conformance and agent interoperability

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations