Accession Number:

AD0755811

Title:

Beyond REF-ARF: Toward an Intelligent Processor For a Nondeterministic Programming Language.

Descriptive Note:

Doctoral thesis,

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1972-08-01

Pagination or Media Count:

259.0

Abstract:

The document reports work on two heuristic problem solving systems, Ref2 and POPS. Both systems accept problems stated as programs in a nondeterministic programming language, and solve the problems by applying heuristic methods to find successful executions of the programs. Ref2 is patterned after Richard Fikes system, REF-ARF, and contains the problem solving methods of REF-ARF, as well as additional methods based on an alternative representation for the problem context. Ref2 is also able to solve a class of integer programming problems. POPS is a revised and extended version of Ref2, obtained by the addition of goal directed methods based on concepts from GPS. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE