Online Code from David Poole

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).