Resolution Inference Rule

A Resolution Inference Rule is an Inference Rule where ...

• Context:
  • It is a single Inference Rule.
  • It takes two Logic Clauses.
  • It produces a new Clause.
• See: Horn Clause.

---

References

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Resolution_(logic)

---