Social Commitments in Time: Satisfied or Compensated

We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.

[1]  Marco Colombetti,et al.  Operational specification of a commitment-based agent communication language , 2002, AAMAS '02.

[2]  Murray Shanahan,et al.  An abductive event calculus planner , 2000, J. Log. Program..

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

[4]  Evelina Lamma,et al.  Modelling Interactions via Commitments and Expectations , 2009, Handbook of Research on Multi-Agent Systems.

[5]  Angelo Montanari,et al.  EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..

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

[7]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[8]  Paolo Torroni,et al.  COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS , 2007, Comput. Intell..

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

[10]  Munindar P. Singh,et al.  Resolving Commitments among Autonomous Agents , 2003, Workshop on Agent Communication Languages.

[11]  Paola Mello,et al.  Commitment Tracking via the Reactive Event Calculus , 2009, IJCAI.

[12]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[13]  Michael N. Huhns,et al.  Commitments Among Agents , 2003, IEEE Internet Comput..

[14]  Angelo Montanari,et al.  Temporal representation and reasoning in artificial intelligence: Issues and approaches , 2000, Annals of Mathematics and Artificial Intelligence.

[15]  Orna Grumberg,et al.  A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2007, TOCL.

[16]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

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

[18]  Michael Luck,et al.  Proceedings of the First International Conference on Multi-Agent Systems , 1995 .

[19]  Frank Dignum.  Advances in Agent Communication , 2003, Lecture Notes in Computer Science.