Probabilistic and Logical Beliefs [chapter]

John W. Lloyd, Kee Siong Ng
2008 Lecture Notes in Computer Science  
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability. An illustrative example is given to motivate the usefulness of the ideas in agent applications.
doi:10.1007/978-3-540-85058-8_2 fatcat:s7dfkxypangtrgkj25yu6dff2i