Download OSCAR

The software for the OSCAR architecture for rational agents can be downloaded from this page, along with the OSCAR Manual, which details the construction and use of the software.

THIS IS NOT FREEWARE. The underlying technology is protected by US patent No. 5,706,406, and the software is copywrited by John L. Pollock.

Permission is granted to use this software for educational and research purposes. For use in a commercial product, a license must be obtained from Artilects L.L.C. Contact John L. Pollock for the details.

The OSCAR Manual

The OSCAR Manual can be downloaded as a set of postscript files or a set of pdf files. To read or print the pdf files, you need the latest version of Adobe Acrobat Reader. This is free from Adobe, and available for any platform.
If your browser is properly configured, you may be able to read and print the pdf files directly from the browser. However, your browser may also try to open them in garbled form. To get Netscape to download the files, hold down the option key on a Mac or the alt key on a PC.

Chapter 1: Loading and Running OSCAR (version of 7/20/96) postscript or pdf
Chapter 2: The Theoretical Basis (version of 7/20/96) postscript or pdf
Chapter 3: Epistemic Cognition (version of 7/20/96) postscript or pdf
Chapter 4: Sentential Reasoning (version of 8/27/96) postscript or pdf
Chapter 5: First-Order Reasoning (version of 8/27/96) postscript or pdf
Chapter 6: The Discrimination Net (version of 7/20/96) postscript or pdf
Chapter 7: Perceiving and Reasoning about a Changing World (version of 7/20/96) postscript or pdf
Bibliography (version of 7/20/96) postscript or pdf
Appendix 1: Constructing Problem Sets (version of 7/20/96) postscript or pdf

Source Code

OSCAR is written in Common LISP. It has been tested in a variety of LISP environments. The preferred environment is Macintosh Common LISP, where it supports graphics not available in other environments. The source code can be downloaded below. The files were prepared on a Mac and should display properly on a Mac, PC, or UNIX. The line breaks will have to be converted for use with Windows NT. (If you are using Netscape Navigator, when downloading the files, hold down the option key while clicking on the file name, and then select "Save File".)

OSCAR is constantly evolving, with the inevitable result that bugs are fixed but new bugs are introduced. Please report problems to pollock@arizona.edu.

OSCAR, the main file. (version of 9/4/98)
Rules, the inference rules used in deductive reasoning. (version of 3/9/98)
Rmacros, the macros used for producing reason-schemas. (version of 9/4/98)
Tools, utility functions used by OSCAR. (version of 1/20/97)
Syntax, defnition of syntax. (version of 1/20/97)
Args, functions for formatting and displaying arguments constructed by OSCAR. (version of 1/20/97)
Probs, a list of sample problems. (version of 1/20/97)
Trees, the code for evaluating defeat statuses. (version of 1/20/97)
Pcompiler, problem compiler for producing user defined problem lists. (version of 3/9/98)
oscar-graphics17.lisp, defines graphics used in Macintosh version. (version of 3/9/98)
PC1, defines reason schemas used in chapter seven for reasoning about perception, time, and causation. (version of 1/20/97)
P/C-examples_3-15.lisp, sample problems referenced in chapter seven. (version of 3/9/98)
Non-Linear Planner32, The experimental defeasible planner described in the paper "Reasoning defeasibly about plans". (version of 9/4/98)
Planning Problems for use with the planner. (version of 9/4/98)