Abstract
Clauses within contracts may be thought of as norms, specifying permissions, obligations and prohibitions on contract parties. In this paper, we present a formal representation of contracts, focusing on the specification of a model of norms. With this model, a norm is associated with a status, which may change as the environment, and the status of other norms, changes. We define a normative environment, which may be used to track the status of a set of norms throughout their lifecycle, and then describe a predicates that may be used to evaluate a norm’s status. Agents are able to use these predicates to reason about the status of norms, and how their actions will affect the normative environment. Finally, we show the applicability of our framework to real world domains by monitoring the execution of a contract taken from a real world scenario.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M., Sierra, C.: Automated negotiation: Prospects methods and challenges. Group Decision and Negotiation 10(2), 199–215 (2001)
Grosof, B., Poon, T.C.: SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and proceedings descriptions. International Journal of Electronic Commerce 8(4), 61–98 (2004)
Kollingbaum, M.: Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen (2005)
Dignum, V., Meyer, J.J., Dignum, F., Weigand, H.: Formal specification of interaction in agent societies. In: Proceedings of the Second Goddard Workshop on Formal Approaches to Agent Based Systems, pp. 37–52 (2002)
Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, USA, pp. 632–639 (2007)
Oren, N., Luck, M., Miles, S., Norman, T.J.: Argumentation inspired heuristics for resolving normative conlict. In: Hubner, J.F., et al. (eds.) COIN 2008. LNCS (LNAI), vol. 5428. Springer, Heidelberg (2008)
van der Torre, L.: Contextual deontic logic: Normative agents, violations and independence. Annals of Mathematics and Artificial Intelligence 37(1-2), 33–63 (2003)
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)
Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Universiteit Utrecht (2004)
Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Normative Multi-agent Systems. Number 07122 in Dagstuhl Seminar Proceedings (2007)
Farrell, A.D.H., Sergot, M., Salle, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 4(2-3), 99–129 (2005)
Daskalopulu, A.: Modelling Legal Contracts as Processes. In: Eleventh International Conference and Workshop on Database and Expert Systems Applications, pp. 1074–1079 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S. (2009). Towards a Formalisation of Electronic Contracting Environments. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds) Coordination, Organizations, Institutions and Norms in Agent Systems IV . COIN 2008. Lecture Notes in Computer Science(), vol 5428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00443-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-00443-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00442-1
Online ISBN: 978-3-642-00443-8
eBook Packages: Computer ScienceComputer Science (R0)