Probabilistic Logic and Induction


We give a probabilistic interpretation of first-order formulas based on Valiants model of pac-learning. We study the resulting notion of probabilistic or approximate truth and take some first steps in developing its model theory. In particular we show that every fixed error parameter determining the precision of universal quantification gives rise to a different class of tautologies. Finally we study the inductive inference of first-order formulas from atomic truths.

DOI: 10.1093/logcom/exi032

Extracted Key Phrases

Cite this paper

@article{Terwijn2005ProbabilisticLA, title={Probabilistic Logic and Induction}, author={Sebastiaan Terwijn}, journal={J. Log. Comput.}, year={2005}, volume={15}, pages={507-515} }