Journal
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Volume 14, Issue 2-3, Pages 181-216Publisher
WORLD SCIENTIFIC PUBL CO PTE LTD
DOI: 10.1142/S0218843005001092
Keywords
defeasible logic; deontic logic; logic of violation; RuleML; business contracts
Categories
Ask authors/readers for more resources
This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language; currently such aspects axe not covered by RuleML; accordingly we show how to extend it to cover such notions. From its logical form, the contract will thus be transformed into a machine readable rule notation and eventually implemented as executable semantics via any mark-up languages depending on the client's preference, for contract monitoring purposes.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available