Exploiting Constraints in Design Synthesis
Abstract
The class of design synthesis problems encompasses a wide spectrum of common encountered problems, including robot planning problems, synthesis of electronic circuits, chemical synthesis, genetics experiment design, and computer program synthesis. This thesis is in two main parts, both dealing with design synthesis. The first part is the RESIDUE METHOD, an abductive approach to design synthesis, and the second is SUPERSUMPTION, a generalization of consistency checking of partially completed designs. The RESIDUE METHOD synthesizes designs by reduction of the design goal to another, primitively achievable goal. The reduced goal must be consistent with known facts about the world, must be sufficient to achieve the original goal, and must be a conjunction of formulas from a language of primitively achievable formulas. The RESIDUE METHOD expresses the design goal, the final design, and all intermediate designs as formulas of first-order logic. Soundness and completeness results are given for two resolution-based residues procedures.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1987
- Accession Number
- ADA198710
Entities
People
- Joseph J. Finger
Organizations
- Stanford University