A Paradigm for Reasoning by Analogy

Abstract

A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution is outlined. It is developed in detail for a first-order resolution logic theorem prover. Descriptions of the paradigm, implemented LISP programs, and preliminary experimental results are presented. This is believed to be the first system that develops analogical information and exploits it so that a problem-solving program can speed its search.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1971
Accession Number
ADA637304

Entities

People

  • Robert E. Kling

Organizations

  • SRI International

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Aeronautics
  • Artificial Intelligence
  • Availability
  • California
  • Classification
  • Concrete
  • Contracts
  • Information Operations
  • Information Processing
  • Instructions
  • Monitoring
  • Reasoning
  • Security

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Systems Analysis and Design