Rules for Representing and Handling Contracts

E-business contracts comprise conventions regarding the behavior of the agents, including obligations, rights and permissions. Contract handling refers to contract negotiation, ratification and monitoring. Negotiation and ratification are accomplished through communication protocols. For monitoring purposes, agents have to reason on actions, and their effects on the evolution of the commitments in the contract. As first steps towards the automation of contract handling processes in eCommerce, we suggest an agent model based on rules in a non-monotonic logic, analyze contract reasoning, and interaction protocols.

[1]  David Stuart Robertson,et al.  Protocol synthesis with dialogue structure theory , 2005, AAMAS '05.

[2]  Ioan Alfred Letia,et al.  Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs , 2006, AC.

[3]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[4]  Brahim Chaib-draa,et al.  Conversational Semantics with Social Commitments , 2004, AC.

[5]  David Stuart Robertson,et al.  A Lightweight Coordination Calculus for Agent Systems , 2004, DALT.

[6]  Tuomas Sandholm,et al.  eMediator: A Next Generation Electronic Commerce Server , 1999, AGENTS '00.

[7]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[8]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[9]  Henri Prade,et al.  Formal handling of threats and rewards in a negotiation dialogue , 2005, AAMAS '05.

[10]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[11]  Michael Wooldridge,et al.  An analysis of formal inter-agent dialogues , 2002, AAMAS '02.

[12]  Hans Weigand,et al.  Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts , 2002, ESAW.

[13]  Peter McBurney,et al.  Posit spaces: a performative model of e-commerce , 2003, AAMAS '03.

[14]  Tricia Walker,et al.  Computer science , 1996, English for academic purposes series.

[15]  Munindar P. Singh,et al.  Business Process Adaptations via Protocols , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).