CADET: a case-based synthesis tool for engineering design
International Journal of Expert Systems - Special issue on case-based reasoning
Reasoning about knowledge
Knowledge-Based Design Systems
Knowledge-Based Design Systems
Concepts and realization of a diagram editor generator based on hypergraph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
Hierarchical Graph Transformation
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
The Cognitive Artifacts of Designing
The Cognitive Artifacts of Designing
Hierarchical layout hypergraph operations and diagrammatic reasoning
Machine Graphics & Vision International Journal
BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors
Visual Thinking: for Design
Learning Revit Architecture 2010
Learning Revit Architecture 2010
Visual language and graph-based structures in conceptual design
Advanced Engineering Informatics
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part I
Fundamenta Informaticae
New visual languages supporting design of multi-storey buildings
Advanced Engineering Informatics
| Hi-index | 0.00 |
This paper deals with the conceptual stage of the design process related to civil engineering. Different types of design knowledge representation essential in visual aspects of a human-computer dialogue are considered. They comprise designer's drawings expressing forms, layouts and functionality of designed artifacts, internal graph-based data structures obtained automatically on the basis of these drawings and logic formulas extracted from the graph data structures. The reasoning mechanism based on the first-order logic enables the system to assess the compatibility of designs with specified requirements and constraints. The feedback given by the system along with visualizations of initial design ideas enforce the designer's constructive visual perception and creativity. The presented approach is illustrated on the example of designing an indoor swimming pool.