Skip to main content
SpringerLink
Log in

Contracts Violation: Justification via Argumentation

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5405))

Included in the following conference series:

  • 344 Accesses

Abstract

An important field of application of intelligent logical agents, where rationality plays a main role, is that of automated negotiation. Our work is related to the use of argumentation in the field of negotiation. In particular, we are interested in contract violations, and in the construction of justifications to motivate the violation itself and recover if possible the contract on modified conditions. We propose a temporal modal logic language able to support and depict the arguments/justification used in dialectical disputes and we consider suitable algorithms and mechanisms to introduce and manage justifications.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rahwan, I., Ramchurn, S.D., Jennings, N.R., Peter McBurney, S.P., Sonenberg, L.: Argumentation-based negotiation. Knowledge Engineering Review (2004)

    Google Scholar 

  2. Barringer, H., Fisher, M., Gabbay, D.M., Gough, G., Owens, R.: METATEM: A Framework for Programming in Temporal Logic. In: Proceedings of Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, London, UK, pp. 94–129. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

  3. Fisher, M.: Metatem: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS, vol. 3862, pp. 3–22. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Rodríguez-Aguilar, J.: On the Design and Construction of Agent mediated Electronic Institutions. PhD thesis, Institut d’Investigaciò en Intel.ligència Artificial (IIIA) (2001)

    Google Scholar 

  5. Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  6. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of IGPL 4(3), 427–443 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  7. Costantini, S., Acqua, P.D., Pereira, L.M.: Specification and Dynamic Verification of Agent Properties. In: Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems

    Google Scholar 

  8. Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in MultiAgent Systems applied to complex domains. The HARMONIA framework. PhD thesis, Artificial Intelligence PhD. Program, Universitat Politècnica de Catalunya (April 2003)

    Google Scholar 

  9. Costantini, S., Acqua, P.D., Pereira, L.M.: A Multi-layer Framework for Evolving and Learning Agents. In: Cox, M.T., Raja, A. (eds.) Proceedings of Metareasoning, Thinking about thinking workshop at AAAI 2008, Chicago, USA (2008)

    Google Scholar 

  10. Sabater, J., Sierra, C.: Reputation and social network analysis in multi-agent systems. In: Proc. of the First Int. Joint Conf. on Autonomous Agents and Multi-agent Systems, pp. 475–482. ACM Press, New York (2002)

    Google Scholar 

  11. Joseph, S., Sierra, C., Schorlemmer, M., Dellunde, P.: Information-Based Reputation. In: Proc. of First International Conference on Reputation: Theory and Technology (2009)

    Google Scholar 

  12. Sierra, C., Sabater-Mir, J.: Review on computionational trust and reputation models. Artificial Intelligence Review 24(1), 33–60 (2005)

    Article  MATH  Google Scholar 

  13. Neville, B., Pitt, J.: A simulation study of social agents in agent mediated e-commerce. In: Proceedings of the Seventh International Workshop on Trust in Agent Societies (2004)

    Google Scholar 

  14. Huynh, D., Jennings, N.R., Shadbolt, N.R.: Developing an integrated trust and reputation model for open multi-agent systems, pp. 65–74 (2004)

    Google Scholar 

  15. Gaur, V., Bedi, P.: Evaluating trust in agent mediated e-commerce. The International Journal of Technology, Knowledge and Society (3) 65–74

    Google Scholar 

  16. Huynh, T.D., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. In: Autonomous Agents and Multi-Agents systems, pp. 119–154 (2006)

    Google Scholar 

  17. Ramchurn, S.D., Jennings, N.R., Sierra, C.: Persuasive negotiation for autonomous agents: A rhetorical approach. In: IJCAI Workshop on Computational Models of Natural Argument, pp. 9–17. IJCAI Press (2003)

    Google Scholar 

  18. Esfandiari, B., Chandrasekharan, C.: On how agents make friends: Mechanisms for trust acquisition. In: Proc. of the Fourth Workshop on Deception, Fraud and Trust in Agent Societies, pp. 27–34 (2001)

    Google Scholar 

  19. Vasalou, A., Hopfensitz, A., Pitt, J.V.: In praise of forgiveness: Ways for repairing trust breakdowns in one-off online interactions. Int. J. Hum.-Comput. Stud. 66(6), 466–480 (2008)

    Article  Google Scholar 

  20. Costantini, S., Tocchio, A.: Learning by knowledge exchange in logical agents. In: From Objects to Agents: Intelligent Systems and Pervasive Computing, Proceedings of WOA 2005 (2005) ISBN 88-371-1590-3

    Google Scholar 

  21. Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 1. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 685–688. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Sadri, F., Toni, F.: Computational logic and multiagent systems: a roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net (1999)

    Google Scholar 

  24. Beer, M., d’Inverno, M., Jennings, N., Luck, M., Preist, C.: Agents that reason and negotiate by arguing. Knowledge Engineering Review 14(3), 285–289 (1999)

    Article  Google Scholar 

  25. Dung, P., Mancarella, P., Toni, F.: A dialectical procedure for sceptical, assumption-based argumentation. In: Proceedings of 1st International Conference on Computational Models of Argument (COMMA 2006). IOS Press, Amsterdam (2006)

    Google Scholar 

  26. Bentahar, J., Moulin, B., Meyer, J.-J.C., Chaib-draa, B.: A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. In: Proceedings of Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, July 19-23, 2004, pp. 792–799 (2004)

    Google Scholar 

  27. Leue, S.: QoS Specification Based on SDL /MSC and Temporal Logic. In: van Bochmann, G., de Meer, J., Vogel, A. (eds.) Proceedings of The Montreal Workshop on Multimedia Applications and Quality of Service Verification (1994)

    Google Scholar 

  28. Clarke, E.M., Lerda, F.: Model Checking: Software and Beyond. Journal of Universal Computer Science 13, 639–649 (2007)

    MathSciNet  Google Scholar 

  29. Milosevic, Z., Dromey, R.G.: On expressing and monitoring behaviour in contracts. In: Proceedings of The Sixth International Enterprise Distributed Object Computing Conference, pp. 3–14 (2002)

    Google Scholar 

  30. Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. Technical Report TUM-I0724, Institut fur Informatik, Technische Universität München (2007)

    Google Scholar 

  31. Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: Proceedings of EDOC 2005, Washington, DC, USA, pp. 46–57. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  32. Milosevic, Z., Gibson, S., Linington, P.F., Cole, J.B., Kulkarni, S.: On design and implementation of a contract monitoring facility. In: Proceedings of The 1st IEEE Workshop on Econtracting (WEC 2004), pp. 62–70. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  33. Grosof, B.N., Poon, T.C.: Sweetdeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proceedings of The 12th International Conference on World Wide Web, pp. 340–349. ACM Press, New York (2003)

    Google Scholar 

  34. Dung, P.M., Thang, P.M., Toni, F.: Towards argumentation-based contract negotiation. In: Proceedings of COMMA 2008, Computational Models of Argument, vol. 172, pp. 134–146 (2008)

    Google Scholar 

  35. Walton, C.D.: Verifiable agent dialogues. Journal of Applied Logic 5(2), 197–213 (2007); Special Issue on Logic-Based Agent Verification

    Article  MathSciNet  MATH  Google Scholar 

  36. Wooldridge, M., Parsons, S.: Languages for Negotiation. In: Horn, W. (ed.) Proceedings of ECAI 2000, The Fourteenth European Conference on Artificial Intelligence, Berlin, Germany, pp. 393–397 (August 2000)

    Google Scholar 

  37. Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8, 261–292 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  38. Dung, P.M., Thang, P.M.: Towards an Argument-based Model of Legal Doctrines in Common Law of Contracts. In: Fisher, M., Sadri, F. (eds.) Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems, pp. 111–126 (2008)

    Google Scholar 

  39. Dung, P.M., Thang, P.M., Hung, N.D.: Argumentation-based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. In: Fisher, M., Sadri, F. (eds.) Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems, pp. 91–109 (2008)

    Google Scholar 

  40. Brewka, G.: Dynamic argument systems: a formal model of argumentation processes based on situation calculus. Journal of logic and computation 11, 257–282 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  41. Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: IJCAL 2003: Proceedings of the 9th international conference on Artificial intelligence and law, pp. 1–11. ACM, New York (2003)

    Google Scholar 

  42. Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Trans. Comput. Logic 10(1), 1–42 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  43. CONTRACT EU project: Contract based e-business system engineering for robust, verifiable cross-organizational business applications, 6th Framework Programme, project number FP6-034418

    Google Scholar 

  44. Oren, N., Panagiotidi, S., Vazquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Proc. of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Informatica, Università di L’Aquila, Coppito, 67100, L’Aquila, Italy

    Stefania Costantini, Arianna Tocchio & Panagiota Tsintza

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arianna Tocchio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Panagiota Tsintza
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Imperial College London, Ashton Street, L69 3BX, Liverpool, UK

    Michael Fisher

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Fariba Sadri

  3. Department of Computer Science, Artificial Intelligence Institute, Computational Logic Group, Dresden University of Technology, Nöthnitzer Str. 46, 01187, Dresden, Germany

    Michael Thielscher

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., Tocchio, A., Tsintza, P. (2009). Contracts Violation: Justification via Argumentation. In: Fisher, M., Sadri, F., Thielscher, M. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2008. Lecture Notes in Computer Science(), vol 5405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02734-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02734-5_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02733-8

  • Online ISBN: 978-3-642-02734-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation