A Logic for Reasoning About Evidence

JAIR 2006 pp. 1-34

doi:10.1613/JAIR.1838 /jair/2006/halpern2006jair-logic/

Abstract

We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete axiomatization for the logic, and consider the complexity of the decision problem. Although the reasoning in the logic is mainly propositional, we allow variables representing numbers and quantification over them. This expressive power seems necessary to capture important properties of evidence.

PDF JAIR Semantic Scholar

Cite

Text

Halpern and Pucella. "A Logic for Reasoning About Evidence." Journal of Artificial Intelligence Research, 2006. doi:10.1613/JAIR.1838

Markdown

[Halpern and Pucella. "A Logic for Reasoning About Evidence." Journal of Artificial Intelligence Research, 2006.](https://mlanthology.org/jair/2006/halpern2006jair-logic/) doi:10.1613/JAIR.1838

BibTeX

@article{halpern2006jair-logic,
  title     = {{A Logic for Reasoning About Evidence}},
  author    = {Halpern, Joseph Y. and Pucella, Riccardo},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2006},
  pages     = {1-34},
  doi       = {10.1613/JAIR.1838},
  volume    = {26},
  url       = {https://mlanthology.org/jair/2006/halpern2006jair-logic/}
}