Abstract
In the development of a design system, a formal specification can play an important role providing a precise description of both the static and the dynamic aspects of the system. Static aspects not only include domain knowledge about properties of design objects and relations between these properties, but also domain knowledge about requirements of design objects and relations between these requirements. Dynamic aspects include strategic knowledge about steps undertaken in the design process. In this paper, a logical framework for design tasks is presented which incorporates the notion of a meta-level architecture to explicitly represent declarative knowledge on the dynamics of reasoning processes. Based on this logical framework a generic task model of design is presented, describing the essential structure of the design task, in which the dynamic modification of design object descriptions and requirements is explicitly defined.
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
Alberts, L. K., Wognum, P. M. and Mars, N. J. I.: 1992, Structuring design knowledge on the basis of generic components, in Gero, J. S. (ed.), Artificial Intelligence in Design 92, Kluwer, Dordrecht, pp. 639–656.
Brazier, F. M. T., van Langen, P. H. G., Ruttkay, Zs. and Treur, J.: 1993, On the formalisation of design processes, in Faltings, B. (ed.), Working Notes of the UCAI’93 Workshop on AI in Design, Chambéry, pp. 78-88.
Brazier, F.M.T., van Langen, P.H.G. Wijngaards, N.J.E. and Willems, M.: 1994a, DESIRE: Designing an Elevator Configuration, in Schreiber, G. and Birmingham, B. (eds), Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, 3, SRDG Publications, Department of Computer Science, University of Calgary, Calgary, pp. 39/01-39/33.
Brazier, F. M. T., van Langen, P. H. G. and Treur, J.: 1994b, Formalising design processes, Technical Report (forthcoming), Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, Amsterdam.
Brown, D. C. and Chandrasekaran, B.: 1989, Design Problem Solving; Knowledge Structures and Control Strategies, Pitman, London.
Brumsen, H. A., Pannekeet, J. H. M. and Treur, J.: 1992, A compositional knowledge-based architecture modelling process aspects of design tasks, Proceedings of the 12th International Conference on Artificial Intelligence, Expert systems and Natural Language, Avignon ’92, EC2, Nanterre, 1, pp. 283-293.
Chandrasekaran, B.: 1990, Design problem solving: a task analysis, AI Magazine, 11(4), 59–71.
Coyne, R. D., Rosenman, M. A., Radford, A. D., Balachandran M. and Gero, J. S.: 1990, Knowledge-Based Design Systems, Addison-Wesley, Reading.
French, R. and Mostow, J.: 1985, Toward better models of the design process, AI Magazine, 6(1), 44–57.
Geelen, P. A. and Kowalczyk, W.: 1992, A knowledge-based system for the routing of international blank payment orders, Proceedings of the 12th International Conference on Artificial Intelligence, Expert Systems and Natural Language, Avignon ’92, EC2, Nanterre, 2, pp. 669-677.
Gero, J. S.: 1990, Design prototypes: a knowledge representation schema for design, AI Magazine, 11(4), 26–36.
Langevelde, I. A. van, Philipsen, A. W. and Treur, J.: 1992, Formal specification of compositional architectures, in B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI ’92, John Wiley, Ghichester, pp. 272–276.
Leemans, P., Treur, J. and Willems, M.: 1993, On the verification of knowledge-based reasoning modules, Technical Report IR-346, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, Amsterdam.
Maes, P. and Nardi, D.: 1988, Meta-Level Architectures and Reflection, North Holland, Amsterdam.
Ocathain, C. S.: 1982, Why is design logically impossible? Design Studies, 3, 123–125.
Takeda, H., Veerkamp, P. J., Tomiyama, T. and Yoshikawa, H.: 1990, Modelling design processes, AI Magazine, 11(4), 37–48.
Tham, K. W. and Gero, J. S.: 1992, PROBER—A design system based on design prototypes, in Gero, J. S. (ed.), Artificial Intelligence in Design ’92, Kluwer, Dordrecht, pp. 657–675.
Tomiyama, T. and Yoshikawa, H.: 1987, Extended General Design Theory, in H. Yoshikawa, H. and Warman, E. A. (eds.), Proceedings of the IFIP WG 5.2 Working Conference on Design Theory for CAD, North-Holland, Amsterdam, pp. 95–125.
Tong, C.: 1987, Toward an engineering science of knowledge-based design, Artificial Intelligence in Engineering, 2, 133–166.
Treur, J.: 1989, A logical analysis of design tasks for expert systems, International Journal of Expert Systems, 2, 233–253.
Treur, J.: 1991a, A logical framework for design processes, in ten Hagen, P. J. W. and Veerkamp, P. J. (eds), Intelligent CAD-systems III, Proceedings of the 3rd Euro-graphics Workshop on Intelligent CAD systems, Springer-Verlag, Berlin, pp. 3–20.
Treur, J.: 1991b, Declarative functionality descriptions of interactive reasoning modules, in Boley, H. and Richter, M. M. (eds), Processing declarative knowledge, Lecture Notes in AI, Springer-Verlag, Berlin, 567, pp. 221–236.
Treur, J.: 1992, Towards dynamic and temporal semantics of meta-level architectures, Technical Report IR-321, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, Amsterdam.
Treur, J. and Veerkamp, P. J.: 1992, Explicit representation of design process knowledge, in Gero, J. S. (ed.), Artificial Intelligence in Design ’92, Kluwer, Dordrecht, pp. 677–696.
Vescovi, M. and Iwasaki, Y.: 1993, Device design as functional and structural refinement, in Faltings, B.(ed.), Working Notes of the IJCAI ’93 Workshop on AI in Design, Chambéry, pp. 55-60.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brazier, F.M.T., Van Langen, P.H.G., Ruttkay, Z., Treur, J. (1994). On Formal Specification of Design Tasks. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’94. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0928-4_31
Download citation
DOI: https://doi.org/10.1007/978-94-011-0928-4_31
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4400-4
Online ISBN: 978-94-011-0928-4
eBook Packages: Springer Book Archive