Representing subassembly trees by deepest common ancestor relations /
Abstract: "XAP/1 was a constraint-based planner designed to generate plans for the manufacture of mechanical assemblies. In order to extend it to be able to generate plans utilizing subassemblies the constraint language must be extended. It has been proposed elsewhere that deepest common ance...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
College Station, Tex. :
Texas A & M University, Computer Science Dept.,
[1990]
|
| Series: | Technical report (Texas A & M University. Computer Science Department) ;
90-009. |
| Subjects: |
| Summary: | Abstract: "XAP/1 was a constraint-based planner designed to generate plans for the manufacture of mechanical assemblies. In order to extend it to be able to generate plans utilizing subassemblies the constraint language must be extended. It has been proposed elsewhere that deepest common ancestor relations can form the basis for such a system [Wol90a]. This report serves to provide a formal basis for the use of deepest common ancestor relations to represent subassembly tree plans. It first defines subassembly tree plans, and three kinds of assertions which use the notion of deepest common ancestors to describe a plan. The rules that must hold among a consistent set of assertions are derived. Finally, it is shown that a complete and consistent set of assertions must uniquely define a single subassempbly tree plan." |
|---|---|
| Item Description: | "May 1990." |
| Physical Description: | 25 leaves : illustrations ; 28 cm. |
| Bibliography: | Includes bibliographical references. |