Click here to start the tool using
Java Web Start. If you are having problems running the tool, ensure that you have the
latest version of Java installed and that it is enabled in your browser. This can be
acquired from Sun's Java
Every representation and reasoning system needs a proof
procedure in order to be complete. The purpose of this tool is
to illustrate how the process of answer extraction within a
knowledge base can be cast as a search problem. The deduction
tool uses a language similar to Prolog and demonstrates its
goal solving procedures.
Please visit our
feedback page and send us your comments about the tools!
This tool was written by Kevin O'Neill, Shinjiro Sueda, Audrey Yap, Nicole Arksey, Regan Yuen, Kyle Porter, Byron Knoll, Janine Li, and Andre Gagne, with help from Wesley Coelho, Joseph Roy Santos, Holger Hoos, Peter Gorniak, Alan Mackworth, David Poole, Mike Pavlin, and Cristina Conati.