Merging information under constraints: A logical framework

Journal of Logic and Computation

Volumn 12, Issue 5, 2002, Pages 773-808

  Konieczny, Sébastien ^a   Pérez, Ramón Pino ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Belief revision; Integrity constraints; Logic based merging

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; EXPERT SYSTEMS; FORMAL LOGIC; MERGING;

BELIEF REVISION; INTEGRITY CONSTRAINTS; LOGIC-BASED MERGING;

COMPUTER SCIENCE;

EID: 0036797666     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.5.773     Document Type: Article

References (38)

1. C.E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510-530, 1985.
2. K.J. Arrow. Social Choice and Individual Values, second edition. Wiley, New York, 1963.
3. C. Baral, S. Kraus, and J. Minker. Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 3, 208-220, 1991.
4. C. Baral, S. Kraus, J. Minker, and V.S. Subrahmanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8, 45-71, 1992.
5. C. Batini and M. Lenzerini. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18, 323-364, 1986.
6. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 640-645, 1993.
7. S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffioti, and P. Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 466-477, 1998.
8. A. Borgida and T. Imielinski. Decision making in committees: A framework for dealing with inconsistency and non-monotonicity. In Proceedings Workshop on Nonmonotonic Reasoning, pp. 21-32, 1984.
9. G. Brewka. Preferred subtheories: an extended logical framework for default reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89), pp. 1043-1048, 1989.
10. S. Chawathe, H. Garcia Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom. The tsimmis project: Integration of heterogeneous information sources. In Proceedings of IPSJ Conference, pp. 7-18, 1994.
11. L. Cholvy. Reasoning about merged information. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 3, D.M. Gabbay and Ph. Smets, eds, pp. 233-263. Kluwer Academic Publishers, Dordrecht, 1998.
12. L. Cholvy and T. Hunter. Fusion in logic: a brief overview. In Proceedings of the Fourth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'97), Lecture Notes in Computer Science 1244, pp. 86-95, 1997.
13. M. Dalal. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of the National Conference on Artificial Intelligence (AAAI'88), pp. 475-479, 1988.
14. D. Dubois, H. Fargier, and H. Prade. Refinements of the max-min approach to decision-making in fuzzy environment. Fuzzy Sets and Systems, 81, 103-122, 1996.
15. A. Elmagarmid, M. Rusinliewicz, and A. Sheth, editors. Management of Heterogeneous and Autonomous Database Systems. Morgan Kaufmann, San Francisco, CA, 1999.
16. P. Gärdenfors. Knowledge in Flux. MIT Press, Cambridge, MA, 1988.
17. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
18. H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 263-294, 1991.
19. J.S. Kelly. Arrow Impossibility Theorems. Series in economic theory and mathematical economics. Academic Press, New York, 1978.
20. W. Kim, editor. Modern Database Systems: The Object Model, Interoperability and Beyond. Addison Wesley, Reading, MA, 1995.
21. S. Konieczny. On the difference between merging knowledge bases and combining them. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00), pp. 135-144, 2000.
22. S. Konieczny and R. Pino Pérez. On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 488-498, 1998.
23. S. Konieczny and R. Pino Pérez. Merging with integrity constraints. In Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99), Lecture Notes in Artificial Intelligence 1638, pp. 233-244, 1999.
24. P. Liberatore and M. Schaerf. Arbitration: A commutative operator for belief revision. In Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, pp. 217-228, 1995.
25. P. Liberatore and M. Schaerf. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering, 10, 76-90, 1998.
26. J. Lin. Frameworks for Dealing with Conflicting Information and Applications. PhD thesis, University of Toronto, 1995.
27. J. Lin. Integration of weighted knowledge bases. Artificial Intelligence, bf 83, 363-378, 1996.
28. J. Lin and A.O. Mendelzon. Knowledge base merging by majority. In Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer, Dordrecht, 1999.
29. A. Motro. 'integrity = validity + completeness'. In ACM Transactions on Database Systems, 14, 480-502, 1989.
30. H. Moulin. Axioms of Cooperative Decision Making. Monograph of the Econometric Society. Cambridge University Press, Cambridge, 1988.
31. P.Z. Revesz. On the semantics of theory change: arbitration between old and new information. In Proceedings of the Twelvth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, pp. 71-92, 1993.
32. P.Z. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, 7, 133-160, 1997.
33. L.J. Savage. The Foundations of Statistics. Dover Publications, New York, 1971. Second revised edition.
34. A. Silberschatz, M. Stronebraker, and J.D. Ullman. Database systems: Achievements and opportunities. Communications of the ACM, 34, 110-120, 1991.
35. L. Sirounian and W. Grosky. A knowledge model for unifying deductive and non-deductive heterogeneous databases. IEEE Transactions on Knowledge and Data Engineering, 7, 1995.
36. V.S. Subrahmanian. Amalgamating knowledge bases. ACM Transactions on Database Systems, 19, 291-331, 1994.
37. V.S. Subrahmanian, S. Adali, A. Brink, R. Emery, J.J. Lu, A. Rajput, T.J. Rogers, R. Ross, and C. Ward. Hermes: Heterogeneous reasoning and mediator system. http://www.cs.umd.edu//projects/hermes/overview/paper/index.html.
38. J. Ullmann. Information integration using logial views. In Proceedings of the Sixth International Conference on Database Theory, pp. 19-40, 1997.