Knowledge and reasoning in design systems

Automation in Construction

Volumn 20, Issue 7, 2011, Pages 927-934

  Grabska, E ^a   Slusarczyk G ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Design diagram; First order logic; Hypergraph; Knowledge based reasoning; Visual language

Indexed keywords

DECISION SUPPORTS; DESIGN KNOWLEDGE; DESIGN KNOWLEDGE REPRESENTATION; DESIGN SOLUTIONS; DESIGN SYSTEMS; DESIGN TASKS; FIRST ORDER LOGIC; FLOOR LAYOUT; GRAPH-BASED; HYPERGRAPH; KNOWLEDGE-BASED REASONING; LOGIC FORMULAS; REASONING METHODS; VISUAL LANGUAGE;

CONCEPTUAL DESIGN; DATA STRUCTURES; DECISION SUPPORT SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; PROBLEM ORIENTED LANGUAGES; PRODUCT DESIGN; VISUALIZATION;

KNOWLEDGE REPRESENTATION;

EID: 80052849877     PISSN: 09265805     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.autcon.2011.03.009     Document Type: Article

References (29)

1. E. Grabska, G. Ślusarczyk, and T.L. Le Visual design and reasoning with the use of hypergraph transformations Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008) 10 2008 Electronic Communications of the European Association of Software Science and Technology (EASST) Budapest 305 318
2. E. Grabska, A. Borkowski, W. Palacz, and S. Gajek Hypergraph system supporting design and reasoning, EG-ICE (European Group for Intelligent Computing in Engineering) International Workshop, Berlin, Germany 2009 pp. 134-141
3. H. Choset, K.M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L.E. Kavraki, and S. Thrun Principles of robot motion: theory, algorithms, and implementations 2005 MIT Press
4. S. Thrun, W. Burgard, and D. Fox Probabilistic Robotics 2005 MIT Press
5. R.D. Coyne, M.A. Rosenman, A.D. Radeford, M. Balachandran, and J.S. Gero Knowledge based design systems 1990 Addison-Wesley Publishing Company
6. S. Garavaglia PROLOG 1984 Harper and Row New York
7. M.R. Quilian Semantic memory M. Minsky, Semantic Information Processing 1968 MIT Press 216 270
8. M. Minsky A Framework for representing knowledge P.H. Winston, The Psychology of Computer Vision 1975 McGraw-Hill New York 211 277
9. F. Hayes-Roth, D.A. Waterman, and D.B. Lenat Building Expert Systems 1983 Addison-Wesley New York
10. E. Nebendahl Expert Systems 1988 J. Wiley and Sons, Inc. Berlin
11. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorenson Object-oriented modeling and design 1997 Prentice-Hall London
12. S. Sigfried Understanding object-oriented software engineering 1996 IEEE Press New Jersey
13. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning About Knowledge 1995 MIT Press Cambridge
14. J. Szuba, Graphs and Graph Transformations in Design in Engineering, Ph.D. Thesis, Polish Academy of Sciences, Warszawa, 2005.
15. E. Grabska, A. Łachwa, G. Ślusarczyk, K. Grzesiak-Kopeć, and J. Lembas Hierarchical layout hypergraph operations and diagrammatic reasoning Machine Graphics and Vision 16 2007 23 38 (Pubitemid 351300733)
16. M. Nagl Building Tightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170 1996 Springer Verlag Berlin 248 279
17. A. Borkowski, E. Grabska, P. Nikodem, and B. Strug Searching for innovative structural layouts by means of graph grammars and evolutionary optimization Proc. 2nd Int. Structural Eng. And Constr. Conf, Rome 2003 475 480
18. A. Goel, S. Bhatta, and E. Stroulia KRITIK: an early case-based design system M.L. Maher, P. Perl, Issues and Applications of Case-Based Design 1997 Erlbaum Hillsdale, NJ 87 132
19. U. Flemming, R. Woodbury, Software Environment to support the Early phases in building Design (SEED): Overview, J. Arch. Engrg. 1, 147, 1995.
20. U. Flemming, A. Zeyno, R. Coyne, and J. Snyder Case-based design in a software environment to support the early phases in building design M.L. Maher, P. Pu, Issues and Applications of Case-Based Reasoning in Design 1997 Lawrence Erlbaum Mahwah, NJ 61 85
21. U. Flemming, R. Coyone, T. Gavin, and M. Rychter A generative expert system for the design of building layouts - version 2 B. Topping, Artificial Intelligence in Engineering Design 1999 Computational Mechanics Publications Southampton 445 464
22. K. Sycara, R. Guttal, J. Koning, S. Narasimhan, and D. Navinchandra CADET: a case-based synthesis tool for engineering design International Journal of Expert Systems 4 1992
23. CADETHome Page- http://www.cs.cmu.edu/afs/cs.cmu.edu/project/cadet /ftp/docs/CADET.html, 2011.
24. A. Voß Case design specialists in FABEL M.L. Maher, P. Perl, Issues and Applications of Case-Based Design 1997 Erlbaum Hillsdale, NJ 301 336
25. M. Minas Concepts and realization of a diagram editor generator based on hypergraph transformation Science of Computer Programming 44 2002 157 180 (Pubitemid 34524859)
26. G. Goldschmidt The dialetic of sketching Creativity Research Journal 4 1991
27. A. Schürr, A. Winter, and A. Zündorf Graph grammar engineering with PROGRES W. Schäfer, P. Botella, Proc. of the 5th European Software Engineering Conference (ESEC'95), LNCS 989 1995 Springer-Verlag Berlin 219 234
28. F. Drewes, B. Hoffmann, and D. Plump Hierarchical graph transformation J. Turyn, Proc. of FOSSACS 2000, LNCS 1784 2000 Springer 98 113
29. G. Ślusarczyk Hierarchical hypergraph transformations in engineering design Journal of Applied Computer Science 11 2 2003 67 82