Inverse resolution
Encyclopedia
Inverse resolution is an inductive reasoning
technique that involves inverting
the resolution operator
.
Inductive reasoning
Inductive reasoning, also known as induction or inductive logic, is a kind of reasoning that constructs or evaluates propositions that are abstractions of observations. It is commonly construed as a form of reasoning that makes generalizations based on individual instances...
technique that involves inverting
Inverse
Inverse may refer to:* Inverse , a type of immediate inference from a conditional sentence* Inverse , a program for solving inverse and optimization problems...
the resolution operator
Resolution (logic)
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic...
.