Logic for Computer Science course projects
-
Updated
Nov 17, 2018 - Standard ML
Logic for Computer Science course projects
Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in t…
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
Add a description, image, and links to the resolution-refutation topic page so that developers can more easily learn about it.
To associate your repository with the resolution-refutation topic, visit your repo's landing page and select "manage topics."