On Safely Ignoring Hypotheses
Inductive intelligence is a matter of inductive generality and computational feasibility. Efficiency can be improved with no cost in generality by a device that carefully ignores only unsuitable or redundant hypotheses. An example of this approach in the inductive inference of clausal theories is described.
KeywordsRelational Clause Inductive Inference Hasse Diagram Spec Lattice Computational Feasibility
Unable to display preview. Download preview PDF.