English

How to reason with inconsistent probabilistic information?

Logic in Computer Science 2020-12-01 v2

Abstract

A recent line of research has developed around logics of belief based on evidence. The approach of B\'ilkov\'a et al understands belief as based on information confirmed by a reliable source. We propose a finer analysis of how belief can be based on information, where the confirmation comes from multiple possibly conflicting sources and is of a probabilistic nature. We use Belnap-Dunn logic and its probabilistic extensions to account for potentially contradictory information on which belief is grounded. We combine it with an extension of Lukasiewicz logic, or a bilattice logic, within a two-layer modal logical framework to account for belief.

Keywords

Cite

@article{arxiv.2003.12906,
  title  = {How to reason with inconsistent probabilistic information?},
  author = {Marta Bílková and Sabine Frittella and Ondrej Majer and Sajad Nazari},
  journal= {arXiv preprint arXiv:2003.12906},
  year   = {2020}
}
R2 v1 2026-06-23T14:30:32.755Z