Title :
On obligation, time, and defeasibility in systems for electronic commerce
Author :
Kimbrough, Steven O. ; Moore, Scott A.
Author_Institution :
Sch. of Bus. Adm., Michigan Univ., Ann Arbor, MI, USA
Abstract :
A logical system is proposed for storing and reasoning about business messages. This system is envisioned to have mechanisms for reasoning defeasibly, reasoning about time, and reasoning about obligation. The authors describe how these capabilities allow the asking of questions that could otherwise not be asked about a message database. Further research opportunities are described
Keywords :
commerce; inference mechanisms; knowledge based systems; business messages; defeasibility; electronic commerce; message database; reasoning about obligation; reasoning about time; Companies; Contracts; Electronic commerce; Formal languages; Impedance; Information systems; Protocols; Relational databases; Robustness;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284349
