There is online code and examples from various projects of David Poole.
There
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
these
files are tarred and gzipped. You first run gunzip
and
then tar xf
. They are in order from the oldest to the
most recent.
- Theorist:
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
interpretation.
- BN-search:
this contains code for searching Bayesian networks, as described in
the paper ``Probabilistic conflicts in
a
search algorithm for estimating posterior probabilities in Bayesian
networks'' .
- pHa_code:
this contains a search program for Probabilistic
Horn abduction, as described in my New Generation Computing paper
(available here in ngc.pdf).
- code_icl.tar.gz
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.
-
CILog
(a simple logical representation and reasoning system with explanation
facilities, declarative
debugging, ask-the-user, etc.) and CILog2
(also with abduction and probabilistic
reasoning).
If there are any problems please contact David Poole
(poole@cs.ubc.ca).
Last updated 29 Sept 2003 - David Poole