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
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IAT.2006.51
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.
Citation:
Georgios K. Giannikis, Aspassia Daskalopulu, "Defeasible Reasoning with e-Contracts," iat, pp.690-694, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||