2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06)
Defeasible Reasoning with e-Contracts
Hong Kong, China
December 18-December 22
ISBN: 0-7695-2748-5
We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative state of a business exchange in the presence of incomplete or inaccurate knowledge. More importantly, we may use this representation in Default Logic coupled with priorities, in order to manage normative conflicts dynamically.