Explicit Control of Reasoning

The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some kn...

Full description

Bibliographic Details
Main Authors: Kleer, Johan de, Doyle, Jon, Steele, Guy L., Jr., Sussman, Gerald Jay
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/5750