NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Reasoning by analogy as an aid to heuristic theorem proving.When heuristic problem-solving programs are faced with large data bases that contain numbers of facts far in excess of those needed to solve any particular problem, their performance rapidly deteriorates. In this paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes. This paper outlines the design of an algorithm for generating and exploiting analogies between theorems posed to a resolution-logic system. These algorithms are believed to be the first computationally feasible development of reasoning by analogy to be applied to heuristic theorem proving.
Document ID
19730026651
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Kling, R. E.
(Stanford Research Institute Menlo Park, Calif., United States)
Date Acquired
August 7, 2013
Publication Date
January 1, 1972
Subject Category
Computers
Meeting Information
Meeting: Congress on Information processing 71
Location: Ljubljana
Country: Yugoslavia
Start Date: August 23, 1971
End Date: August 28, 1971
Accession Number
73A11453
Funding Number(s)
CONTRACT_GRANT: NAS12-2221
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available