Abstract
It is widely acknowledged that a temporal representation of e-contracts is essential in order to support e-contract execution and performance monitoring. One possibility that has been explored by many researchers is to represent e-contracts in Event Calculus. Although such representations are intuitive and facilitate temporal reasoning about actions/events and their factual and normative effects, they fall short in situations where domain knowledge cannot be assumed to be complete. Moreover, it is not clear how dynamic normative conflict resolution can be achieved, without resorting to unintuitive representations for conflict resolution strategies. In order to maintain the benefits of an underlying Event Calculus representation, and incorporate assumption-based reasoning and dynamic conflict management capability, we propose a representation of e-contracts as Default Theories, which are constructed by translating Event Calculus representations dynamically. Finally, we discuss how the resulting Default Theory representation enables a software agent to address various reasoning problems.
This work was supported by the European Commission and the Greek Secretariat for Research and Technology (PENED 2003 – 03ε Δ466).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Marín, R.H., Sartor, G.: Time and norms: A formalisation in the event-calculus. In: 7th International Conference on Artificial Intelligence and Law, New York, NY, USA, pp. 90–99. ACM Press, New York (1999)
Artikis, A., Pitt, J., Sergot, M.J.: Animated specifications of computational societies. In: 1st International Joint Conference on Autonomous Agents & Multiagent Systems, pp. 1053–1061. ACM Press, New York (2002)
Farréll, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst. 14, 99–129 (2005)
Rouached, M., Perrin, O., Godart, C.: A contract-based approach for monitoring collaborative web services using commitments in the event calculus. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol. 3806, pp. 426–434. Springer, Heidelberg (2005)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Comput. 4, 67–95 (1986)
Reiter, R.: On closed world data bases. Logic and Data Bases 55–76 (1977)
McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artif. Intell. 13, 27–39 (1980)
Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Ann. Math. Artif. Intell. 42, 227–253 (2004)
Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3, 2–20 (2004)
Governatori, G., Hoang, D.: A semantic web based architecture for e-contracts in defeasible logic. In: 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, pp. 145–159 (2005)
Nute, D.: Defeasible logic. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 353–395. Oxford University Press, Oxford (1994)
Paschke, A., Bichler, M., Dietrich, J.: ContractLog: An approach to rule based monitoring and execution of service level agreements. In: 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, pp. 209–217 (2005)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
Daskalopulu, A.: Modeling legal contracts as processes. In: Legal Information Systems Applications, 11th International Workshop on Database and Expert Systems Applications, pp. 1074–1079. IEEE Computer Society Press, Los Alamitos (2000)
Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatisations. Electron. Trans. Artif. Intell. 3, 77–105 (1999)
Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)
Vila, L., Yoshino, H.: Time in automated legal reasoning. Technical Report ICS-TR-96-57 (1996)
Antoniou, G.: A tutorial on default logics. ACM Computer Surveys 31, 337–359 (1999)
Lifschitz, V.: Success of default logic. In: Levesque, H., Pirri, F. (eds.) Logical Foundations for Cognitive Agents: Contributions in Honour of Ray Reiter, pp. 208–212. Springer, Heidelberg (1999)
Giannikis, G.K., Daskalopulu, A.: Defeasible reasoning with e-contracts. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, pp. 690–694. IEEE Computer Society, Los Alamitos (2006)
Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. J. Log. Program. 31, 245–298 (1997)
Schaub, T.: On constrained default theories. In: 17th European Conference on Artificial Intelligence, pp. 304–308 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Giannikis, G.K., Daskalopulu, A. (2007). The Representation of e-Contracts as Default Theories. In: Okuno, H.G., Ali, M. (eds) New Trends in Applied Artificial Intelligence. IEA/AIE 2007. Lecture Notes in Computer Science(), vol 4570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73325-6_96
Download citation
DOI: https://doi.org/10.1007/978-3-540-73325-6_96
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73322-5
Online ISBN: 978-3-540-73325-6
eBook Packages: Computer ScienceComputer Science (R0)