REPRESENTING BUSINESS CONTRACTS INRuleML
Top Cited Papers
- 1 June 2005
- journal article
- research article
- Published by World Scientific Pub Co Pte Ltd in International Journal of Cooperative Information Systems
- Vol. 14 (02n03) , 181-216
- https://doi.org/10.1142/s0218843005001092
Abstract
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 are 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.Keywords
This publication has 24 references indexed in Scilit:
- Argumentation Semantics for Defeasible LogicJournal of Logic and Computation, 2004
- Defeasible logic with dynamic prioritiesInternational Journal of Intelligent Systems, 2004
- Representing e-commerce rules via situated courteous logic programs in RuleMLElectronic Commerce Research and Applications, 2004
- The eXtensible Rule Markup LanguageCommunications of the ACM, 2003
- Deontic Logic and Contrary-to-DutiesPublished by Springer Nature ,2002
- EFFICIENT DEFEASIBLE REASONING SYSTEMSInternational Journal on Artificial Intelligence Tools, 2001
- Representation results for defeasible logicACM Transactions on Computational Logic, 2001
- The Blackwell Guide to Philosophical LogicPublished by Wiley ,2001
- The Many Faces of Defeasibility in Defeasible Deontic LogicPublished by Springer Nature ,1997
- A mathematical treatment of defeasible reasoning and its implementationArtificial Intelligence, 1992