Ng, Kee Siong; Lloyd, John; Uther, William T.B.
This 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.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.