- Abstract:
- This paper presents an approach to representing and manipulating plans and other synthesised artifacts in the form of a set of constraints. The <I-N-OVA> (Issues - Nodes - Orderings/Variables/Auxiliary) constraints model is used to characterise plans and processes. The more general <I-N-CA> (Issues - Nodes - Critical/Auxiliary) constraints model can be used for wider applications in design, configuration and other tasks which can be characterised as the synthesis and maintenance of an artifact or product. The <I-N-OVA> and <I-N-CA> constraint models are intended to support a number of different uses: for automatic manipulation of plans and other synthesised artifacts and to act as an ontology to underpin such use; as a common basis for human communication about plans and other synthesised artifacts; as a target for principled and reliable acquisition of plans, models and product information; to support formal reasoning about plans and other synthesised artifacts.
- Copyright:
- 2002 by The University of Edinburgh. All Rights Reserved
- The sponsors of this research and the University of Edinburgh are authorised to reproduce and distribute reprints for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing official policies or endorsements, either express or implied, of the research sponsors or the University of Edinburgh.
- Links To Paper
- No links available
- Bibtex format
- @InProceedings{EDI-INF-RR-0110,
- author = {
Austin Tate
},
- title = {<I-N-OVA> and <I-N-CA> - Representing Plans and other Synthesised Artifacts as a Set of Constraints},
- book title = {AAAI-2000 Workshop on Representational Issues for Real-World Planning Systems},
- year = 2000,
- month = {Aug},
- }
|
