Title :
Defeasible Reasoning with e-Contracts
Author :
Giannikis, Georgios K. ; Daskalopulu, Aspassia
Author_Institution :
Dept. of Comput. & Commun. Eng., Thessaly Univ., Volos
Abstract :
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.
Keywords :
contracts; electronic commerce; formal logic; nonmonotonic reasoning; business exchange; default logic; defeasible reasoning; e-contract; event calculus; Artificial intelligence; Business communication; Calculus; Consumer electronics; Contracts; Delay effects; Intelligent agent; Knowledge management; Logic; Monitoring;
Conference_Titel :
Intelligent Agent Technology, 2006. IAT '06. IEEE/WIC/ACM International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2748-5
DOI :
10.1109/IAT.2006.51
