This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Conflict Resolution Using Logic Programming
January/February 2003 (vol. 15 no. 1)
pp. 244-249
Jan Chomicki, IEEE Computer Society
Jorge Lobo, IEEE

Abstract—This paper addresses some 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 {\cal{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 to these conflicts. 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] R. Agrawal, R. Cochrane, and B.G. Lindsay, “On Maintaining Priorities in a Production Rule System,” Proc. VLDB Conf., pp. 479-487, 1991.
[2] M. Arenas, L. Bertossi, and J. Chomicki, “Consistent Query Answers in Inconsistent Databases,” Proc. ACM Symp. Principles of Database Systems, pp. 68-79, 1999.
[3] M. Arenas, L. Bertossi, and J. Chomicki, “Specifying and Querying Database Repairs Using Logic Programs with Exceptions,” Proc. Int'l Conf. Flexible Query Answering Systems, pp. 27-41, 2000.
[4] R. Ben-Eliyahu-Zohary, L. Palopoli, and V. Zemlyanker, “More on Tractable Disjunctive Datalog,” J. Logic Programming, vol. 46, pp. 61-101, 2000.
[5] L. Brownston,R. Farrell,E. Kant, and N. Martin,Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming. Addison Wesley, 1985.
[6] H. Kleine Büning, U. Löwen, and S. Schmitgen, “Inconsistency of Production Systems,” J. Data and Knowledge Eng., vol. 3, pp. 245-260, 1988/89.
[7] J. Chomicki, J. Lobo, and S. Naqvi, “Axiomatic Conflict Resolution in Policy Management,” Technical Report ITD-99-36448R, Bell Labs, Feb. 1999.
[8] J. Chomicki, J. Lobo, and S. Naqvi, “A Logic Programming Approach to Conflict Resolution in Policy Management,” Proc. Seventh Int'l Conf. Principles of Knowledge Representation and Reasoning, F. Giunchiglia, A.G. Cohn, and B. Selman, eds., pp. 121-132, 2000.
[9] J. Chomicki and J. Lobo, “Monitors for History-Based Policies,” Policies for Distributed Systems and Networks, pp. 57-72, 2001.
[10] N. Damianou, N. Dulay, E. Lupu, and E. Sloman, “The Ponder Policy Specification Language,” Policies for Distributed Systems and Networks, pp. 18-38, 2001.
[11] B.A. Davey and H.A. Priestley, Introduction to Lattices and Order. Cambridge Univ. Press, 1990.
[12] T. Eiter, G. Gottlob, and H. Mannila, “Disjunctive Datalog,” ACM Trans. Database Systems, vol. 22, no. 3, pp. 364-418, 1997.
[13] T. Eiter and V.S. Subrahmanian, “Heterogeneous Active Agents, II: Algorithms and Complexity,” Artificial Intelligence, vol. 108, pp. 257-307, Mar. 1999.
[14] T. Eiter, V.S. Subrahmanian, and G. Pick, “Heterogeneous Active Agents, I: Semantics,” Artificial Intelligence, vol. 108, pp. 179-255, Mar. 1999.
[15] M. Gelfond and V. Lifschitz, “Classical Negation in Logic Programs and Disjunctive Databases,” New Generation Computing, vol. 9, nos. 3/4, pp. 365-386, 1991.
[16] G. Greco, S. Greco, and E. Zumpano, “A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases,” Proc. Int'l Conf. Logic Programming, pp. 348-364, 2001.
[17] S. Greco and E. Zumpano, “Querying Inconsistent Databases,” Proc. Int'l Conf. Logic for Programming and Automated Reasoning, pp. 308-325, 2000.
[18] B.N. Grosof, Y. Labrou, and H.Y. Chan, "A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML," Proc. 1st ACM Conf. Electronic Commerce(EC 99), ACM Press, New York, 1999, pp. 68-77.
[19] R.E. Gruber, B. Krishnamurthy, and E. Panagos, “High-Level Constructs in the READY Event Notification System,” Proc. Eighth ACM SIGOPS European Workshop, Sept. 1998.
[20] A. van Gelder,K. Ross, and J.S. Schlipf,"The well-founded semantics for general logic programs," J. ACM, vol. 38, no. 3, pp. 620-650, July 1991.
[21] M.Z. Hasan, “An Active Temporal Model for Network Management Databases,” Proc. IFIP/IEEE Fourth Int'l Symp. Integrated Network Management, pp. 524-535, May 1995.
[22] Y.E. Ioannidis and T.K. Sellis, “Supporting Inconsistent Rules in Database Systems,” J. Intelligent Information Systems, vol. 1, nos. 3/4, 1992.
[23] H.V. Jagadish, A.O. Mendelzon, and I.S. Mumick, “Managing Conflicts Between Rules,” Proc. 15th ACM SIGACT/SIGMOD Symp. Principles of Database Systems, pp. 192-201, 1996.
[24] T. Koch, C. Krell, and B. Krämer, “Policy Definition Language for Automated Management of Distributed Systems,” Proc. Second Int'l Workshop Systems Management, June 1996.
[25] J. Lobo, R. Bhatia, and S. Naqvi, “A Policy Description Language,” Proc. AAAI, July 1999.
[26] N.H. Minsky and V. Ungureanu, “A Mechanism for Establishing Policies for Electronic Commerce,” Proc. 18th Int'l Conf. Distributed Computing Systems, May 1998.
[27] J. Moffett and M.S. Sloman, “Policy Hierarchies for Distributed System Management,” IEEE JSAC, vol. 11, no. 9, 1993.
[28] J.D. Moffett and M.S. Sloman, “Policy Conflict Analysis in Distributed System Management,” J. Organizational Computing, vol. 4, no. 1, pp. 11-22, 1994.
[29] I. Motakis and C. Zaniolo, “Temporal Aggregation in Active Database Rules,” Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 440-451, 1997.
[30] Policies for Distributed Systems and Networks, M. Sloman, J. Lobo, and E.C. Lupu, eds. Springer-Verlag, 2001.
[31] E. Teniente and A. Olivé, “Updating Knowledge Bases while Maintaining Their Consistency,” VLDB J., vol. 4, pp. 193-241, 1995.
[32] A. Virmani, J. Lobo, and M. Kohli, “NETMON: Network Management for the SARAS Softswitch,” Proc. IEEE/IFIP Network Operations and Management Symp., Apr. 2000.
[33] J. Widom and S. Ceri, Active Database Systems. Morgan-Kaufmann, 1995.
[34] R. Wies, “Policies in Network and System Management—Formal Definition and Architecture,” J. Network and System Management, vol. 2, no. 1, pp. 63-83, 1994.
[35] O. Wolfson, S. Sengupta, and Y. Yemini, “Managing Communication Networks by Monitoring Databases,” IEEE Trans. Software Eng., vol. 17, no. 9, pp. 944-953, Sept. 1991.
[36] B. Wüthrich, “On Updates and Inconsistency Repairing in Knowledge Bases,” Proc. IEEE Int'l Conf. Data Eng., 1993.

Index Terms:
Policy, action constraint, conflict resolution, active rules, event, action.
Citation:
Jan Chomicki, Jorge Lobo, Shamim Naqvi, "Conflict Resolution Using Logic Programming," IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 1, pp. 244-249, Jan.-Feb. 2003, doi:10.1109/TKDE.2003.1161596
Usage of this product signifies your acceptance of the Terms of Use.