Resolution Inference Rule
(Redirected from resolution inference rule)
Jump to navigation
Jump to search
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)