Now showing items 1-2 of 2
Automatic Methods of Inductive Inference
(The University of Edinburgh, 1972)
This thesis is concerned with algorithms for generating generalisations-from experience. These algorithms are viewed as examples of the general concept of a hypothesis discovery system which, in its turn, is placed in ...
Strategies for improving the efficiency of automatic theorem-proving
(The University of Edinburgh, 1971)
In an attempt to overcome the great inefficiency of theorem proving methods, several existing methods are studied, and several now ones are proposed. A concentrated attempt is made to devise a unified proof procedure ...