Akshat1710/Resolution-Inference-Engine-for-First-Order-Logic-Clauses

Developed an Inference System by a constructing a Knowledge Base (KB) for given First Order Clauses using the python Lists and Dictionaries. The system converts the given clauses into Conjunctive Normal Form (CNF) using the prefix expression. It applies the unification algorithm and Resolution technique to infer the truth value of given clauses.

Python