Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs
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 combina...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6862 |
| _version_ | 1811095141085085696 |
|---|---|
| author | Brown, Richard |
| author_facet | Brown, Richard |
| author_sort | Brown, Richard |
| collection | MIT |
| description | 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). |
| first_indexed | 2024-09-23T16:11:18Z |
| id | mit-1721.1/6862 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:11:18Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/68622019-04-12T08:32:39Z Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs Brown, Richard 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). 2004-10-20T20:03:03Z 2004-10-20T20:03:03Z 1981-01-01 AITR-610 http://hdl.handle.net/1721.1/6862 en_US AITR-610 211 p. 8649698 bytes 6832145 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Brown, Richard Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title | Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title_full | Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title_fullStr | Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title_full_unstemmed | Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title_short | Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs |
| title_sort | coherent behavior from incoherent knowledge sources in the automatic synthesis of numerical computer programs |
| url | http://hdl.handle.net/1721.1/6862 |
| work_keys_str_mv | AT brownrichard coherentbehaviorfromincoherentknowledgesourcesintheautomaticsynthesisofnumericalcomputerprograms |