|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
Towards a Formalisation of Electronic Contracting Environments
Oren, Nir and Panagiotidi, Sofia and Vazquez-Salceda, Javier and Modgil, Sanjay and Luck, Michael and Miles, Simon (2008) Towards a Formalisation of Electronic Contracting Environments. In: Proceedings of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008, Chicago.
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time. In this paper, we describe this formalization, and show how we may associate various states with a norm throughout its lifecycle. We also show how more complex evaluations may be carried out over a norm, and conclude with an example showing the application of the framework over a contract and its associated norms.
Repository Staff Only: item control page