Inductive Logic Programming

Volume 4455 of the series Lecture Notes in Computer Science pp 10-24

First-Order Probabilistic Languages: Into the Unknown

  • Brian MilchAffiliated withComputer Science and AI Laboratory, Massachusetts Institute of Technology, 32 Vassar St. Room 32-G480, Cambridge, MA 02139
  • , Stuart RussellAffiliated withComputer Science Division, University of California at Berkeley, Berkeley, CA 94720-1776

* Final gross prices may vary according to local VAT.

Get Access


This paper surveys first-order probabilistic languages (FOPLs), which combine the expressive power of first-order logic with a probabilistic treatment of uncertainty. We provide a taxonomy that helps make sense of the profusion of FOPLs that have been proposed over the past fifteen years. We also emphasize the importance of representing uncertainty not just about the attributes and relations of a fixed set of objects, but also about what objects exist. This leads us to Bayesian logic, or BLOG, a language for defining probabilistic models with unknown objects. We give a brief overview of BLOG syntax and semantics, and emphasize some of the design decisions that distinguish it from other languages. Finally, we consider the challenge of constructing FOPL models automatically from data.