Generalisation is currently a major theorem-proving problem. This paper proposes a new method of generalisation, involving the use of explanation-based generalisation within a new domain, which may succeed when other methods fail. The method has been implemented for simple arithmetical examples.
CITATION STYLE
Baker, S. (1994). A new application for explanation-based generalisation within automated deduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 814 LNAI, pp. 177–191). Springer Verlag. https://doi.org/10.1007/3-540-58156-1_13
Mendeley helps you to discover research relevant for your work.