Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs

Title: en_US Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs
Creator: en_US Brown, Richard
Date: 2004-10-20T20:03:03Z
Date Available: 2004-10-20T20:03:03Z
Date Issued: en_US 1981-01-01
Identifier: en_US AITR-610
uri: http://hdl.handle.net/1721.1/6862
Abstract: en_US A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering from combinatorial blowup is certainly behaving incoherently. This report describes a rule-based problem solving system for automatically writing and improving numerical computer programs from specifications. The specifications are in terms of "constraints" among inputs and outputs. The system has solved program synthesis problems involving systems of equations, determining that methods of successive approximation converge, transforming recursion to iteration, and manipulating power series (using differing organizations, control structures, and argument-passing techniques).
Extent: en_US 211 p.; 8649698 bytes; 6832145 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-610