A logic rule that proves things by canceling opposites until a contradiction appears.
Resolution is like a lunchroom detective comparing two stories. If one kid says “cookie stolen” and another says “nope,” it crosses that clash out.
In logic, it cancels opposite pieces until a contradiction or answer appears. You meet it in theorem provers and logic rule systems.
Logic
Resolution is a core reasoning method behind many logic programs.
KR
After knowledge is written as logic formulas, resolution can reason with it.
Unification
Unification lines up variables so resolution can cancel matching parts.
Production
Both can reason, but resolution works more like a logic proof.