Difference between unification and resolution in artificial intelligence
Answers
Answered by
0
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.
Similar questions