Behavior-Oriented Commitment-based Protocols
Matteo Baldoni,Cristina Baroglio,Elisa Marengo +2 more
- 04 Aug 2010
- Vol. 215, pp 137-142
TL;DR: This work introduces the notion of behavior-oriented commitment-based protocols, which account both for the constitutive and the regulative specifications and that explicitly foresee a representation of the latter based on constraints among commitments.
read more
Abstract: Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, ie the behavior the agent should show The two parts together define the meaning of the interaction Commitment-based protocols, however, usually do not account for the latter and, when they do it, they do not adopt a decoupled representation of the two parts A clear distinction in the two representations would, however, bring many advantages, mainly residing in a greater openess of multi-agent systems, an easier re-use of protocols and of action definitions, and a finer specification of protocol properties In this work we introduce the notion of behavior-oriented commitment-based protocols, which account both for the constitutive and the regulative specifications and that explicitly foresee a representation of the latter based on constraints among commitments A language, named 2CL, for writing regulative specifications is also given
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
An Introduction to MultiAgent Systems.
Barbara Messing
- 01 Jan 2003
TL;DR: This book introduces the student to the concept of agents and multi-agent systems, and the main applications for which they are appropriate, and introduces the main issues surrounding the design of intelligent agents.
3.6K
Representing and monitoring social commitments using the event calculus
TL;DR: The current commitment modelling languages are extended, thus leveraging expressive possibilities that were precluded by previous formalizations, and a novel axiomatization of commitment operations in a first order Event Calculus framework is proposed.
Commitments with regulations: reasoning about safety and control in REGULA
Elisa Marengo,Matteo Baldoni,Cristina Baroglio,Amit K. Chopra,Viviana Patti,Munindar P. Singh +5 more
- 02 May 2011
TL;DR: A new formalization of commitments is proposed that builds on an existing representation of events in which it can naturally express temporal regulations as well as what an agent can control, including indirectly as based on the commitments and capabilities of other agents.
Constitutive and regulative specifications of commitment protocols: A decoupled approach
TL;DR: In this paper, the authors propose a commitment-based interaction protocol, which is characterized by decoupling of the constitutive and the regulative specifications and explicitly foresees a representation of the latter based on constraints among commitments.
Communicative commitments: Model checking and complexity analysis
TL;DR: It is proved that although CTLC extends CTL, their model checking algorithms still have the same time complexity for explicit models, and the same complexity for concurrent programs, which is PSPACE-complete with regard to the size of the components of these programs.
References
•Book
Artificial Intelligence: A Modern Approach
Stuart Russell,Peter Norvig +1 more
- 01 Jan 2020
TL;DR: In this article, the authors present a comprehensive introduction to the theory and practice of artificial intelligence for modern applications, including game playing, planning and acting, and reinforcement learning with neural networks.
21.4K
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
•Book
An Introduction to MultiAgent Systems
Michael Wooldridge
- 12 Jun 2002
TL;DR: A multi-agent system is a distributed computing system with autonomous interacting intelligent agents that coordinate their actions so as to achieve its goal(s) jointly or competitively.
5.4K
An Introduction to MultiAgent Systems.
Barbara Messing
- 01 Jan 2003
TL;DR: This book introduces the student to the concept of agents and multi-agent systems, and the main applications for which they are appropriate, and introduces the main issues surrounding the design of intelligent agents.
3.6K
Related Papers (5)
Munindar P. Singh
- 01 Jan 2000
Ronald Fagin,Joseph Y. Halpern,Moshe Y. Vardi,Yoram Moses +3 more
- 14 Aug 1995