Inductive Inference Inductive inference is, in a sense, the inverse of deduction. However, deductive inference proceeds by application of sound rules of inference, while inductive inference typically involves unsound conjecture. These have the relationship B, H and E are each logic programs.
E usually consists of ground unit clauses of a single target predicate.
Both Logic Programming and ILP are built upon Robinson's seminal work on Resolution Theorem Proving. He demonstrated that deductive inference in the first order predicate calculus could be effected by the single Resolution rule of inference. This forms a basis for the programming system Prolog. A single resolution step is shown below Inductive inference based on inverting resolution in propositional logic was the basis of the inductive inference rules within the Duce system. Inductive inference rules Duce had six inductive inference rules.