Abstract
In this paper a reflective architecture for modelling design tasks is discussed. This architecture makes an explicit distinction between two levels of reasoning. One level represents the reasoning about a design object (using object-level knowledge). The other level explicitly represents the reasoning about why, when and which process steps to undertake (here process or meta-level knowledge is used). The paper gives two examples of specification and representation languages for design tasks based on the two-level reflective architecture as described here: ADDL and DESIRE.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brown, D.C. and Chandrasekaran, B.: 1989, Design Problem Solving; Knowledge Structures and Control Strategies, Pitman, London.
Brumsen, H., Pannekeet, J. and Treur, J.: 1990, Modelling dynamic aspects of design processes, Proc. of the Fourth Eurographics Workshop on Intelligent CAD, Compiegne.
Clancey, W.J.: 1988, Representing control knowledge as abstract tasks and metarules, in Bole and Coombs (eds), Expert System Applications.
Harmelen, F. van: 1989, A classification of meta-level architectures, in P. Jackson, H. Reichgelt and F. van Harmelen (eds), Logic-Based Knowledge Representation, MIT Press, Cambridge, MA, pp. 13–35.
Hubka, V.: 1987, Principles of Engineering Design, Springer-Verlag, Berlin.
Kowalczyk, W. and Treur, J.: 1990, On the use of a formalized generic task model in knowledge acquisition, in B.J. Wielinga et al. (eds), Current Trends in Knowledge Acquisition (Proceedings EKAW-90), IOS Press, Amsterdam, pp. 198–221.
Langevelde, I. A. van, Philipsen, A. W. and Treur, J.: 1991, Formal specification of compositional architectures, Report IR-282, Department of Mathematics and Computer Science, Free University Amsterdam.
Maes, P. and Nardi, D. (eds) 1988: Meta-level Architectures and Reflection, North-Holland, Amsterdam.
Mostow, J.: 1985, Toward better models of the design process, AI Magazine, 6 (1), 44–57.
Takeda, H., Veerkamp, P. J., Tomiyama, T. and Yoshikawa, H.: 1990, Modeling design processes, AI Magazine, 11 (4), 37–48.
Tan, Y.-H. and Treur, J.: 1991, A bi-modular approach to non-monotonic reasoning, Proc. of the First World Congress on the Fundamentals of Artificial Intelligence, WOCFAI′91, Paris, pp. 461–476.
Treur, J.: 1989, A logical analysis of design tasks for expert systems, International Journal of Expert Systems, 2, 233–253.
Treur, J.: 1991a, On the use of reflection principles in modeling complex reasoning, International Journal of Intelligent Systems, 6, 277–294. Treur, J.: 1991b, Interaction types and chemistry of generic task models, Proc. European Knowledge Acquisition Workshop, EKAW-91, Springer Verlag.
Treur, J. and Veerkamp, P. J.: 1991, Explicit representation of design process knowledge, Report IR-285, Department of Mathematics and Computer Science, Free University Amsterdam.
Veerkamp, P. J., Pieters Kwiers, R. S. S. and ten Hagen, P. J. W.: 1991, Design process representation in ADDL, in P. J. W. ten Hagen and P. J. Veerkamp (eds), Intelligent CAD Systems III — Practical Experience and Evaluation, Springer-Verlag, Berlin, pp. 155–168.
Veerkamp, P. J. and ten Hagen, P. J. W.: 1991, Qualitative reasoning about design objects, Preprints of the 5th International Conference on the Manufacturing Science and Technology of the Future, Enschede, The Netherlands.
Veth, B.: 1987, An integrated data description language for coding design knowledge, in P. J. W. ten Hagen and T. Tomiyama (eds), Intelligent CAD Systems I—Theoretical and Methodological Aspects, Springer-Verlag, Berlin, pp. 295 - 313.
Weyhrauch, R.W.: 1980, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, pp. 133–170.
Xue, D., Kiriyama, T., Veerkamp, P. J. and Tomiyama, T.: 1990, Representation and implementation of design knowledge for intelligent CAD—implementational aspects, Proceedings of the Fourth Eurographics Workshop on Intelligent CAD, Compiegne.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Treur, J., Veerkamp, P.J. (1992). Explicit Representation of Design Process Knowledge. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’92. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2787-5_34
Download citation
DOI: https://doi.org/10.1007/978-94-011-2787-5_34
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5238-2
Online ISBN: 978-94-011-2787-5
eBook Packages: Springer Book Archive