Quantcast
Channel: Artificial Intelligence » Resolution
Browsing all 2 articles
Browse latest View live

Resolution In Propositional Logic

In propositional logic, the procedure for producing a proof by resolution of proposition P with respect to a set of axioms F is the following. Algorithm: Propositional Resolution

View Article



Resolution In Predicate Logic

Algorithm: Resolution In Predicate Logic 1. Convert all the statements of F to clause form 2. Negate P and convert the result to clause form. Add it to the set of clauses obtained in step 1.

View Article
Browsing all 2 articles
Browse latest View live




Latest Images