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...
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 |
Similar Items
-
AMORD: A Deductive Procedure System
by: Kleer, Johan de, et al.
Published: (2004) -
AMORD: A Deductive Procedure System
by: Sussman, Gerald Jay, et al.
Published: (2008) -
Propagation of Constraints Applied to Circuit Synthesis
by: Kleer, Johan de, et al.
Published: (2004) -
Causal Reasoning and Rationalization in Electronics
by: Kleer, Johan De
Published: (2004) -
Causal and Teleological Reasoning in Circuit Recognition
by: Kleer, Johan De
Published: (2004)