How to reason with inconsistent probabilistic information?

A recent line of research has developed around logics of belief based on information confirmed by a reliable source. In this paper, we provide a finer analysis and extension of this framework, where the confirmation comes from multiple possibly conflicting sources and is of a probabilistic nature. We combine Belnap-Dunn logic and non-standard probabilities to account for potentially contradictory information within a two-layer modal logical framework to account for belief. The bottom layer is to be that of evidence represented by probabilistic information provided by sources available to an agent. The modalities connecting the bottom layer to the top layer, are that of belief of the agent based on the information from the sources in terms of (various kinds of) aggregation. The top layer is to be the logic of thus formed beliefs.

[1]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[2]  Ali Moallemi,et al.  Intuitionistic Data Exchange , 2015, AMW.

[3]  E. F. Codd,et al.  Understanding Relations (Installment #7) , 1974, FDT Bull. ACM SIGFIDET SIGMOD.

[4]  Ondrej Majer,et al.  Epistemic logics for sceptical agents , 2016, J. Log. Comput..

[5]  Adam Přenosil.  Reasoning with Inconsistent Information , 2018 .

[6]  J. Michael Dunn,et al.  Contradictory Information: Too Much of a Good Thing , 2010, J. Philos. Log..

[7]  Alessandra Palmigiano,et al.  Toward a Dempster-Shafer theory of concepts , 2019, Int. J. Approx. Reason..

[8]  Arnon Avron.  The Structure of Interlaced Bilattices , 1996, Math. Struct. Comput. Sci..

[9]  Diederik Aerts,et al.  New fundamental evidence of non-classical structure in the combination of natural concepts , 2015, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[10]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[11]  Leonid Libkin,et al.  Propositional and Predicate Logics of Incomplete Information , 2021, KR.

[12]  Umberto Rivieccio,et al.  An Algebraic Study of Bilattice-based Logics , 2010, 1010.2552.

[13]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[14]  Chunlai Zhou,et al.  Belief functions on distributive lattices , 2012, Artif. Intell..

[15]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[16]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[17]  Petr Cintula,et al.  Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem , 2014, WoLLIC.

[18]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[19]  Umberto Rivieccio,et al.  Residuated bilattices , 2012, Soft Comput..

[20]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[21]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[22]  Aybüke Özgün,et al.  Justified Belief and the Topology of Evidence , 2016, WoLLIC.