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) : Gibbons,Gregory D.
Report Date : AUG 1972
Pagination or Media Count : 259
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 Fike's 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)
Descriptors : (*COMPUTER PROGRAMMING, PROBLEM SOLVING), COMPILERS, DECISION THEORY, SEARCH THEORY, SYNTAX, MATHEMATICAL PROGRAMMING, MATHEMATICAL LOGIC, GRAPHICS, CONTROL SEQUENCES, MEMORY DEVICES, ALGORITHMS, THESES, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMS
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE