The Independent Choice Logic and Beyond
The Independent Choice Logic and Beyond
复制标题
独立选择逻辑及其他
DOI：
10.1007/978-3-540-78652-8_8
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
D. Poole
中科院分区：
文献类型：
--
作者：
D. Poole
自主选择逻辑始于90年代初的S，它是一种将逻辑编程和概率结合到一个连贯的框架中的方法。独立选择逻辑的想法很简单：有一组独立的选择，每个选择的概率分布，以及一个逻辑程序，给出选择的结果。有一个关于可能世界的度量，它由独立选择的概率定义，在每个可能世界中什么是真的由在那个世界和逻辑程序中所做的选择给出。ICL很有趣，因为它是丰富概率模型的简单、自然和富有表现力的表示。本文概述了过去15年来所做的工作，并指出了今后的大量工作，特别是在解除推理以及存在和同一性问题方面。
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.