The Independent Choice Logic and Beyond

The Independent Choice Logic began in the early 90’s as a way to combine logic programming and probability into a coherent framework. The idea of the Independent Choice Logic is straightforward: there is a set of independent choices with a probability distribution over each choice, and a logic progr...

Full description

Saved in:
Bibliographic Details
Published inProbabilistic Inductive Logic Programming Vol. 4911; pp. 222 - 243
Main Author Poole, David
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2008
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Artificial intelligence
Bayesian Network
Computer programming / software development
Inductive Logic Programming
Logic Program
Logic Programming
Mathematical theory of computation
Predicate Symbol
Online AccessGet full text

Cover

More Information
Summary:The Independent Choice Logic began in the early 90’s as a way to combine logic programming and probability into a coherent framework. The idea of the Independent Choice Logic is straightforward: there is a set of independent choices with a probability distribution over each choice, and a logic program that gives the consequences of the choices. There is a measure over possible worlds that is defined by the probabilities of the independent choices, and what is true in each possible world is given by choices made in that world and the logic program. ICL is interesting because it is a simple, natural and expressive representation of rich probabilistic models. This paper gives an overview of the work done over the last decade and half, and points towards the considerable work ahead, particularly in the areas of lifted inference and the problems of existence and identity.
ISBN:9783540786511
3540786511
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-78652-8_8