A Formal Model of Computer-Aided Visual Design

  • Ewa Grabska
  • Grażyna Ślusarczyk


This paper aims at contributing to a better understanding of essential concepts of inventive visual design. Towards this end, we first outline a framework of formal model of computer-aided visual design. Then, we define particular components of this model paying attention to the role of human visual perception treated as a dynamic process (“active vision”). Moreover, we present different types of logic models used in computer tools supporting the design process and consider an example of a graph-based data structure gathering information on which design knowledge can be based. Finally, the definition of the system of computer-aided visual design is presented. The approach is illustrated on examples of designing teapots.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ware, C.: Visual Thinking for Design. Elsevier, Amsterdam (2008)Google Scholar
  2. 2.
    Gero, J.S., Kannengiesser, U.: The situated Function-Behaviour-Structure framework. In: Gero, J.S. (ed.) Artificial Intelligence in Design 2002, pp. 89–104. Kluwer, Dordrecht (2002)Google Scholar
  3. 3.
    Suwa, M., Gero, J.S., Purcell, T.: Unexpected discoveries and S-invention of design requirements: Important vehicles for a design process. Design Studies 21(6), 539–567 (2000)CrossRefGoogle Scholar
  4. 4.
    Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 27–48. Oxford University Press, Oxford (1996)Google Scholar
  5. 5.
    Grabska, E.: Computer-aided Visual Design (in Polish), EXIT, Warszawa (2007)Google Scholar
  6. 6.
    Arciszewski, T., Grabska, E., Harrison, C.: Visual thinking in inventive design: Three perspective (Invited). In: Proceedings of the First International Conference on Soft Computing in Civil, Structural, and Environmental Engineering, Madeira, Portugal (2009)Google Scholar
  7. 7.
    Barwise, J., Seligman, J.: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)zbMATHGoogle Scholar
  8. 8.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  9. 9.
    Akin, O., Moustapha, H.: Formalizing generation and transformation in design. In: Gero, J.S. (ed.) Design Computing and Cognition 2004, pp. 176–196. Kluwer, Dordrecht (2004)Google Scholar

Copyright information

© Springer Netherlands 2011

Authors and Affiliations

  • Ewa Grabska
    • 1
  • Grażyna Ślusarczyk
    • 1
  1. 1.Jagiellonian UniversityPoland

Personalised recommendations