Skip to content Skip to navigation

Deductive Synthesis of Concurrent Construction Plans

TitleDeductive Synthesis of Concurrent Construction Plans
Publication TypeTechnical Report
Year of Publication1992
AuthorsManna, Z, Paltrinieri, M, Waldinger, R
IssueTR075
Date Published09/1992
PublisherCIFE
Publication Languageeng
KeywordsCenter for Integrated Facility Engineering, CIFE, Deductive Framework, Plan Synthesis, Planning, Stanford University
AbstractIn 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.
URLhttps://purl.stanford.edu/yd292dk0573
PDF Linkhttps://stacks.stanford.edu/file/druid:yd292dk0573/TR075.pdf
Citation Key1020