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

Full description

Bibliographic Details
Main Author: Brown, Richard
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6862