First-order probabilistic conditional logic and maximum entropy
Jens Fisseler · Logic Journal of IGPL · 2012
Combining probability and first-order logic has been the subject of intensive research during the last 10 years. This artical introduces first-order probabilistic conditional logic (FO-PCL), a first-order extension of a propositional probabilistic logic formalism, which allows for the adequate representation of probabilistic if-then-rules. We demonstrate that our novel formalism allows to represent uncertain knowledge that cannot easily be represented by other formalisms combining first-order logic and probability. Furthermore, as the representation of the models of FO-PCL requires solving a complex entropy-optimization problem, we develop syntactic conditions for its simplification.