Merging with integrity constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1638, Issue , 1999, Pages 233-244

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

^a UNIV LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

BELIEF REVISION; INTEGRITY CONSTRAINTS; KNOWLEDGE BASE; LOGICAL CHARACTERIZATION; MERGING OPERATORS; REPRESENTATION THEOREM; REVISION OPERATOR;

MERGING;

EID: 84947941914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48747-6_22     Document Type: Conference Paper

References (19)

1. C. E. Alcliourró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. Wiley, New York, second edition, 1963.
3. C. Baral, S. Kraus, J. Minker, and V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8(1):45-71, 1992.
4. 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), pages 466-477.
5. S. Benferhat., D. Dubois, and H. Prade. A computational model for belief change and fusing ordered belief bases. In Frontiers in Belief revision. Kluwer, 1999. To appear.
6. M. Dalai. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of AAAI-88, pages 475-479, 1988.
7. P. Gärdenfors. Knowledge in flux. MIT Press, 1988.
8. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319-379, 1992.
9. H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263-294, 1991.
10. J. S. Kelly. Arrow impossibility theorems. Series in economic theory and mathematical economics. Academic Press, New York, 1978.
11. 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), pages 488-498, 1998.
12. S. Konieczny and R. Pino Pérez. Merging with integrity constraints. Technical Report 99-01x, LIFL, 1999. http://www.lifl.ir/GNOM/Eirticles/it9901.ps.
13. P. Liberatore and M. Scliaerf. Arbitration: A commutative operator for belief revision. In Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, pages 217-228, 1995.
14. P. Liberatore and M. Scliaerf. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering, 10(1):76-90, 1998.
15. J. Lin. Integration of weighted knowledge bases. Artificial Intelligence, 83(2):363-378, 1996.
16. J. Lin and A. O. Mendelzon. Knowledge base merging by majority. Manuscript.
17. H. Moulin. Axioms of cooperative decision making. Monograph of the Econometric Society. Cambridge University Press, 1988.
18. th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, pages 71-92, 1993.
19. P. Z. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, 7(2):133-160, 1997.