Conflict resolution using logic programming
- 14 January 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 15 (1) , 244-249
- https://doi.org/10.1109/tkde.2003.1161596
Abstract
This paper addresses issues involved in applying the event-condition-action (ECA) rule paradigm of active databases to policies-collections of general principles specifying the desired behavior of a system. We use a declarative policy description language, PDL, in which policies are formulated as sets of ECA rules. The main contribution of the paper is a framework for detecting action conflicts and finding resolutions for them. Conflicts are captured as violations of action constraints. The semantics of rules and conflict detection and resolution are defined axiomatically using logic programs. Given a policy and a set of action constraints, the framework defines a range of monitors that filter the output of the policy to satisfy the constraints.Keywords
This publication has 27 references indexed in Scilit:
- On updates and inconsistency repairing in knowledge basesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Netmon: network management for the SARAS softswitchPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Querying Inconsistent DatabasesPublished by Springer Nature ,2002
- The Ponder Policy Specification LanguagePublished by Springer Nature ,2001
- A declarative approach to business rules in contractsPublished by Association for Computing Machinery (ACM) ,1999
- High-level constructs in the READY event notification systemPublished by Association for Computing Machinery (ACM) ,1998
- Disjunctive datalogACM Transactions on Database Systems, 1997
- Updating knowledge bases while maintaining their consistencyThe VLDB Journal, 1995
- Policies in network and systems management—Formal definition and architectureJournal of Network and Systems Management, 1994
- Managing communication networks by monitoring databasesIEEE Transactions on Software Engineering, 1991