| Article ID: | iaor20111700 |
| Volume: | 23 |
| Issue: | 4 |
| Start Page Number: | 361 |
| End Page Number: | 369 |
| Publication Date: | Oct 2009 |
| Journal: | Advanced Engineering Informatics |
| Authors: | Strug B, Slusarczyk G |
| Keywords: | automated reasoning |
This paper deals with reasoning about designs based on their internal structures in the form of attributed hypergraphs. A database containing hypergraphs representing solutions of similar design tasks is searched for frequently occurring subgraphs. On the basis of search results the quality of newly created solutions is evaluated. Moreover the syntactic reasoning rules are specified by the designer on the basis of the design knowledge concerning a given task and used to evaluate hypergraphs representing new solutions.