Probabilities on Sentences in an Expressive Logic

Marcus Hutter, John W. Lloyd, Kee Siong Ng +1

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 p…