Knowledge and reasoning in design systems

Ewa Grabska

doi:10.1016/j.autcon.2011.03.009

Knowledge and reasoning in design systems

2011-11-01

15

PRE

AI

DOI：10.1016/j.autcon.2011.03.009

原文链接

原文求助

摘要

En 中文

This paper deals with problem-oriented visual languages used for solving design tasks during the conceptual design phase. Visualization of early design solutions by means of visual languages requires an appropriate design knowledge representation in computer systems. The continuation of our method to develop a knowledge-based decision support design system is presented. It consists in connecting a graph-based knowledge representation with a design reasoning method which uses first-order logic formulas. The design diagrams being elements of a visual language are automatically transformed into hierarchical hypergraphs and then information stored in these hypergraph data structures is translated to formulas of the first-order logic forming design knowledge. Modifications of design diagrams cause changes in logic formulas, which can be traced by the designer. The approach is illustrated by examples of designing floor layouts and navigating robots in them. (C) 2011 Elsevier B.V. All rights reserved.

Keyword:

Visual language

Design diagram

Hypergraph

First-order logic

Knowledge-based reasoning

Knowledge and reasoning in design systems

摘要

AI总结

期刊

机构

引用论文