A Simple Argumentation Based Contract Enforcement Mechanism

  • Nir Oren
  • Alun Preece
  • Timothy J. Norman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4149)

Abstract

Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentation based framework for agents to both decide whether to enforce a contract, and to undertake contract enforcement actions. The framework centers around the agent reasoning about what arguments to put forth based on a comparison between the utility it would gain for proving its case and the utility it loses for probing environment state.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dash, R.K., Jennings, N.R., Parkes, D.C.: Computational–mechanism design: A call to arms. IEEE Intelligent Systems 18(6), 40–47 (2003)CrossRefGoogle Scholar
  2. 2.
    Daskalopulu, A., Dimitrakos, T., Maibaum, T.: Evidence-based electronic contract performance monitoring. Group Decision and Negotiation 11(6), 469–485 (2002)CrossRefGoogle Scholar
  3. 3.
    Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–357 (1995)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Gordon, T.F.: The pleadings game: formalizing procedural justice. In: Proceedings of the fourth international conference on Artificial intelligence and law, pp. 10–19. ACM Press, New York (1993)CrossRefGoogle Scholar
  5. 5.
    Josang, A.: Subjective evidential reasoning. In: Proceedings of the 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 1671–1678 (July 2002)Google Scholar
  6. 6.
    Kollingbaum, M.J., Norman, T.J.: Supervised interaction – creating a web of trust for contracting agents in electronic environments. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi–Agent Systems, pp. 272–279 (2002)Google Scholar
  7. 7.
    Moore, D.: Dialogue game theory for intelligent tutoring systems. PhD thesis, Leeds Metropolitan University (1993)Google Scholar
  8. 8.
    Oren, N., Norman, T.J., Preece, A.: Arguing with confidential information. In: Proceedings of the 18th European Conference on Artificial Intelligence, Italy (August 2006) (to appear)Google Scholar
  9. 9.
    Oren, N., Norman, T.J., Preece, A.: Loose lips sink ships: a heuristic for argumentation. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), vol. 4766, pp. 121–134. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Oren, N., Preece, A., Norman, T.J.: Service level agreements for semantic web agents. In: Proceedings of the AAAI Fall Symposium on Agents and the Semantic Web, pp. 47–54 (2005)Google Scholar
  11. 11.
    Patel, J., Teacy, W., Jennings, N., Luck, M.: A probabilistic trust model for handling inaccurate reputation sources. In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol. 3477, pp. 193–209. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Patel, J., Teacy, W.T.L., Jennings, N.R., Luck, M., Chalmers, S., Oren, N., Norman, T.J., Preece, A., Gray, P.M.D., Shercliff, P.J.G., Stockreisser, J.S., Gray, W.A., Fiddian, N.J., Thompson, S.: Agent-based virtual organisations for the grid. International Journal of Multi-Agent and Grid Systems 1(4), 237–249 (2005)MATHGoogle Scholar
  13. 13.
    Prakken, H.: Modelling defeasibility in law: Logic or procedure? Fundamenta Informaticae 48(2-3), 253–271 (2001)MATHMathSciNetGoogle Scholar
  14. 14.
    Prakken, H., Reed, C.A., Walton, D.N.: Argumentation schemes and burden of proof. In: Workshop Notes of the Fourth Workshop on Computational Models of Natural Argument (2004)Google Scholar
  15. 15.
    Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law 4, 331–368 (1996)CrossRefGoogle Scholar
  16. 16.
    Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, 2nd edn., vol. 4, pp. 218–319. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  17. 17.
    Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: Off-line design. Artificial Intelligence 73(1–2), 231–252 (1995)CrossRefGoogle Scholar
  18. 18.
    Walton, D.N.: Burden of proof. Argumentation 2, 233–254 (1988)Google Scholar
  19. 19.
    Xu, L., Jeusfeld, M.A.: Pro-active monitoring of electronic contracts. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 584–600. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nir Oren
    • 1
  • Alun Preece
    • 1
  • Timothy J. Norman
    • 1
  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeenScotland

Personalised recommendations