Temat: logic. - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Graph-based representation of design properties in creating building floorplans
Autorzy:: Ślusarczyk, Grażyna
Opis:: This paper proposes a framework for supporting the design process by defining design requirements over graph-based representations of designs. First, hierarchical layout hypergraphs (HL-graphs) representing designs and hierarchical layout graph grammars generating them are specified. Then, local and global graph requirements over HL-graphs, which correspond to design constraints, are defined. The proposed ontological interpretations transform first-order and monadic second-order logic formulas expressing design criteria into equivalent local and global graph requirements. The satisfiability of graph requirements by representations of designs allows for checking correctness of design solutions. The approach is illustrated on examples of designing floor layouts of buildings.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Skocz do pozycji: 2.

Tytuł:: Knowledge and reasoning in design systems
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Opis:: 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.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Skocz do pozycji: 3.

Tytuł:: Visual language and graph-based structures in conceptual design
Autorzy:: Ślusarczyk, Grażyna
Opis:: 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.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Skocz do pozycji: 4.

Tytuł:: New visual languages supporting design of multi-storey buildings
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Łachwa, Andrzej
Opis:: This paper deals with designing multi-storey buildings with the use of a knowledge-based visual design support system. In this system two visual languages for creating design solutions by the designer are proposed. The first one allows the designer to design 2D floor layouts, while the second one is dedicated to creating 3D building structures. The generated design solutions in the form of drawings are internally represented as hierarchical hypergraphs gathering design knowledge on which reasoning about designs can be based. The approach is illustrated by example of designing a three-storey house.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Skocz do pozycji: 5.

Tytuł:: Engineering design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Opis:: This paper presents a computer system supporting conceptual design. The knowledge about designs saved in hierarchical hypergraphs allows the system to check if the current state of designs fulfills predefined constraints. The constraints are stored in external files, in the form of logic formulas. Originally, first-order logic was used; this paper proposes replacing it with many-sorted first-order logic.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Informacja