PRIDE: An Expert System for the Design of Paper Handling Systems
Computer - Special issue on expert systems in engineering
Toward automated rational reconstruction: a case study
Proceedings of the sixth international workshop on Machine learning
A design utility manager: the ADAM planning engine
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An Artificial Intelligence Approach to VLSI Design
An Artificial Intelligence Approach to VLSI Design
Explanation-Based Generalization: A Unifying View
Machine Learning
Knowledge-based circuit design
Knowledge-based circuit design
Hi-index | 0.00 |
The efficiency and optimality of a divide-and-conquer approach to design depends upon the associated hierarchy of implementation goals having sibling subgoals that interact only weakly or not at all. Unfortunately, in many domains the only easily acquirable design refinement knowledge leads to the formation of goal hierarchies that violate this assumption. In this paper, we describe a learning method that incrementally transforms a search-based design system that spends much of its time recovering from the implicit (and mistaken) assumption that subproblems do not interact, into a compiler-like system that decomposes the original design problem into truly noninteracting subproblems. The improved system finds locally optimal solutions to its subproblems, which are composed into globally optimal solutions. By analyzing dependencies, the learning method re-parses a poor design decomposition into one with no subproblem interactions; it then generalises from the resulting decomposition, adding new refinement rules to the knowledge base. We have implemented a design system called CPS that solves design problems of implementing boolean expressions as gate-level circuits. We have also implemented a learning program called SCALE that incrementally transforms CPS into an optimizing compiler.