Question

Difference between unification and resolution in artificial intelligence

Answer 1

Answer:

Resolution Principle. The resolution principle, due to Robinson (1965), is a method of theorem proving that proceeds by constructing refutation proofs, i.e., proofs by contradiction. ... For example, if and , then is their binary resolvent. A resolvent of two clauses and is one of the four following binary resolvents.