Jagiellonian University Repository

Knowledge and reasoning in design systems

Knowledge and reasoning in design systems

Show full item record

dc.contributor.author Grabska, Ewa [SAP11007372] pl
dc.contributor.author Ślusarczyk, Grażyna [SAP11013577] pl
dc.date.accessioned 2016-02-25T09:57:48Z
dc.date.available 2016-02-25T09:57:48Z
dc.date.issued 2011 pl
dc.identifier.issn 0926-5805 pl
dc.identifier.uri http://ruj.uj.edu.pl/xmlui/handle/item/21431
dc.language eng pl
dc.rights Dodaję tylko opis bibliograficzny *
dc.rights.uri *
dc.title Knowledge and reasoning in design systems pl
dc.type JournalArticle pl
dc.description.physical 927-934 pl
dc.abstract.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. pl
dc.subject.en visual language pl
dc.subject.en design diagram pl
dc.subject.en hypergraph pl
dc.subject.en first-order logic pl
dc.subject.en knowledge-based reasoning pl
dc.description.volume 20 pl
dc.description.number 7 pl
dc.description.publication 0,5 pl
dc.identifier.doi 10.1016/j.autcon.2011.03.009 pl
dc.identifier.eissn 1872-7891 pl
dc.title.journal Automation in Construction pl
dc.language.container eng pl
dc.affiliation Wydział Fizyki, Astronomii i Informatyki Stosowanej : Zakład Projektowania i Grafiki Komputerowej pl
dc.subtype Article pl
dc.rights.original bez licencji pl
.pointsMNiSW [2011 A]: 40


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)