TR075: Deductive Synthesis of Concurrent Construction Plans
Abstract/Contents
- Abstract
- In the deductive approach, the synthesis of a plan is regarded as a problem in theorem proving. The goal state is described by a sentence in first-order logic and a correct plan is extracted from a proof of the sentence. A deductive framework, obtained by adapting a situational calculus for automated planning, is applied to the formation of construction plans for civil engineering. Proofs of theorems for even simple construction problems have required an expressive language to represent the structure of plans. Desirable features include sequencing, parallelism, contingency, repetition and modularity.
Description
| Type of resource | text |
|---|---|
| Date created | September 1992 |
Creators/Contributors
| Author | Manna, Zohar |
|---|---|
| Author | Paltrinieri, Massimo |
| Author | Waldinger, Richard |
Subjects
| Subject | CIFE |
|---|---|
| Subject | Center for Integrated Facility Engineering |
| Subject | Stanford University |
| Subject | Deductive Framework |
| Subject | Plan Synthesis |
| Subject | Planning |
| Genre | Technical report |
Bibliographic information
Access conditions
- Use and reproduction
- User agrees that, where applicable, content will not be used to identify or to otherwise infringe the privacy or confidentiality rights of individuals. Content distributed via the Stanford Digital Repository may be subject to additional license and use restrictions applied by the depositor.
Preferred citation
- Preferred Citation
- Manna, Zohar and Paltrinieri, Massimo and Waldinger, Richard. (1992). TR075: Deductive Synthesis of Concurrent Construction Plans. Stanford Digital Repository. Available at: http://purl.stanford.edu/yd292dk0573
Collection
CIFE Publications
Contact information
- Contact
- cife-email@stanford.edu
Loading usage metrics...