View article

Kimbrough's Disquotation Theory, a formal theory about sentences that embed propositional content, expounds the fulfillment and violation conditions for speech acts such as asserting, permitting, and obliging. This paper aims to show how the theory can be profitably applied to the creation of computational environments for monitoring and enforcing electronic commerce contracts using pervasive, mainstream industrial technologies such as Java and relational databases. We examine the notion of an occurrence and provide a structural representation of this abstraction. We show how contractual provisions – obligations, permissions, prohibitions, and powers – can be stored, monitored, and enforced. A query overlap determination mechanism is applied to the problem of monitoring occurrences and analyzing contractual provisions for conflicts. The work presented here demonstrates that, with certain …