Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory

European Journal of Operational Research

Volumn 160, Issue 3 SPEC. ISS., 2005, Pages 785-802

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

^a UNIVERSITÉ PAUL SABATIER   (France)

^b FACULTAD DE CIENCIAS   (Venezuela)

Author keywords

Artificial intelligence; Belief merging; Group decisions and negotiations; Knowledge based systems

Indexed keywords

CONSTRAINT THEORY; DECISION THEORY; KNOWLEDGE BASED SYSTEMS; MERGING; OPERATIONS RESEARCH;

BELIEF MERGING; GROUP DECISIONS AND NEGOTIATIONS; MERGING OPERATORS;

ARTIFICIAL INTELLIGENCE;

EID: 4444223992     PISSN: 03772217     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ejor.2003.06.039     Document Type: Conference Paper

References (25)

1. Alchourrón C.E., Gärdenfors P.G., Makinson D. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic. 50:1985;510-530.
2. Arrow K.J. Social choice and individual values. second ed. 1963;Wiley, New York.
3. Arrow K.J., Sen A.K., Suzumura K. Handbook of Social Choice and Welfare. 2002;Elsevier.
4. Baral C., Kraus S., Minker J., Subrahmanian V.S. Combining knowledge bases consisting of first-order theories. Computational Intelligence. 8(1):1992;45-71.
5. Cholvy L. Reasoning about merged information. Gabbay D.M., Smets P.H. Handbook of Defeasible Reasoning and Uncertainty Management Systems. vol. 3:1998;233-263 Kluwer Academic.
6. Cholvy L., Hunter T. Fusion in logic: A brief overview. Proceedings of the Fourth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'97). Lecture Notes in Computer Science. vol. 1244:1997;86-95.
7. M. Dalal, Investigations into a theory of knowledge base revision: Preliminary report, in: Proceedings of the National Conference on Artificial Intelligence (AAAI'88), 1988, pp. 475-479.
8. MarquisdeCondorcet, Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix, Paris, 1785.
9. Gärdenfors P. Knowledge in Flux. 1988;MIT Press.
10. Gärdenfors P. Belief Revision. 1992;Cambridge University Press.
11. Halpern J., Moses Y. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence. 54(3):1992;319-379.
12. Katsuno H., Mendelzon A.O. Prepositional knowledge base revision and minimal change. Artificial Intelligence. 52:1991;263-294.
13. Kelly J.S. Arrow Impossibility Theorems. Series in Economic Theory and Mathematical Economics. 1978;Academic Press, New York.
14. Kelly J.S. Social Choice Theory: An Introduction. 1988;Springer-Verlag.
15. 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), 2000, pp. 135-144.
16. S. Konieczny, 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), 1998, pp. 488-498.
17. Konieczny S., Pino Pérez R. Merging with integrity constraints. Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99). Lecture Notes in Artificial Intelligence. vol. 1638:1999;233-244.
18. Konieczny S., Pino Pérez R. Merging information under constraints: A logical framework. Journal of Logic and computation. 12(5):2002;773-808.
19. Liberatore P., Schaerf M. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering. 10(1):1998;76-90.
20. Lin J., Mendelzon A.O. Knowledge base merging by majority. Dynamic Worlds: From the Frame Problem to Knowledge Management. 1999;Kluwer.
21. Moulin H. Axioms of cooperative decision making. Monograph of the Econometric Society. 1988;Cambridge University Press.
22. Pareto V. Cours d'économie Politique. 1897;Rouge, Lausanne.
23. P.Z. Revesz, On the semantics of theory change: arbitration between old and new information, in: Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, 1993, pp. 71-92.
24. Revesz P.Z. On the semantics of arbitration. International Journal of Algebra and Computation. 7(2):1997;133-160.
25. Sen A.K. Collective choice and social welfare. Advanced Textbooks in Economics. 1979;Elsevier.