Probabilities on Sentences in an Expressive Logic

Abstract

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like hig Show more