CADET: a case-based synthesis tool for engineering design
International Journal of Expert Systems - Special issue on case-based reasoning
Reasoning about knowledge
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
A survey of visual language specification and recognition
Visual language theory
On the isomorphism, or lack of it, of representations
Visual language theory
A syntax-directed approach to picture semantics
Visual language theory
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
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)
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
PROGRESS: A VHL-Language Based on Graph Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Creating structural configurations
Formal engineering design synthesis
Visual Language Features Supporting Human-Human and Human-Computer Communication
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Diagram Editing with Hypergraph Parser Support
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
Hierarchical layout hypergraph operations and diagrammatic reasoning
Machine Graphics & Vision International Journal
Visual Thinking: for Design
New visual languages supporting design of multi-storey buildings
Advanced Engineering Informatics
Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
| Hi-index | 0.00 |
The paper deals with using design knowledge encoded in a visual language and graph-based structures to support the conceptual phase of designing. The visual language is based on the design conceptualization and composed of design diagrams being configurations of geometric primitives. A symbolic representation of design structures in terms of objects specified by the conceptualization and relations between them is defined, and then mapped into diagrams by a given realization. Diagrams are automatically transformed into the corresponding graph-based data structures. The knowledge stored in the graph representations of diagrams is translated into first-order logic formulas which describe generated design configurations. A proposed logic-based reasoning mechanism allows the design supporting system to check the compatibility of designs with the given requirements and constraints. The approach is illustrated by examples of designing configurations of transmission truss towers.