1. DSpace at MEDIU
  2. Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
  3. MIT Items
Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6862
Full metadata record
DC FieldValueLanguage
dc.creatorBrown, Richard-
dc.date2004-10-20T20:03:03Z-
dc.date2004-10-20T20:03:03Z-
dc.date1981-01-01-
dc.date.accessioned2013-10-09T02:47:22Z-
dc.date.available2013-10-09T02:47:22Z-
dc.date.issued2013-10-09-
dc.identifierAITR-610-
dc.identifierhttp://hdl.handle.net/1721.1/6862-
dc.identifier.urihttp://koha.mediu.edu.my:8181/xmlui/handle/1721-
dc.descriptionA 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).-
dc.format211 p.-
dc.format8649698 bytes-
dc.format6832145 bytes-
dc.formatapplication/postscript-
dc.formatapplication/pdf-
dc.languageen_US-
dc.relationAITR-610-
dc.titleCoherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs-
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.