and - Representing Plans and other Synthesised Artifacts as a Set of Constraints
Austin Tate · 2000
This paper presents a.n approach to representlag and manipulating plans and other synthesised artifacts in the form of a set of constraints. The 1 (Issues - Nodes ....- Orderings/Va~.iables/Auxilia’r~g) constraints model is used to characterise plans and processes. The more g~meral (1:ssues -- Nodes- C.ritical//A~l:l;iliaw) constraints model (:an be used for wider applications in design, configuration and other t~sks which (:an be (tmracterised as the synthesis and mNntenance of art artifact or product. The and constraint models are intended to support a number of different uses: ¯ tbr automatic manipulation of plans and other synthesised artifacts and to act a:s an ontology to lmderpin such use; ¯ as a COlIlI[IloIl bt~sis fc)r hunlatl eoillillunication about plans amt other synthesised artifacts; ¯ as a target for principled and reliable acquisition of plans, models and product inforlnation; ¯ to support formal reasoning M)out plans and other synthesised artifacts.