Assisting conceptual design of building structures by an interactive description logic based planner

Advanced Engineering Informatics

Volumn 17, Issue 1, 2003, Pages 41-57

  Eisfeld, Michael ^a   Scherer, Raimar ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Conceptual design; Design assistance; Design process representation; Expressive description logic; Interactive description logic planning; Model based design; Structural design

Indexed keywords

ALGORITHMS; FORMAL LOGIC; PLANNING; STRUCTURAL DESIGN;

CONCEPTUAL DESIGN;

ENGINEERING RESEARCH;

EID: 0041887193     PISSN: 14740346     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1474-0346(03)00020-X     Document Type: Article

References (67)

1. Newell A., Simon H.A. Human problem solving. 1972;Prentice-Hall, Englewood Cliffs, NJ.
2. Goel V., Pirolli P. Motivating the notion of generic design with information processing theory: the design problem space. AI Mag. 10:1989;18-36.
3. Leonhardt F. Vorlesungen über den Massivbau. 1977;Springer, New York.
4. Schodek D. Structures. 1980;Prentice-Hall, Englewood Cliffs, NJ.
5. Chandrasekaran B., Josephson J.R. Function in device representation. Engineering with computers. Special Issue on Computer Aided Engineering. 16:2000;. p. 162-177.
6. Umeda Y., Tomiyama T. Functional reasoning in design. IEEE Expert. 11:(4):1997;42-48.
7. Iwasaki Y. Qualitative reasoning and the sciences of design. IEEE Expert: Intell Syst. 12:(3):1997;2-4.
8. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. Description logic handbook. 2002;Cambridge University Press, Cambridge.
9. Yang Q. Intelligent planning: a decomposition and abstraction based approach. 1998;Springer, New York.
10. Simon H.A. The science of the artificial. 1999;MIT Press, Cambridge, MA.
11. Suh N.P. The principles of design. 1990;Oxford University Press, Oxford.
12. Eisfeld M., Scherer R.J. Conceptual parametric design with expressive description logic. In: Proceedings of the Ninth International EG-ICE Workshop. Advances in Intelligent Computing in Engineering. 2002;VDI-Verlag, Dusseldorf.
13. Dekker KJ. Conceptual design of concrete structures. Master's Thesis, Chalmers University Gothenburg; 2000.
14. Bundesvereiningung der Prüfingenieure. Anforderungen füu das Aufstellen EDV-unterstützter Standsicherheitsnachweise, at http://www.bvpi.de/technische-mitteilungen/technische-mitteilungen.htm ; October 2002.
15. Eisenblätter K. Wissensbasierter Tragwerksentwurf - Entwicklung einer Task Structure mit Hilfe von Arbeitsstudien für den Bereich des Konstruktiven Hochbaus in einer HTN-Planungsumgebung, Master's Thesis, Technical University of Dresden; 2001.
16. Eisfeld M. Conceptual computerized structural design - methods for documentation, generation and evaluation. Master's Thesis, Chalmers University Gothenburg; 2000.
17. Holgate A. The art in structural design. 1986;Clarendon Press, Oxford.
18. Brien E.J., Dixon A.S. Reinforced and prestressed concrete design - the complete process. 1995;Longman Scientific and Technical.
19. Gero J. Design prototypes: a knowledge representation schema for design. AI Mag. 11:(4):1990;26-36.
20. Brown D.C., Chandrasekaran B. Design problem solving, knowledge structures and control strategies. 1989;Morgan Kaufmann Publishers, Los Altos, CA.
21. Brown D.C. Defining configuring. Artif Intell Engng Des, Anal Manufact. 12:(4):1997;301-305.
22. Wielenga B., Schreiber G. Configuration-design problem solving. IEEE Intell Syst. 12:(2):1997;49-56.
23. Günter A., Kühn C. Knowledge-based configuration - survey and future trends. Puppe F. Expertensysteme'99. Lecture Notes. 1999;Springer, New york.
24. Hauser M., Scherer R.J. Application of intelligent CAD paradigms to preliminary structural design. Artif Intell Engng. 11:1997;217-229.
25. Turk Z, Scherer RJ, Katranuschkov P. Deliverable report D10, scenarios for testing. EU project IST-1999-11508 (IST for CE), Classification: internal; 2001.
26. Hägglund S. Introducing expert critiquing systems. Knowledge Engng Rev. 8:(4):1993;281-284.
27. Eisfeld M, Scherer RJ. Wissensbasierte Entwurfsunterstützung füu die Konzipierung von Tragwerken in der frühen Entwurfsphase. Technical report, Chair of Applied Computer Science in Civil Engineering, Technical University Dresden; 2002.
28. Haarslev V., Möller R. Description of the RACER system and its applications. In: Proceedings of International Workshop on Description Logic. 2001.
29. Bibel W., Hölldobler S., Schaub T. Wissensrepräsentation und Inferenz. 1993;Brunswick: Vieweg Verlag.
30. Russel S.J., Norvig P. Artificial intelligence: a modern approach. 1995;Prentice-Hall, Englewood Cliffs, NJ.
31. Poole D., Machworth A., Goebel R. Computational intelligence - a logical approach. 1998;Oxford University Press, Oxford.
32. Raphael B., Smith I.F.C. Fundamentals of computer aided engineering. 2003;Wiley, New York.
33. Buchheit M., Klein R., Nutt W. Constructive problem solving: a model construction approach towards configuration. DFKI technical memo TM-95-01, Deutsches Forschungszentrum für künstliche Intelligenz Saar-brücken. January 1995.
34. Nebel B. Knowledge representation and reasoning. Lecture Notes. 2001;Institute of Artificial Intelligence, University of Freiburg.
35. Wunsch G. Grundlagen der Prozesstheorie - Struktur and Verhalten dynamischer Systeme in Technik and Naturwissenschaft. 2000;Stuttgart: B.G. Teubner Verlag.
36. Simon H.A. Models of discovery. 1977;D. Reidel Publishing Company, Dordrecht, Holland.
37. Eisfeld M., Scherer R.J. Search-control knowledge for the interoperability problem between conceptual and preliminary structural design. In: Sixth International Conference on the Application of AI to Structural Engineering, Conference Notes. 2001;Civil Comp Press.
38. Nebel B. Artificial intelligence: a computational perspective. Brewka G. Principles of knowledge representation. 1996;237-266 Stanford: CSLI Publications.
39. Artale A., Franconi E. A survey of temporal extensions of description logics. Ann Math Artif Intell. 30:(1-4):2000;171-210.
40. Weida R.A. Closed terminologies in description logics. In: Proceedings of the 13th National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Menlo Park. 1996;AAAI Press/MIT Press, Cambridge, MA. p. 592-599.
41. Smith G., Gero J. Experience and interaction. Gero J., Brazier F.M. Agents in design. Key centre of Design Computing and Cognition, University of Sydney, Australia. 2002;. p. 115-132.
42. Horrocks I., Sattler U., Tobies S. Reasoning with individuals for the description logic SHIQ. MacAllester D. Proceedings of the 17th International Conference on Automted Deduction (CAD-17). Number 1831 in Lecture Notes in Computer Science. 2000;Springer, Germany.
43. Nau D., Cao Y., Lotem A., Munoz-Avila H. SHOP: simple hierarchical ordered planner. UMIACS-TR-9904 CS-TR-3981. 1999;Department of Computer Science, and Institute for Systems Research, University of Maryland.
44. Nau D, Cao Y, Lotam Y, Munoz-Avila H. SHOP and M-SHOP: planning with ordered task decomposition. Technical Report CS TR 4157, Department of Computer Science, and Institute for Systems Research, University of Maryland; June 2000.
45. Lutz C., Sattler U. A proposal for describing services with DLs. In: Proceedings of the 2002 International Workshop on Description Logics. 2002.
46. Rintanen J. Introduction to automatic task planning. Lecture Notes. 2003;Institute of Artificial Intelligence, University of Freiburg.
47. Mali A.D., Kambhampati S. Encoding HTN planning in prepositional logic. Artif Intell Plann Syst. 1998;190-198.
48. Borgida A. On the relative expressive power of description logics and predicate calculus. J Artif Intell. 82:1996;353-367.
49. Schmidt-Schauß M., Schmolka G. Attribute concept descriptions with complements. Artif Intell. 48:(1):1991;1-26.
50. Baader F, Hanschke P. A scheme for integrating concrete domains into concept languages. DFKI Research Report RR-91-10, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern; 1991.
51. Lutz C. Description logics with concrete domains - a survey. In: Advances in modal logics. vol. 4:2002;World Scientific Publishing Company Private Ltd, Singapore.
52. Puppe F. Einführung in Expertensysteme. 1991;Springer, New York.
53. Lowe H., Pechoucek M., Bundy A. Proof planning for maintainable configuration systems. Artif Intell Engng, Des, Anal Manufact. 12:1998;345-356.
54. Hollmann O., Wagner T., Günter A. ENGCON: a flexible domain-independent configuration engine. In: Proceedings of the ECAI-Workshop Configuration, ECAI-2000. 2000.
55. Schröller R., Möller C., Lutz C. A partial logical reconstruction of PLAKON/KONWERK. In: Proceedings of the Workshop on Knowledge Representation and Configuration WRKP-96. 1996;55-64.
56. Friedrich G., Stumptner M. Consistency-based configuration. In: Technical Report WS-99-05 of AAAI'99 Workshop on Configuration. 1999;Orlando: AAAI Press. p. 35-40.
57. McGuinness D., Wright J. An industrial strength description logic-based configurator platform. IEEE Intell Syst. 13:(4):1998;69-77.
58. O'Sullivan B. Interactive constraint-aided conceptual design. J Artif Intell Engng Des, Anal Manufact. 16:(4):2002.
59. Kraft B., Meyer O., Nagl M. Graph technology support for conceptual design. Schnellenbach-Held M., Denk H. Advances in intelligent computing in engineering. Ninth International EG-ICE Workshop. Ninth International EG-ICE Workshop. 2002;1-35 VDI-Verlag, Dusseldorf.
60. Fenves S. SEED-Structure, at http://seed.edrc.cmu.edu/IJDC/SC/structure/, last visited 14.05.2003; 1997.
61. Fenves S.J., Rivard H., Gomez N. SEED-CONF: a tool for conceptual structural design in a collaborative building design environment. Artif Intell Engng. 14:(3):2000;233-247.
62. Gomez N. Conceptual structural design through knowledge hierarchies. PhD Thesis, Civil and Environment Engineering, Carnegie Mellon University; 1998.
63. Kumar B., Raphael B. CADREM: a case-based system for conceptual structural design. Engng Comput. 13:1997;153-164.
64. Raphael B. Reconstructive memory in design problem solving. PhD Thesis, University of Strathclyde; 1995.
65. Maher ML. HI-RISE: a knowledge-based expert system for the preliminary structural design of high rise buildings. PhD Thesis, Carnegie Mellon University; 1984.
66. Maher M.L. Expert systems for structural design. Pham D.T. Expert systems in engineering. 1991;Springer, New York.
67. Maher M.L. Process models for design synthesis. AI Mag. 11:(4):1990;49-58.