Skip to main content
Log in

Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

Commitments among agents are widely recognized as an important basis for organizing interactions in multiagent systems. We develop an approach for formally representing and reasoning about commitments in the event calculus. We apply and evaluate this approach in the context of protocols, which represent the interactions allowed among communicating agents. Protocols are essential in applications such as electronic commerce where it is necessary to constrain the behaviors of autonomous agents. Traditional approaches, which model protocols merely in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, by formally representing commitments, we can specify the content of the protocols through the agents' commitments to one another. In representing commitments in the event calculus, we formalize commitment operations and domain-independent reasoning rules as axioms to capture the evolution of commitments. We also provide a means to specify protocol-specific axioms through the agents' actions. These axioms enable agents to reason about their actions explicitly to flexibly accommodate the exceptions and opportunities that may arise at run time. This reasoning is implemented using an event calculus planner that helps determine flexible execution paths that respect the given protocol specifications.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. E.M. Atkins, T.F. Abdelzaher, K.G. Shin and E.H. Durfee, Planning and resource allocation for hard real-time, fault-tolerant plan execution, Autonomous Agents and Multi-Agent Systems 4(1-2) (2001) 57–78.

    Google Scholar 

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

    Google Scholar 

  3. C. Castelfranchi, Commitments: From individual intentions to groups and organizations, in: Proceedings of the International Conference on Multiagent Systems (1995) pp. 41–48.

  4. M. Colombetti, A commitment-based approach to agent speech acts and conversations, in: Proceedings of the Workshop on Agent Languages and Conversation Policies (2000).

  5. N. Damianou, N. Dulay, E. Lupu and M. Sloman, The ponder policy specification language, in: Proceedings of the Workshop on Policies for Distributed Systems and Networks, Bristol, UK, Lecture Notes in Computer Science, Vol. 1995 (Springer, 2001) pp. 17–28.

  6. M. Denecker, K.V. Belleghem, G. Duchatelet, F. Piessens and D.D. Schreye, A realistic experiment in knowledge representation in open event calculus: Protocol specification, in: Proceedings of the Joint International Conference and Symposium on Logic Programming (1996) pp. 170–184.

  7. M. Denecker, L. Missiaen and M. Bruynooghe, Temporal reasoning with abductive event calculus, in: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI) (Wiley, 1992) pp. 384–388.

  8. M. d'Inverno, D. Kinny and M. Luck, Interaction protocols in agentis, in: Proceedings of the 3rd International Conference on Multiagent Systems (ICMAS) (IEEE Computer Society Press, 1998) pp. 112–119.

  9. J. Dix, H. Muñoz-Avila and D. Nau, IMPACTing SHOP: Planning in a multi-agent environment, in: Proceedings of Computational Logic in Multi-Agent Systems (CLIMA), eds. F. Sadri and K. Satoh (Imperial College, 2000) pp. 30–42.

  10. E.A. Emerson, Temporal and modal logic, in: Handbook of Theoretical Computer Science, ed. J. van Leeuwen, Vol. B (North-Holland, Amsterdam, 1990) pp. 995–1072.

    Google Scholar 

  11. K. Eshghi, Abductive planning with event calculus, in: Proceedings of the 5th International Conference on Logic Programming (ICLP), eds. R.A. Kowalski and K.A. Bowen (MIT Press, 1988) pp. 562–579.

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

    Google Scholar 

  13. R.A. Flores and R.C. Kremer, To commit or not to commit: Modelling agent conversations for action, Computational Intelligence 18(2) (2002) 120–173.

    Google Scholar 

  14. N. Fornara and M. Colombetti, Operational specification of a commitment-based agent communication language, in: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS) (ACM Press, 2002) pp. 535–542.

  15. L. Gasser, Social conceptions of knowledge and action: DAI foundations and open systems semantics, in: [17] (1998) pp. 389–404. (Reprinted from Artificial Intelligence, 1991.)

  16. G.J. Holzmann, Design and Validation of Computer Protocols (Prentice-Hall, Englewood Cliffs, NJ, 1991).

    Google Scholar 

  17. M.N. Huhns and M.P. Singh (eds.), Readings in Agents (Morgan Kaufmann, San Francisco, CA, 1998).

    Google Scholar 

  18. J. Hutchison and M. Winikoff, Flexibility and robustness in agent interaction protocols, in: Proceedings of the Workshop on Challenges in Open Agent Systems (2002).

  19. R. Kowalski and M.J. Sergot, A logic-based calculus of events, New Generation Computing 4(1) (1986) 67–95.

    Google Scholar 

  20. Y. Lespérance, K. Tam and M. Jenkin, Reactivity in a logic-based robot programming framework, in: Intelligent Agents VI: Agent Theories, Architectures, and Languages (2000) pp. 173–187.

  21. J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: Machine Intelligence, Vol. 4 (American Elsevier, 1969).

  22. J. Pitt and A. Mamdani, A protocol-based semantics for an agent communication language, in: Proceedings of the International Joint Conference on Artificial Intelligence (1999) pp. 486–491.

  23. M. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia (MIT Press, Cambridge, MA, 1997).

    Google Scholar 

  24. M. Shanahan, An abductive event calculus planner, Journal of Logic Programming 44 (2000) 207–239.

    Google Scholar 

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

    Google Scholar 

  26. M.P. Singh, A social semantics for agent communication languages, in: Issues in Agent Communication, eds. F. Dignum and M. Greaves, Lecture Notes in Artificial Intelligence, Vol. 1916 (Springer, 2000) pp. 31–45.

  27. M.P. Singh, The future of agent communication, in: Communication in Multiagent Systems: Background, Current Trends and Future, ed. M.-P. Huget (Springer, 2003) pp. 318–322.

  28. M.A. Sirbu, Credits and debits on the internet, in: [17] (1998) pp. 299–305. (Reprinted from IEEE Spectrum, 1997.)

  29. I.A. Smith, P.R. Cohen, J.M. Bradshaw, M. Greaves and H. Holmback, Designing conversation policies using joint intention theory, in: Proceedings of the 3rd International Conference on Multiagent Systems (ICMAS) (IEEE Computer Society Press, 1998) pp. 269–276.

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

    Google Scholar 

  31. D.N. Walton and E.C.W. Krabbe, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning (State University of New York Press, Albany, NY, 1995).

    Google Scholar 

  32. P. Yolum and M.P. Singh, Commitment machines, in: Intelligent Agents VIII: Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (Springer, 2002) pp. 235–247.

  33. P. Yolum and M.P. Singh, Flexible protocol specification and execution: Applying event calculus planning using commitments, in: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS) (ACM Press, 2002) pp. 527–534.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yolum, P., Singh, M.P. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and Artificial Intelligence 42, 227–253 (2004). https://doi.org/10.1023/B:AMAI.0000034528.55456.d9

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AMAI.0000034528.55456.d9

Navigation