Probabilities on Sentences in an Expressive Logic

  title={Probabilities on Sentences in an Expressive Logic},
  author={Marcus Hutter and John W. Lloyd and Kee Siong Ng and William T. B. Uther},
  journal={J. Applied Logic},
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 probability. We address this problem directly. Expressive languages like higherorder logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is… CONTINUE READING