Social Commitments in Time: Satisfied or Compensated

  • Paolo Torroni
  • Federico Chesani
  • Paola Mello
  • Marco Montali
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5948)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic 9(4), 1–43 (2008)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems, pp. 41–48. The MIT Press, Cambridge (1995)Google Scholar
  3. 3.
    Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the Reactive Event Calculus. In: Boutilier, C. (ed.) Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI), pp. 91–96. AAAI Press, Menlo Park (2009)Google Scholar
  4. 4.
    Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12(2), 359–382 (1996)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28(1-4), 47–106 (2000)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence 23(1), 61–91 (2007)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 536–542. ACM Press, New York (2002)CrossRefGoogle Scholar
  8. 8.
    Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, vol. 07122 (2007), http://drops.dagstuhl.de/opus/volltexte/2007/909
  9. 9.
    Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)CrossRefMathSciNetGoogle Scholar
  10. 10.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  11. 11.
    Mallya, A.U., Huhns, M.N.: Commitments among agents. IEEE Internet Computing 7(4), 90–93 (2003)CrossRefGoogle Scholar
  12. 12.
    Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166–182. Springer, Heidelberg (2004)Google Scholar
  13. 13.
    Shanahan, M.: An abductive event calculus planner. Journal of Logic Programming 44(1-3), 207–240 (2000)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)CrossRefGoogle Scholar
  15. 15.
    Torroni, P., Yolum, P., Singh, M.P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations. In: Dignum, V. (ed.) Handbook of Research on MAS: Semantics and Dynamics of Organizational Models, Hershey, Pennsylvania, March 2009, pp. 263–284. IGI Global (2009)Google Scholar
  16. 16.
    Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 527–534. ACM Press, New York (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Paolo Torroni
    • 1
  • Federico Chesani
    • 1
  • Paola Mello
    • 1
  • Marco Montali
    • 1
  1. 1.DEISUniversity of BolognaBolognaItaly

Personalised recommendations