The previous chapter described the difficulty in reasoning about complex devices, and outlined our approach to manage this complexity, i.e., reasoning with high level design formulations that capture the morphology of the device. In this chapter we will present a more formal discussion of reformulation. Before we define how designs can be reformulated, we present a precise definition of a device which is a physical entity, and a design, which is a specification of this device. We will next examine the different types of design reformulation operations, and demonstrate the utility of performing these reformulations by examining their impact on the size of the search space, and the size of the design. We will show that the different reformulation operations can reduce both the depth and branching factor of the search space, and also reduce the size of the design. In addition, we will show that it is possible to avoid search by reformulating designs and solving tasks by propagating symbolic constraints.


Search Space Original Design Abstraction Level Design Formulation Hierarchical Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1987

Authors and Affiliations

  • Narinder Singh
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations