Conflict Resolution Using Logic Programming

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.

[1]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[2]  Hans Kleine Büning,et al.  Inconsistency of Production Systems , 1989, Data Knowl. Eng..

[3]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[4]  Yechiam Yemini,et al.  Managing Communication Networks by Monitoring Databases , 1991, IEEE Trans. Software Eng..

[5]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[6]  Bruce G. Lindsay,et al.  On Maintaining Priorities in a Production Rule System , 1991, VLDB.

[7]  Morris Sloman,et al.  Policies Hierarchies for Distributed Systems Management , 1993, IEEE J. Sel. Areas Commun..

[8]  B. Wuthrich.  On updates and inconsistency repairing in knowledge bases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[9]  Morris Sloman,et al.  Policy Conflict Analysis in Distributed System Management , 1994 .

[10]  Masum Z. Hasan,et al.  An active temporal model for network management databases , 1995, Integrated Network Management.

[11]  Jennifer Widom,et al.  Active Database Systems , 1995, Modern Database Systems.

[12]  Benjamin W. Wah,et al.  Editorial: Two Named to Editorial Board of IEEE Transactions on Knowledge and Data Engineering , 1996 .

[13]  Alberto O. Mendelzon,et al.  Managing conflicts between rules (extended abstract) , 1996, PODS '96.

[14]  T. Koch,et al.  Policy definition language for automated management of distributed systems , 1996, Proceedings of IEEE International Workshop on System Management.

[15]  Carlo Zaniolo,et al.  Temporal aggregation in active database rules , 1997, SIGMOD '97.

[16]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[17]  Balachander Krishnamurthy,et al.  High-level constructs in the READY event notification system , 1998, EW 8.

[18]  Victoria Ungureanu,et al.  A mechanism for establishing policies for electronic commerce , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[19]  Alberto O. Mendelzon,et al.  Managing Conflicts Between Rules , 1999, J. Comput. Syst. Sci..

[20]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[21]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, II: Algorithms and Complexity , 1999, Artif. Intell..

[22]  Jorge Lobo,et al.  A Policy Description Language , 1999, AAAI/IAAI.

[23]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[24]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[25]  Luigi Palopoli,et al.  More on tractable disjunctive Datalog , 2000, J. Log. Program..

[26]  Jorge Lobo,et al.  A Logic Programming Approach to Conflict Resolution in Policy Management , 2000, KR.

[27]  Sergio Greco,et al.  Querying Inconsistent Databases , 2000, LPAR.

[28]  Aashu Virmani,et al.  Netmon: network management for the SARAS softswitch , 2000, NOMS 2000. 2000 IEEE/IFIP Network Operations and Management Symposium 'The Networked Planet: Management Beyond 2000' (Cat. No.00CB37074).

[29]  Jan Chomicki,et al.  Specifying and Querying Database Repairs using Logic Programs with Exceptions , 2000, FQAS.

[30]  Sergio Greco,et al.  A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases , 2001, ICLP.

[31]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[32]  Jorge Lobo,et al.  Monitors for History-Based Policies , 2001, POLICY.

[33]  Timos K. Sellis,et al.  Supporting inconsistent rules in database systems , 1992, Journal of Intelligent Information Systems.

[34]  Antoni Olivé,et al.  Updating knowledge bases while maintaining their consistency , 1995, The VLDB Journal.

[35]  René Wies,et al.  Policies in network and systems management—Formal definition and architecture , 1994, Journal of Network and Systems Management.