More Web Proxy on the site http://driver.im/

Article

Commitment Machines

Authors:

Munindar P. SinghAuthors Info & Claims

ATAL '01: Revised Papers from the 8th International Workshop on Intelligent Agents VIII

Pages 235 - 247

Published: 01 August 2001 Publication History

Abstract

We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social commitments of the participants. The content can be reasoned about by the agents thereby enabling flexible execution of the given protocol. We provide reasoning rules to capture the evolution of commitments through the agents' actions. Because of its representation of content and its operational rules, a commitment machine effectively encodes a systematically enhanced version of the original protocol, which allows the original sequences of actions as well as other legal moves to accommodate exceptions and opportunities. We show how a commitment machine can be compiled into a finite state machine for efficient execution, and prove soundness and completeness of our compilation procedure.

References

[1]

J. L. Austin. How to Do Things with Words . Clarendon Press, Oxford, 1962.

[2]

M. Barbuceanu and M. S. Fox. COOL: A language for describing coordination in multi agent systems. In Proc. of the International Conf. on Multiagent Systems , pages 17-24, 1995.

[3]

C. Castelfranchi. Commitments: From individual intentions to groups and organizations. In Proc. of the International Conf. on Multiagent Systems , pages 41-48, 1995.

[4]

R. S. Cost et al. Using colored Petri nets for conversation modeling. In Frank Dignum and Mark Greaves, ed., Issues in Agent Communication , LNAI 1916, pages 178-192, 2000.

[5]

F. Dignum and B. van Linder. Modeling social agents: Communication as action. In Intelligent Agents III: Agent Theories, Architectures, and Languages , pages 205-218, 1997.

[6]

M. d'Inverno et al. Interaction protocols in Agentis. In Proc. of the 3rd Int. Conf. on Multiagent Systems , pages 112-119, 1998.

[7]

M. Fisher and M. Wooldridge. On the formal specification and verification of multi-agent systems. Int. Journal of Intelligent and Cooperative Information Systems , 6(1):37-65, 1997.

[8]

L. Gasser. Social conceptions of knowledge and action: DAI foundations and open systems semantics. In {9} , pages 389-404. 1998. (Reprinted from Artificial Intelligence, 1991 ).

[9]

M. N. Huhns and M. P. Singh, editors. Readings in Agents . Morgan Kaufmann, 1998.

[10]

J. Pitt and A. Mamdani. A protocol-based semantics for an agent communication language. In Proc. of the Int. Joint Conf. on Artificial Intelligence , pages 486-491, 1999.

[11]

M. P. Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law , 7:97-113, 1999.

[12]

M. A. Sirbu. Credits and debits on the Internet. In {9} , pages 299-305. 1998. (Reprinted from IEEE Spectrum, 1997 ).

[13]

I. A. Smith et al. Designing conversation policies using joint intention theory. In Proc. of the 3rd International Conf. on Multiagent Systems , pages 269-276, 1998.

[14]

M. Venkatraman and M. P. Singh. Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Sys. , 2(3):217- 236, 1999.

[15]

E. M. Verharen. A Language-Action Perspective on the Design of Cooperative Information Agents . Catholic University, Tilburg, Holland, 1997.

Cited By

Chopra AChristie V SAgmon NAn BRicci AYeoh W(2023)Communication Meaning: Foundations and Directions for Systems ResearchProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598840(1786-1791)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598840
Chopra AChristie V SSingh MMiller ACensor-Hillel K(2021)Interaction-Oriented ProgrammingProceedings of the 2021 ACM Symposium on Principles of Distributed Computing10.1145/3465084.3467486(575-576)Online publication date: 21-Jul-2021
https://dl.acm.org/doi/10.1145/3465084.3467486
Baldoni MBaroglio CBoissier OMicalizio RTedeschi SElkind EVeloso MAgmon NTaylor M(2019)Engineering Business Processes through Accountability and AgentsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331922(1796-1798)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331922
Show More Cited By

Commitment Machines
1. Theory of computation

Recommendations

Commitment Machines
New Efficient Non-malleable Commitment Schemes
ALPIT '07: Proceedings of the Sixth International Conference on Advanced Language Processing and Web Information Technology (ALPIT 2007)

Non-malleable commitment is recently one of research focuses in international cryptographic community. It has many important applications in e-commerce, and plays important role in constructing other cryptographic protocols. Most existing non-malleable ...
Enhancing commitment machines
DALT'04: Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Agent interaction protocols are usually specified in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for flexibility and robustness. The commitment machines framework of Yolum and Singh aims ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ATAL '01: Revised Papers from the 8th International Workshop on Intelligent Agents VIII

August 2001

461 pages

ISBN:3540438580

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 August 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

46
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chopra AChristie V SAgmon NAn BRicci AYeoh W(2023)Communication Meaning: Foundations and Directions for Systems ResearchProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598840(1786-1791)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598840
Chopra AChristie V SSingh MMiller ACensor-Hillel K(2021)Interaction-Oriented ProgrammingProceedings of the 2021 ACM Symposium on Principles of Distributed Computing10.1145/3465084.3467486(575-576)Online publication date: 21-Jul-2021
https://dl.acm.org/doi/10.1145/3465084.3467486
Baldoni MBaroglio CBoissier OMicalizio RTedeschi SElkind EVeloso MAgmon NTaylor M(2019)Engineering Business Processes through Accountability and AgentsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331922(1796-1798)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331922
Winikoff MYadav NPadgham LAndre EKoenig SDastani MSukthankar G(2018)A new Hierarchical Agent Protocol NotationProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237871(1180-1182)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.5555/3237383.3237871
Baldoni MBaroglio CCapuzzimati FMicalizio R(2018)Type checking for protocol role enactments via commitmentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-018-9382-332:3(349-386)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10458-018-9382-3
Baldoni MBaroglio CMarengo EPatti V(2015)Constitutive and regulative specifications of commitment protocolsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832747.2832829(4143-4147)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832747.2832829
Baldoni MBaroglio CChopra ASingh M(2015)Composing and verifying commitment-based multiagent protocolsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832249.2832251(10-17)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832249.2832251
Baldoni MBaroglio CChopra ASingh MWeiss GYolum PBordini RElkind E(2015)Social Contexts and Social PragmaticsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773412(1739-1740)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773412
Kholy WBentahar JMenshawy MQu HDssouli R(2014)Conditional CommitmentsACM Transactions on Software Engineering and Methodology10.1145/268561324:2(1-49)Online publication date: 23-Dec-2014
https://dl.acm.org/doi/10.1145/2685613
Baldoni MBaroglio CCapuzzimati F(2014)A Commitment-Based Infrastructure for Programming Socio-Technical SystemsACM Transactions on Internet Technology10.1145/267720614:4(1-23)Online publication date: 17-Dec-2014
https://dl.acm.org/doi/10.1145/2677206
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.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents