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

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

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 R...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gibbons,Gregory D
Format: Report
Sprache:eng
Schlagworte:
ALGORITHMS
ARTIFICIAL INTELLIGENCE
COMPILERS
Computer Hardware
COMPUTER PROGRAMMING
Computer Programming and Software
COMPUTER PROGRAMS
CONTROL SEQUENCES
DECISION THEORY
GRAPHICS
HEURISTIC METHODS
MATHEMATICAL LOGIC
MATHEMATICAL PROGRAMMING
MEMORY DEVICES
PROBLEM SOLVING
SEARCH THEORY
SYNTAX
THESES
TREES(MATHEMATICS)
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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)