A Logic-based Tractable Approximation of Probability
Logic in Computer Science
2022-05-09 v1 Artificial Intelligence
Abstract
We provide a logical framework in which a resource-bounded agent can be seen to perform approximations of probabilistic reasoning. Our main results read as follows. First we identify the conditions under which propositional probability functions can be approximated by a hierarchy of depth-bounded Belief functions. Second we show that under rather palatable restrictions, our approximations of probability lead to uncertain reasoning which, under the usual assumptions in the field, qualifies as tractable.
Cite
@article{arxiv.2205.03198,
title = {A Logic-based Tractable Approximation of Probability},
author = {Paolo Baldi and Hykel Hosni},
journal= {arXiv preprint arXiv:2205.03198},
year = {2022}
}