write a theorem prover and parser for ZOL using tableaux python

F: A string which is an S-expression of a ZOL formula. You can assume:

The operators used are IF,IFF,AND,OR,XOR,and NOT.

The NOT operator has one argument, a wff

The IF, IFF,and XOR operators have two wffs as arguments

The special = predicate takes two objects as arguments (= is in prefix form, not infix)

The AND and OR operators have two or more arguments

All predicates have zero or more arguments

All functions will have zero or more arguments

All predicate, function, and object symbols will be alphanumberic strings

All formulae are well-formed

Symbols may be overloaded---type is determined through position

Returns a list [S, P, O, Fn] where:

S is a string telling us whether F was satisfiable:

“T” – If the formula is a tautology,

“S” – If the formula is satisfiable but not a tautology,

“U” – If the formula is unsatisfiable.

P is a set of strings, where each string is one of the predicate symbols in F.

O is a set of strings, where each string is one of the object symbols in F.

Fn is a set of strings, where each string is one of the function symbols in F.

You must use the tableaux method to solve this problem.

Beceriler: Python, Machine Learning (ML), Algoritma, Yapay Zeka, Computer Science

Daha fazlasını gör: write code intrusion detection prevention using windows, write program student information system using database, dial number using asterisk python, write html files wikimedia markup using php, write program adds large integers using linked lists, parser resume using sovren, write bounce email log file using vbnet, write program will sum integers using pointers, sms subscription service using twillos python module, using html python, write database description relations shown using, write airline reservation system program using structures, write client server application chat using tcp using, using javascript python pyramid, using mdm python, using file python, web scraping script using selenium python, write an android application (hybrid) using telerik, Write a mobile application to generate a Scienti c calculator using J2ME/ Python/ Scala/ C++/ An- droid, how to write multiple sheets in excel using python

İşveren Hakkında:
( 37 değerlendirme ) Oakland, United States

Proje NO: #27819455

Bu iş için 1 freelancer ortalamada $60 teklif veriyor


Hi, I am a web developer with several years of experience. I also have experience in the fields of artificial intelligence, machine learning, and data science. Do not hesitate to contact for more details.

$60 USD in 7 gün içinde
(0 Değerlendirme)