Probabilistic Modelling, Inference and Learning using Logical Theories
Contributor(s)The Pennsylvania State University CiteSeerX Archives
Full recordShow full item record
AbstractThis paper provides a study of probabilistic modelling, inference and learning in a logic-based setting. We show how probability densities, being functions, can be represented and reasoned with naturally and directly in higher-order logic, an expressive formalism not unlike the (informal) everyday language of mathematics. We give efficient inference algorithms and illustrate the general approach with a diverse collection of applications. Some learning issues are also considered.