AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (1976)
Defense Technical Information Center · leaf 129
arrow is assumed to be an act of Specialization or the creation of an Example.'^ Labels, when they do occur, are given in capitals and small letters; concept names (nodes) are by contrast in all capitals. All the numbers correspond to those given to the tasks in the task-by-task traces presented in… … iEHPTY . 153 15S The rest of the graph (presented on the next page) deals with activities which were investigated: * ^ Thl« i( ofttn tru« bcctuit iiitny conctptf art crtatad whilt chtcking axamplat of aoma known conctpt. 1 2 It thoukf b« elaar in aach eonlaxt which la happaning. If not, rafar to…
Lenat, D. B · Stanford univ ca dept of computer science · Mathematical models · Artificial intelligence · Approach · Tables(data) · Mathematics · Models · Global · Heuristic methods
Internet Archive · Defense Technical Information Center · Public domain (US government work). Free to use for anything.
