2022/01/26 by Milch, Brian, Marthi, Bhaskara, Russell, Stuart +3
#Knowledge representation #first-order logic #identity uncertainty #probability #unknown objects
paper · doi:10.4230/dagsemproc.05051.4
We introduce BLOG, a formal language for defining probability models with unknown objects and identity uncertainty. A BLOG model describes a generative process in which some steps add objects to the world, and others determine attributes and relations on these objects. Subject to certain acyclicity constraints, a BLOG model specifies a unique probability distribution over first-order model structures that can contain varying and unbounded numbers of objects. Furthermore, inference algorithms exist for a large class of BLOG models.