There is online code and examples from various projects of David Poole.
are all written and copyrighted by David Poole. All rights are
reserved. You may use these for research and scholarly use only. Any
commercial use or modification of these programs can only be done with
permission of David Poole. I also have some code for teaching.
There programs are to be used at your own risk. I make no guarantee
that these programs are bug free or are suitable for your application.
The following is a description of the code available. Note that
files are tarred and gzipped. You first run
tar xf. They are in order from the oldest to the
this contains a compiler from Theorist into Prolog (it has been tested
on both Sicstus and Quintus Prologs), and many example Theorist
programs, including most of the standard nonmonotonic (but very
monotonous) examples, diagnostic examples, and examples of scene
this contains code for searching Bayesian networks, as described in
the paper ``Probabilistic conflicts in
search algorithm for estimating posterior probabilities in Bayesian
this contains a search program for Probabilistic
Horn abduction, as described in my New Generation Computing paper
(available here in ngc.pdf).
contains an implementation of the independent
choice logic, and many examples from different papers.
- ve_cve.zip contains a Java
implementation of variable elimination and contextual variable
elimination. This is the code described in Exploiting
contextual independence in probabilistic inference. Note that we
will soon come out with a nev version of this code.
(a simple logical representation and reasoning system with explanation
debugging, ask-the-user, etc.) and CILog2
(also with abduction and probabilistic
If there are any problems please contact David Poole
Last updated 29 Sept 2003 - David Poole