Conflict resolution using logic programming

IEEE Transactions on Knowledge and Data Engineering

Volumn 15, Issue 1, 2003, Pages 244-249

  Chomicki, Jan ^a   Lobo, Jorge ^b   Naqvi, Shamim ^c  

^a the State University of New York   (United States)

^b Teltier Technologies   (United States)

^c Winphoria Networks   (United States)

Author keywords

Action constraint; Active rules; Conflict resolution; Event action; Policy

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; SEMANTICS; TRANSDUCERS;

POLICY DESCRIPTION LANGUAGE (PDL);

DATABASE SYSTEMS;

EID: 0037249177     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/tkde.2003.1161596     Document Type: Article

References (36)

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. Farell, E. Kant, and N. Martin, Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.
6. H. Kleine Brining, 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. Gottllob, 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. First ACM Conf. Electronic Commerce, M.P. Wellman, ed., Nov. 1999.
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.A. Ross, and J.S. Sehlipf, "The Well-Founded Semantics for General Logic Programs," J. ACM (JACM), vol. 38, no. 3, pp. 619-649, 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. Kramer, "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. SIGMOD, May 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. Olioé, "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.