First-Order Probabilistic Languages: Into the Unknown

  • Authors:
  • Brian Milch;Stuart Russell

  • Affiliations:
  • Computer Science and AI Laboratory, Massachusetts Institute of Technology, 32 Vassar St. Room 32-G480, Cambridge, MA 02139, USA;Computer Science Division, University of California at Berkeley, Berkeley, CA 94720-1776, USA

  • Venue:
  • Inductive Logic Programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.