Projektowanie wizualne z wykorzystaniem hierarchicznych hipergrafów

A formal model of the design system, which uses design knowledge to support the conceptual design phase, is presented. The designer uses a visual language based on the proposed conceptualization of the visual design domain. This language is composed of diagrams representing created solutions. Diagrams are internally represented by attributed hierarchical hypergraphs, which allow for encoding design knowledge. The logical model of reasoning about projects, which uses the internal representation of diagrams and the first-order logic language, is discussed. The considered design system is endowed with design agents. Their behavior is modelled by hierarchical hypergraph grammars. The proposed methods of designing and reasoning are explained on examples of designing floor layouts, chairs and transmission towers.W rozprawie przedstawiony jest formalny model systemu projektowego wykorzystującego wiedzę projektową do wspomagania koncepcyjnego etapu projektowania. Projektant posługuje się językiem wizualnym, który bazuje na zaproponowanej konceptualizacji dziedziny projektowania wizualnego. Elementami tego języka są diagramy projektowe opisujące proponowane rozwiązania. Wewnętrzną reprezentację diagramów stanowią atrybutowane hierarchiczne hipergrafy pozwalające zakodować wiedzę projektową. Przedstawiony jest mechanizm wnioskowania o poprawności rozwiązań z ich reprezentacji wewnętrznej, oparty na formułach logicznych pierwszego rzędu. Omawiany system wyposażony jest w agentów projektowych, których zachowanie modelowane jest z wykorzystaniem hierarchicznych gramatyk hipergrafowych. Zaprezentowane metody projektowania i wnioskowania zilustrowane są przykładami projektowania rozkładów pomieszczeń, krzeseł i kratowych wież przesyłowych