Embed Size (px)
Citation preview
FreeP 1.0user manual
Download:
http://www.di.unito.it/~pozzato/FreeP%201.0/index.html
Kraus, Lehmann and Magidor (KLM) proposed a formalization of non-monotonic reasoning that was early recognized as a landmark. FreeP 1.0 is a theorem prover implementing free-variables tableaux calculi for the Preferential logic P of KLM framework. It is written in SICStus Prolog and also comprises a GUI written in Java.
How to use FreeP 1.0
KLMLean 2.0 comprises a graphical interface written in Java. One can prove if a formula can be derived by a knowledge base by:
- putting formulas in the check boxes representing the knowledge base- write the formula F to be checked in the suitable text box.Then, the user has to click the “PROVE” button and the response will be written on the righ-down corner.
If the formula F follows from the knowledge base, FreeP offers two alternatives, that the user can select by clicking suitable buttons located under the response:
- the closed tableau found by the Prolog engine can be displayed in a graphical window;- the closed tableau found by the prover is transalted into a latex source file, to be compi-
led in order to obtain a .pdf/.ps of the closed tableaux.
user manual
The GUI of FreeP 1.0
FreeP 1.0
user manual
How to install FreeP 1.0
1. Extract FreeP 1.0.zip into a folder, for instance C:\Programs\FreeP 1.0;2. Open file freep.bat with a text editor;3. Replace C:\Programs\j2sdk1.4.2_13\ with your java path;
4. Replace C:\Programs\SICStus Prolog 3.12.2 with your SICStus Prolog path;5. Replace C:\FreeP 1.0 with the installation directory (in the above example, C:\Programs\FreeP 1.0);6. Run freep.bat
(1) since FreeP 1.0 is implemented in Java and SICStus Prolog, one can run it on machines using any operating system. Here we only present install information for Windows since the GUI is optimized for these systems.
To run Freep 1.0 you also need to install:
- SICStus Prolog
- Java 2 Standard Edition
Remark: to compile a .tex file generated by FreeP 1.0, you need to copy the file qtree.sty in
the directory containing the .tex file (http://www.ling.upenn.edu/advice/latex/qtree/).
FreeP 1.0
user manual
List of connectives
FreeP 1.0
user manual
FreeP 1.0
![Background – Operators (1D) · Background (1D) Operators 4 Young Won Lim 3/28/18 zip function zip :: [a] -> [b] -> [(a,b)] zip (a:as) (b:bs) = (a,b) : zip as bs zip _ _ = [] Prelude>](https://img.pdfslide.net/doc/110x75/5f7d53a36176442cad227c24/background-a-operators-1d-background-1d-operators-4-young-won-lim-32818.jpg)
