DR-CONTRACT: an architecture for e-contracts in defeasible logic. (19th January 2010)

• Record Type: Journal Article
• Authors: Governatori, Guido; Pham, Duy Hoang
• Is Part Of: International journal of business process integration and management. Volume 4:Number 3(2009)
• Page Start: 187
• Page End: 199
• Publication Date: 2010-01-19
• Subjects: defeasible logic -- violations -- e-contracts -- electronic contracts -- deontic logic -- contract monitoring -- formal representation -- formal language; Business -- Computer networks -- Periodicals; Industrial management -- Periodicals; 658.054605
• Languages: English
• ISSNs: 1741-8763

Abstract

We introduce the DR-CONTRACT architecture to represent and reason on e-contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in defeasible logic.