Abducing through Negation as Failure:
Stable models within the independent choice logic
In Journal of Logic Programming, Vol 44, Pages
The independent choice logic (ICL) is part of a project to combine
logic and decision/game theory into a coherent framework. The ICL has
a simple possible-worlds semantics characterised by independent
and an acyclic logic program that specifies the consequences of these
choices. This paper gives an abductive characterization of the ICL.
The ICL is defined model-theoretically, but we show that it is
naturally abductive: the set of explanations of a proposition g
concise description of the worlds in which g is true. We give
algorithm for computing explanations and show it is sound and complete
with respect to the possible-worlds semantics. What is unique about
this approach is that the explanations of the negation of g
derived from the explanations of g. The use of probabilities
choices in this framework and going beyond acyclic logic programs are
You can get the pdf.
D. Poole, The Independent Choice Logic for
modelling multiple agents under uncertainty.
See also ongoing research.
You can get the
ICL code distribution.
Last updated 16 May 98 - David Poole