Abstract
This paper addresses the problem of merging beliefs provided by several sources which can be contradictory.
Among the different methods for managing contradictions, this paper focuses on the one which takes into account the number of sources that support a piece of information and their reliability degrees as well. More precisely, this paper presents a modal logic, extending KD logic, for reasoning with merged beliefs accordingly. It also shows that this logic unifies two different logics that have been defined in the past.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering 3(2), 208–220 (1991)
Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first order theories. Computational Intelligence 8(1), 45–71 (1992)
Chellas, B.F.: Modal logic, an introduction. Cambridge University Press, Cambridge (1980)
Cholvy, L.: Proving theorems in a multi-sources environment. In: Proceedings of IJCAI, pp. 66–71 (1993)
Cholvy, L.: Reasoning about merged information. In: Handbook of defeasible reasoning and uncertainty management, vol. 1. Kluwer Academic Publishers, Dordrecht (1998)
Cholvy, L.: Information evaluation in fusion: a case study. In: Proceedings of Information Processing and Management of Uncertainty Conference (IPMU), Perugia (July 2004)
Cholvy, L., Garion, C.: Answering queries adressed to several databases according to a majority merging approach. Journal of Intelligent Information Systems 22(2) (2004)
Cholvy, L., Garion, C.: A logic to reason an contradictory beliefs with a majority approach. In: Proceedings of the IJCAI 2001 Workshop: Inconsistencies in Data and Knowledge, Seattle (August 2001)
Konieczny, S., Pino-Pérez, R.: Merging with integrity constraints. In: Proc. of ESCQARU 1999 (1999)
Konieczny, S., Pino-Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)
Konieczny, S., Pino-Pérez, R.: Propositional belief base merging or how to merge beliefs/goals from several sources ans some links with social choice theory. European Journal of Operational Research 160, 785–802 (2005)
Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: Proc. of KR 1998, Trento (1998)
Liau, C.: A conservative approach to distributed belief fusion. In: Proceedings of 3rd International Conference on Information Fusion, FUSION (2000)
Liau, C.J.: Belief fusion and revision: an overview based on epistmic logic semantics. Journal of Applied Non-Classical Logics 14(3), 247–274 (2004)
Liau, C.J.: A modal logic framework for multi-agent belief fusion. ACM Transactions on Computational Logic 6(1), 124–174 (2005)
Liberatore, P., Schaerf, M.: Arbitration: A commutative operator for belief revision. In: Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI 1995), pp. 217–228. Angkor Press (1995)
Lin, J.: Integration of weighted knowledge bases. Artificial Intelligence 83, 363–378 (1996)
Lin, J., Mendelzon, A.O.: Merging databases under constraints. International Journal of Cooperative Information Systems 7(1), 55–76 (1998)
Lin, J., Mendelzon, A.O.: Knowledge base merging by majority. In: Pareschi, R., Fronhoefer, B. (eds.) Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer Academic, Dordrecht (1999)
North Atlantic Treaty Organization (NATO). Annex to stanag (edition 8). Technical report, Information Handling Services, DODSID, Issue DW9705 (2022)
Pradhan, S., Minker, J., Subrahmanian, V.S.: Combining databases with prioritized information. Journal of Intelligent Information Systems 4, 231–260 (1995)
Benferhat, S., Dubois, D., Lang, J., Prade, H., Saffiotti, A., Smets, P.: A general approach for inconsistency handling and merging information in prioritized knowledge bases. In: Proc. of KR 1998, Trento (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cholvy, L. (2005). A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources. In: Godo, L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2005. Lecture Notes in Computer Science(), vol 3571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518655_34
Download citation
DOI: https://doi.org/10.1007/11518655_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27326-4
Online ISBN: 978-3-540-31888-0
eBook Packages: Computer ScienceComputer Science (R0)