Professional Documents
Culture Documents
Readme
Readme
This project is created as a term project for the course CENG 561 - Artificial I
ntelligence at Middle East Technical University
Contributers for this project are:
* zlem Ceren ahin
* Gne Sucu
* Deniz Can Yldrm
This README file is created to explain how the resolution.py can be executed.
The source code starts with the definitions of methods needed for execution of r
esolution process. At the end of the source code the main method starts with the
try block. The parameter "formula" in the main method can be changed with the f
ormula desired which is desired to be executed in resolution process.
Some examples are commented in the source code provided. By removing comments, i
t is possible to try examples.
Some examples:
*
*
*
*
*
*
formula
formula
formula
formula
formula
formula
=
=
=
=
=
=
"P"
"(P & ~P)"
"(P | ~P)"
"(G & (R -> F))"
"((P & (P <-> Q)) -> Q)"
"((P | Q) & ( P -> R)) -> (P -> R)"
Change it into :
formula = "((R -> U) & ((U -> ~W) & (~R -> ~W))) -> (~W)"
And give it to the resolution.