{"type":"ScholarlyArticle","title":"BLOG: Probabilistic Models with Unknown Objects","authors":[{"name":"Brian Milch","slug":"brian-milch","given":"Brian","family":"Milch","affiliation":""},{"name":"Bhaskara Marthi","slug":"bhaskara-marthi","given":"Bhaskara","family":"Marthi","affiliation":""},{"name":"Stuart J. Russell","slug":"stuart-j-russell","given":"Stuart J.","family":"Russell","affiliation":""},{"name":"David A. Sontag","slug":"david-a-sontag","given":"David A.","family":"Sontag","affiliation":""},{"name":"Daniel L. Ong","slug":"daniel-l-ong","given":"Daniel L.","family":"Ong","affiliation":""},{"name":"Andrey Kolobov","slug":"andrey-kolobov","given":"Andrey","family":"Kolobov","affiliation":""}],"abstract":"This paper introduces and illustrates BLOG, a formal language for defining probability models over worlds with unknown objects and identity uncertainty. BLOG unifies and extends several existing approaches. Subject to certain acyclicity constraints, every BLOG model specifies a unique probability distribution over first-order model structures that can contain varying and unbounded numbers of objects. Furthermore, complete inference algorithms exist for a large fragment of the language. We also introduce a probabilistic form of Skolemization for handling evidence.","doi":null,"url":"https://ijcai.org/proceedings/2005/203","pdf":"https://ijcai.org/proceedings/2005/0203.pdf","markdown":"https://ijcai.org/proceedings/2005/203.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/203","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":203,"pages":{"first":1352,"last":1358},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}