GOSU: computing GOal SUpport with commitments in multiagent systems

Goal-based agent architectures have been one of the most effective architectures for designing agents. In such architectures, the state of the agent as well as its goal set are represented explicitly. The agent then uses its set of actions to reach the goals in its goal set. However, in multiagent systems, most of the time, an agent cannot reach a goal only using its own actions but needs other agents to act as well. Commitments have been successfully used to regulate those interactions between agents. This paper proposes a framework and an environment for agents to manage the relations between their commitments and goals. More specifically, we provide an algorithm called GOSU to compute if a given set of commitments can be used to achieve a particular goal. We describe how GOSU can be implemented using the Reactive Event Calculus and demonstrate its capabilities over a case study.

[1]  Paola Mello,et al.  Representing and monitoring social commitments using the event calculus , 2013, Autonomous Agents and Multi-Agent Systems.

[2]  Munindar P. Singh,et al.  Commitments with regulations: reasoning about safety and control in REGULA , 2011, AAMAS.

[3]  Felipe Meneguzzi,et al.  Hierarchical planning about goals and commitments , 2013, AAMAS.

[4]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[5]  Michael Winikoff,et al.  Dynamically generated commitment protocols in open systems , 2014, Autonomous Agents and Multi-Agent Systems.

[6]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[7]  Paolo Torroni,et al.  Exception diagnosis in multiagent contract executions , 2012, Annals of Mathematics and Artificial Intelligence.

[8]  Mehdi Dastani,et al.  Goals in conflict: semantic foundations of goals in agent programming , 2009, Autonomous Agents and Multi-Agent Systems.

[9]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[10]  Jamal Bentahar,et al.  On the verification of social commitments and time , 2011, AAMAS.

[11]  Hans Weigand,et al.  Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts , 2002, ESAW.

[12]  Munindar P. Singh,et al.  Enacting protocols by commitment concession , 2007, AAMAS '07.

[13]  Munindar P. Singh,et al.  Relating Goal and Commitment Semantics , 2011, ProMAS.

[14]  Munindar P. Singh,et al.  Multiagent commitment alignment , 2009, AAMAS.

[15]  Michael Winikoff,et al.  Goals in agent systems: a unifying framework , 2008, AAMAS.

[16]  Pinar Yolum,et al.  Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments , 2013, Applied Intelligence.