Bibliography — Artificial intelligence in design

Bibliography - Artificial intelligence in design A. D u f f y

C A D Centre, University o f Strathclyde, Glasgow, U K

The b i b l i o g r a p h y c o n t a i n s over 300 references to articles written in English in the last decade u p to the end of 1986. The selection of references for the b i b l i o g r a p h y was directed by their relevance to the use of artificial intelligence techniques to assist in the engineering/architectural design process. T h u s n o a t t e m p t has been made, for example, to cover the wide range of papers in electronic C A D unless they have m o r e general relevance. It is p l a n n e d to keep this b i b l i o g r a p h y u p - t o - d a t e a n d we w o u l d welcome submissions of full titles, references a n d abstracts from a n y o n e who would like a n entry included.

ACM Conference on Knowledge Engineering, R & D Manage, (GB), April 1985, 15(2) AKIN, O. How do Architects Design? in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 65-104 AKINER, V. T. TOPOLOGY1 - A System that Reasons About Objects and Spaces in Buildings, PhD Thesis (unpublished), Department of Architectural Science, University of Sydney, 1984 ALDRIDGE, J., CERUTTI, J., DRAISIN, W. and STEUERWALT, M. Expert Assistants for Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, .(ed. D. Sriram and R. Adey),Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1, 445-455 ANDREWS, D. Outline of PADIS (Procedure for Analysingthe Design of Interactive Solutions), Aeronaut. September 1979, 83, 344-349, 384-388 ARBAB, F. and WING, J. M. Geometric Reasoning: A New Paradigm for Processing Geometric Information in IFIP. W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1-3 1985, 107-121 ARNOLD, D. B. On Fifth Generation Systems and their Implications for Computer Aided Design in Computer Graphics Tokyo '84 Proceedings, Tokyo, April 1984, T4-2/1-14 ARORA, J. S. and BAENZIGER, G. Uses of Artificial Intelligence in Design Optimization, Comput-Methods-Appl-Mech-Eng (Netherlands), March 1986, 54(3), 303-323 ARVA, P. and CSUKAS, B. Fuzzy Relations in Chemical Engineering Design in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE '86, May 1986, 363-378 BALRAM, N., BIRMINGHAM, W. P., BRADY, S., TREMAIN, R. and SIEWlOREK, D. P. The MICON System for Single Board Computer Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 2, 899-910 BARBUCEANU, M. Object-Centred Representation and Reasoning: An Application to Computer-Aided Design, SIGART Newsletter, 1984, 87, 33-39 BARBUCEANU, M. and FLOREA, A. Domain-Independent Knowledge Engineering Environment for CAD, SIGART Newsletter, Special section on AI in Engineering, 1985, 92, 104-106 BARBUCEANU, M. An Object-centred Framework for Expert Systems in Computer-aided Design in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 223-258 BASSI, A. From the First Line to the Prototype (CAD, CAM, FMS) in ISATA. Proceedings of International Symposium on Automative Technology and Automation, Milan, Italy, September 1984 BATALI,J. and HARTHEIMER, A. The Design Procedure Language Manual, Massachusetts Institute of TechnologyArtificialIntelligence Laboratory A.I. Memo No. 598, V.I.S.I. Memo 80-31, Massachusetts Institute of Technology, Massachusetts, September 1980, 1-81 0267-9264/87/030173-9752.00 © 1987 Computational Mechanics Publications

BATALI, J. Dependency Maintenance in the Design Process in Proceedings IEEE International Conference on Computer Design: VLSI in Computers, New York, 1983, 405-407 BEGG, V. Developing expert CAD systems, Kogan Page, London, 1984 BENNETT, J., CREARY, L., ENGELMORE, R. and MELOSH, R. SACON: A knowledge based consultant for structural analysis in Proc. Sixth IJCAI, 1979, 47-49 BIJL, A. An Approach to Design Theory in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 1-23 BLANDFORD, S. and HOPE, R. P. Systematic methods for the problem solving process with particular reference to design, IEEE Proc. A, July 1985, 132, 199-212 BOCQUET, J. C. and TICHKIEWlTCH, S. An 'expert system' for Identification of Mechanical Drawings in Advances in CAD~CAM, PROLAMAT82, (eds T. M. R. Ellis and O. I. Semenkov), NorthHolland Publishing Company, Leningrad USSR, 1982 BOCQUET, J. C. and TICHKIEWlTCH, S. An expert system for reconstruction of mechanical object from projections in Proceedings of PRIP 82. IEEE Computer Society Conference on Pattern Recognition and Impage Processing, IEEE, Las Vegas, NV, USA, June 1982, 491-496 BOGO, G. CASSANDRE and the Computer Aided Logical System Design in IFIP Congress, Yugoslavia, 1971 BOHACHEVSKY, I. O., VISWANATHAN, V. K. and WOODFIN, G. Intelligent Optical Design Program, Report LA-UR-84-910,Los Almos National Lab., New Mexico, 1984 BOWEN, J. A., CORNICK, T. C. and BULL, S. P. BERT - An expert system for brickwork design in Proc. Expert Systems "86, Research and Development in Expert Systems 3, (ed. M. A. Bramer), Brighton, December 1986, 207-216 BRANDER, J. LAKER, D. and SARATCHANDRAN, P. The Orion Project, Sigart Newsletter, 1985, (92), 69-70 BREMDAL, B. A. Marine Design Theory and the Application of Expert Systems in ICCAS, 1985, 227-236 BREMDAL, B. A. and KRISTIANSEN, Concept Definition in Marine System Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,403-421 BROTCHIE, J. F., SHARPE, R. and MARKSJO, B. Introducing Intelligence and Knowledge into CAD in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey),Computational Mechanics Publications and Springer..Verlag,Southampton University, UK, April 1986, 2, 797-810 BROWN, D. C. and CHANDRASEKARAN, B. Knowledge and Control for a Mechanical Design Expert System, Computer, 19, 92100 BROWN, D. C. and CHANDRASEKA~RAN, B. An Approach to Expert Systems for Mechanical Design in Proc. ~ends and Applications on Automating Intelligent Behaviour: Applications and Frontiers, IEEE Computer Soc. NBS, Gaithersburg, 1983, 173-180 BROWN, D. C. and CHANDRASEKARAN, B. Expert Systems for

Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3

173

Bibliography - Artificial intelligence in design: A. Duffy Research Problem Solving Using Design Refinement with Plan Selection and Redesign, Sigart Newsletter, 1985, (92), 70-71 BROWN, D. C. and CHANDRASEKARAN, B. Expert Systems for a Class of Mechanical Design Activity in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 259-290 BROWN, D. C. Failure Handling in a Design Expert System, CAD, 1985, 17(9), 436-442 BROWN, D. C. Capturing Mechanical Design Knowledge in Proc. ASME Int. Comp. Eng. Conf., Boston, MA, USA, 1985 BROWN, D. C. and CHANDRASEKARAN, B. Plan Selection in Design Problem-Solving in Proc. AISB85 Conf., University of Warwick, 1985 BROWN, D. C. and BREAU, R. Types of Constraints in Routine Design Problem-Solving in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 1,383-390 BROWN, D. C. Expert System Problem-Solving Applications in ACM Fourteenth Annual Computer Science Conference: CSC '86 Proceedings, Cincinnati, OH, USA, February 1986, 420 BURROW, L. D. The 'Design and Productivity' Alvey Demonstrator in International Conference on the Development of Flexible Automation Systems (Conf. Publ. No. 237), IEEE, London, UK, July 1984, 114-123 BUSCHMANN, H. Pr6grammed learning processes to assist engineering design, Maschinenmarkt (Germany), December 1981, 87(97), 2112-2115 (in German) CABODI, G., CAMURATI, P. and PRINETTO, P. Application of Artificial Intelligence Techniques to Design for Testability Verification in Mini and Microcomputers and their Applications, Proceedings of the ISMM International Symposium, (ed. E. Luque), Int. Soc. Mini and Microcomput., Barcelona, Spain, Sant Feliu de Guixols, Spain, June 1985, 7-10 CHALFAN, K. M. A Knowledge System that Integrates Heterogeneous Software for a Design Application, The AI Magazine, Summer 1986, 7(2), 80-84 CHAO, N. Application of a Knowledge Based System to Design for Manufacture in IEEE Int. Conf. on Robotics and Automation, March 1985, 182-185 CHOLVY, J. and FOISSEAU, J. ROSALIE: a CAD object oriented and rule-based system in Proc. IFIP'83, Paris, 1983 CHOLVY, L. and FOISSEAU, J. in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 205-221 CLOAREC, J.-F., CUDELOU, J.-F. and COLLET, J. A Configurer for Switching System Software Based on the Knowledge about the Assembling of Program Modules in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.B. (North-Holland), 1985, 375-392 COLE, J. H. STOLL, H. W. and VAN DYKE PARUNAK, H. Machine Intelligence in Machine Design: Workshop Summary, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 54-58 COMPUTER APPLICATIONS RESEARCH UNIT Interactive CAD and Modelling System - consolidation of info., Dept. of Arch. Science, University of Sydney, 1982 CORBY, O. Blackboard Architectures in Computer Aided Engineering, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1(2), 95-98 COYNE, R. D., GERO, J. and ROSENTHAL, A. Semantics in Design Languages: Design Knowledge and Planning, Sigart Newsletter, 1985, 64 COYNE, R. D. and GERO, J. S. Design Knowledge and Sequential Plans, Environment and Planning B, 1985, 12, 401-418 COYNE, R. D. and GERO, J. S. Design Knowledge and Context, Environment and Planning B, 1985, 12, 419-442 COYNE, R. D. Knowledge-Based Planning Systems and Design: A Review, Architectural Science Review, 1985, 28(4), 95-103 COYNE, R. D. and GERO, J. S. Semantics and the Organisation of Knowledge in Design, Design Computing, 1986, 1, 68-69 COYNE, R. D. A Logic Model of Design Synthesis, PhD Thesis, Department of Architectural Science, University of Sydney, 1986 CUGINI, U., MUSSIO, P., CAVAGNA, C. and MERAVIGLIA, A. On an Image Generation and Recognition System in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 429456 CULLINGFORD, R. E., KRUEGER, M. W., SELFRIDGE, M. and BIENKOWSKI, M. A. Automated Explanations as a Component of a

174

Artificial Intelligence in Engineering, 1987, Vol. 2, N o . 3

Computer-Aided Design System, IEEE Transactions on Systems, Man. and Cybernetics, March/April 1982, SMC-12(2), 168-181 CURRAN, A. R. and LEIFER, L. A. An Intelligent Control System Design Aid in Unknown DAS, M. L. and JOSYULA, S. V. Knowledge Base for Structural Design in Application of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 33-44 DAVIDSON, P. L. Computer Aided Decision Making: An Expert System for the Elaboration of Design Strategies, Computers in Engineering, 1985, 1,509-514 DEMO, B. and TILLI, M. Expert System Functionalities for Database Design Tools in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1073-1082 DINCBAS, M. A Knowledge Based System for Automatic Analysis and Synthesis in CAD in Proc. IFIP, 1980 DIXON, J. R., SIMMONS, M. K. and COHEN, P. R. An Architecture for Application of Artificial Intelligence to Design in Proceedings ACM IEEE 21st Design Automation Conference, 634-640 DIXON, J. R. and SIMMONS, M. K. Computers that Design: Expert Systems for Mechanical Engineers, Computers and Mechanical Engineering, November 1983, 2(3), 10-17 DIXON, J. R. and SIMMONS, M. K. Expert Systems for Engineering Design: Standard V-Belt Drive Design as an Example of the DesignEvaluate-Resdesign Architecture in Proceedings Computers in Engineering A.S.M.E., Las Vegas, Nevada, 1984, 332-337 DIXON, J. R. Artificial Intelligence and Design: A Mechanical Engineering View in Proc. AAAI-86. 5th National Conference on AI, August 1986, 2, 872-877 DUFFY, A. Computer Modelling of Early Stage Numerical Ship Design Knowledge and Expertise, PhD Thesis, Strathclyde University, Glasgow, 1986 DYER, M. G. and FLOWERS, M. Automating Design Invention in Proceedings of AUTOFACT 6 Conference, Computer Automated Systems Association of SME, Dearborn, Mochigan, October 1984 DYER, M. G., FLOWERS, M. and HODGES, J. EDISON: An Engineering Design Invention System Operating Naively, Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 3~44 DYM, C. L. Expert Systems: New approaches to computer aided engineering in Proc. 25th AIAA-ASME-ASCE-AHS Structures, Structural Dynamics and Materials Conf., California, 1984 EASTMAN, C. M. Cognitive Processes and Ill-Defined Problems a Case Study from Design in 1st IJCAI, Washington DC, 1969 EASTMAN, C. H. Heuristic Algorithm for Automated Space Planning in 2nd IJCIA, London, 1971 EASTMAN, C. M. Automated Space Planning, Artificial Intelligence, 1973, 4(1) EASTMAN, C. M. General Purpose Building Description Systems, CAD, 1976, 8(1), 17-26 EASTMAN, C. and HENRION, M. GLIDE: A Language for Design Information Systems, Computer Graphics, Quarterly Report of SIGGRAPH-ACM, Summer 1977, 11(2), 24-33 EASTMAN, C. M. The Representation of Design Problems and Maintenance of their Structure in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 335-372 EASTMAN, C. and THORNTON, R. A Report on the GLIDE 2 Language Definition in Institute of Building Sciences, Department of Architecture, Carnegie-Mellon University, Pittsburgh, PA 15213, 22 March 1979, 1-55 EASTMAN, C. M. Recent Developments in Representation in the Science of Design, Design Studies, July 1982, 3(1), 45-52 ELIAS, A. L. Computer Aided Engineering: The AI Connection, Astronautics and Aeronautics, 1983, 7-8 ENCARNACAO, J. L., MESSINA, L. A. and MARKOV, Z. I. Models and Methods for the implementation of decision support systems aiming at the evaluation and selection of CAD-systems in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 213-230 ENSOR, J. R. and GABBE, J. D. Transactional Blackboards, Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1(2), 80-84 FARKAS, J., FILEMAN, J., MARKUS, A. and MARKUSZ, Z. Fixture design by PROLOG in MICAD-82, Paris, 1982 FAUGHT, W. S. Applications of AI in Engineering, Computer, 19, 1727

Bibliography - Artificial intelligence in design: A. Duffy FENVES, S. J. Representation of the CAD Process by a Network Of Decision Tables, Computers and Structures, 1973, 3(5), 1099-I 107 FENVES, S. J. and NORABHOOMPIPAT, T. Potential for Artificial Intelligence Applications in Structural Engineering Design and Detailing in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 105-122 FENVES, S. J. and RASDORF, W. J. Treatment of EngineeringDesign Constraints in a Relational Database, Technical Report DRC-12-1482, Design Research Centre, Carnegie-Mellon University, 1982 FENVES, S. J. and SRIRAM, D. DESTINY: A Knowledge-Based Approach to Integrated Structural Design, Sigart Newsletter, 1985, (92), 66-67 FENVES, S. J. and GARRETT, J. H. Knowledge Based Standards Processing, Int. J. for AI in Engineering, 1986, 1(1), 3-14 FILER, N. P. Explanation by an Expert System for Computer Aided Computer Design in Workshop on 'Explanation', Alvey IKBS Expert Systems Theme, Guildford England, Alvey Directorate, London, England, Guildford, England, March 1986, 66-68 FJELLHEIM, R. and SYVERSEN, P. An Expert System for SESAM69 Structural Analysis Program Selection, Technical Report CP-836010, Div. for Data Teeh., Computas, Norway, 1983 FJELLHEIM, R. A. A Knowledge Based Interface to Process Simulation in AI Applied to Simulation, Proceedings of the European Conference, Ghent, Belgium, (eds E. J. H. Kerckhoffs, G. C. Vansteenkiste and B. P. Zeigler, SCS, San Diego, CA, USA, Ghent, Belgium, February 1985, 97-102 FLEMMING, U., COYNE, R., GLAVIN, T. and RYCHENER, M. A Generative Expert System for the Design of Building Layouts in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 811-821 FOO, Y.-P. and KOBAYASHI, H. A Framework for Managing VLSI CAD Data in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 889-898 FOX, M. S. and BAYKAN, C. A. WRIGHT: An Intelligent CAD System, SIGART Newsletter, Special section on AI in Engineering, 1985, (92), 61-62 FUKUDA, S. A Graph Theory Approach to the Assurance of Structural Integrity Construction of a Decision Support Systemusing Prolog in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 41-46 FUKUDA, S. Development of an Expert System for the Design Support of an Oil Storage Tank in Applications of Artificial Intelligence in Engineering Problems, 1st lnternation Conference, (eds D. Sriram and R. Adey),Computational Mechanics Publications and Springer-Verlage, Southampton University, UK, April 1986, 2, 791796 FURUTA, H . , TU, K.-S. and YAO, J. T. P. Structural Engineering Applications of Expert Systems, CAD, November 1985, 17(9), 410419 GENESERETH, M . R.'Diagnosis using Hierarchial Design Models in Proceedings 2nd NCAI, Pittsburgh, 1982, 278-283 GERO, J. S., RADFORD, A. D. and MURTHY, N. S. H. What if?.Exploring the Consequences of Design and Performance Decisionsin CAD in CAD '82, Butterworths, Guildford, 1982, 633-646 GERO, J. S. Knowledge Engineering - Future of Computers in Engineering, Unpublished presentation of the Instn of Engs, Australia, 1983 GERO, J. S. and RADFORD, A. D. Knowledge Engineering and Computer Graphics in Graphics 83, ACGA, Sydney, 1983, 140-143 GERO, J. S. and SAMBURA,A. Knowledge Based Drafting Systemsin Graphics 83, ACGA, 1983, 29-31 GERO, J. S. Object Modelling Through Knowledge Engineering in Application of AI to Manufacture Engineering, CIRP, Tokyo, 1984, 19-25 GERO, J. S. and COYNE, R. D. Logic Programming as a Means of Representing Semantics in Design Languages, Working Paper, Computer Applications Res. Unit, Department of Architectural Science, University of Sydney, 1984 GERO, J. S. and COYNE, R. D. Knowledge-based Planning as a Design Paradigm in IFIP W.G.5.2 Working Conference in Design Theory for CAD, Tokyo, October 1985, 261-295 GERO, J. S. ed. CAD - Special Expert System Issae, CAD, November 1985, 17(9) GERO, J. ed. Knowledge Engineering in CAD in Proc. IFIP W.G.5.2 Working Conf., North-Holland, Amsterdam, 1985

GERO, J., MacKENZIE, C., RADFORD, A. and BALACHANDRA, B. Knowledge Acquisition for Design Oriented Expert Systems, Sigart Newsletter, Special issue on AI in Engineering, 1985, 62 GERO, J., ROSEMAN, M. and OYNE, R. Expert Systems for Design and Analysis in SIGARTNewsletter, 1985, 62-61 GERO, J., RADFORD, A., AKINER, T. and PLUME, J. Knowledge Based Object Modellingfor Computer Aided Architectural Design in SIGART Newsletter, 1985, 92, 63 GERO, J. S., RADFORD, A. D. COYNE, R. and AKINER, V. T. Knowledge-based Computer Aided Architectural Design in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985 GERO, J. S. An Overviewof Knowledge Engineeringand its Relevance to CAAD, Sydney University, Department of Architectural Science, (Comp Apptns Research Unit Working Paper), 1985 GERO, J. S. Expert Systems in Design and Analysis in National Engineering Conference, IE Aust., 1985, 211-217 GERO, J. S. The USE of Prolog in Computer-Aided Design, ComputerAided Design and Manufacture, Pergamon Infotech, Maidenhead, 1985, 11-24 GERO, J. S. and COYNE, R. D. Developments in Expert Systems for Design Synthesis, Expert Systems in Civil Engineering, ASCE, 1986, 193-203 GERO, J. S. and BALACHANDRAN, M. Knowledge and Design Decision Processes in Applications of AI to Eng. Problems, (eds D. Sriram and R. Adey), 1986, 343-352 GERO, J. S., OXMAN, R. and MANAGO, C. Graphics and Expert Systems, AUSGRAPH86 (to appear) GERO, J. S., RADFORD, A. D., ROSENMAN, M. A., COYNE, R. D., BALACHANDRAN, M. and MacKENZIE, C. Knowledgebased building design, Working Paper, Dept. Arch. Sc., Sydney University, 1986 GILMORE, J. F. Knowledge Base Systems in Computer Aided Technology in Proceedings of the 23rd IEEE Conference on Decision and Control, IEEE, New York, USA, Las Vegas, NV, USA, December 1984, 1,586-590 GLOESS, P. Y. and MARCOVICH, J. OBLOGIS, A Flexible Flavour Implementation of PROLOG Logic and Its Application to the Design of a Broaching Expert System in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey),Computational Mechanics Publications and Springer-Verlag,Southampton University, UK, April 1986, 1, 12O GLUSHKOV, V. M., STOGNII, A. A., BIBA,I. G., VASHCHENKO, N. D., GALAGAN, N. I., GLADUN, V. P., RABINOVICK, Z. L., SAKUNOV, I. A. and KHOMENKO, L. V. Automated Systemsfor Creative Processes in Scientific Research, Design, and Robotics, Cybernetics (USA), Kibernetika, USSR, November-December 1981, 17(6), 840--847 GRABOWSKI, H. and EIGNER, M. Semantic datamodel requirements and realisation with a rational datastructure, CAD, May 1979, 11, 158-168 GRABOWSKI, H. and SEILER, W. Techniques, Operations and Models for Functionaland Preliminary Design Phases in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985 GREEN, S. SPACES - A systemfor the representation of commonsense knowledge about space for design in Proc. Expert Systems "86, Research and Development in Expert Systems 3, (ed. M. A. Bramer), Brighton, December 1986, 195-206 GUERRIERI, E. and GROVER, V. Octree Solid Modelingwith Prolog in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 985-1001 GUPTA, A. and JAIN, A. K. Application of Artificial Intelligence in Offshore Structures in Applications of Artifical Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey),Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 2, 699-706 HANSON, N. Design Grammers, Advanced study report, Department of Architecture Science, Universty of Sydney, 1984 HAREN, P., NEVEU, B., GIACOMETTI, J. P., MONTALBAN, M. and CORBY, O. SMECI: Cooperating Experts Systems for Civil Engineering Design, SIGART Newsletter, 1985, (92), 67-69 HART, A. Knowledge Elicitation: Issues and Methods, CAD, 1985, 17(9), 455-462 HATVANY,J. The Missing Tools of CAD for Mechanical Engineering in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 393404

Artificial Intelligence in Engineering, 1987, Voi. 2, N o . 3

175

Bibliography - Artificial intelligence in design: A. Duffy HAYWOOD, G. G. A Rule Based Program to Construct an Influence Line for a Statically Determinate Multi-Span Beam Structure in Proc. 4th Int. Conf. Engineering Software, Computational Mechanics, Springer-Verlag, London, 1985 HENRION, M. Notes of the Synthesis of Problems: An exploration of Problem formulations used by human and automated designers, Unpublished Masters Thesis, Department of Design Research, Royal College of Art, London, 1974 HENRION, M. Abstraction Hierarchies in Design in Inst. of Physical Planning Reports, Carnegie-Mellon University, 1977 HENRION, M. Automatic Space-planning: A postmortem? in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 175-196 HOLTZ, N. M. Symbolic Manipulation of Design Constraints: An Aid to Consistency Management, Technical Report DRC-02-12-82, Design Research Centre, Carnegie-Mellon University, 1982 HORSTMANN, P. W. A Knowledge-Based System Using Design for Testability Rules in Fourteenth International Conference on FaultTolerant Computing, IEEE Compt. Soc. Press, Kissimmee, FL, USA, June 1984 HORVATH, M. and MARKUS, A. Practical Methods and Techniques, New Ventures in CAD/CAM in Computer Applications in Productions and Engineering, (ed. E. A. Warman), North-Holland Publishing Company, IFIP, 1983, 749-764 HORVATH, M. and MARKUS, A. Prototype of a Prolog-Based Design Engine in Design and Synthesis, (ed. H. Yoshikawa), NorthHolland, 1985, 9-12 HOWARD, H. C. and REHAK, D. R. Knowledge Based Database Management for Expert Systems, SIGART Newsletter, Special section on AI, 1985, (92), 95-97 HOWE, A. E., COHEN, P. R., DIXON, J. R. and SIMMONS, M. K. Dominic: A Domain-Independent Program for Mechanical Engineering Design, Artificial Intelligence in Engineering, July 1986, 1(1), 23-28 IEEE in Second Conference on Artificial Intelligence Applications: The Engineering of Knowledge-Based Systems, IEEE Comput. Soc., Washington DC, USA, December 1985 INGRAND, F. and LATOMBE, J. C. Functional Reasoning for Automatic Fixture Design in Proceedings of CAM-I I3th Annual Meeting and Technical Conference, Clearwater Beach, Florida, November 1984 ITO, Masatosi, KONO, Masanori and HAYASHI, Kunikazu CONMOTO: A Machine Part Description System Based on Designers' Mental Processes in IFIP W.G.5.2. Working Conference on Design Theory for CAD, Tokyo, October 1-3 1985, 123-152 JIRAUGH, D. AI in Automated Design in Proc. SHARE Design Auto Workshop, New Orleans, 1966 JOHANNSEN, G., RIJNSDORP, J. E. and SAGE, A. P. Human System Interface Concerns in Support System Design, Automatica (GB), November 1983, 19(6), 595-603 JOHNSON, Tim The Commerical Application of Expert Systems Technology, Ovum Ltd, London, England, 1984, IS BN 0 903969 22 X KAKUMOTO, Shigeru, FUJIMOTO, Yoshiji and KAWASAKI, Jun Logic Diagram Recognition by Divide and Synthesize Method in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 457-476 JOSHI, S., CHANG, T. C. and LIU, C. R. Process Planning Formalization in an AI Framework, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 45-53 JOZWIAK, S. F. Application of Artificial Intelligence in Structural Optimization in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 823-831 KANT, E. and NEWALL, A. An Automatic Algorithm Designer An Initial Implementation in Proc. NCAI, Washington, 1983 KAPOSI, A. A. and MARKUSZ, Z. Introduction of a Complexity Measure for Control of Design Errors in Logic-based CAD Programs in Proceedings, CAD 80, Brighton, 1980 KARAM, G. M. and BUHR, R. J. A. Embedding Design Knowledge in CAEDE: Experiments on the Detection of Critical Races in IEEE Computer Society Second International Conference on ADA Applications and Environments, IEEE Comput. Soc. Press, Washington DC, USA, Miami Beach, FL, USA, April 1986, 93-98 KARNA, K. N. ed. Expert Systems in Government Symposium in Expert Systems in Government Symposium, IEEE Comput. Soc. Press, Washington DC, USA, October 1985

176

Artificial Intelligence in Engineering, 1987, Vol. 2, N o . 3

KELLY, V. E. The Critter System-Automated Critiquing of Digital Circuit Designs in ACM IEEE 21st Design Automation Conference Proceedings 84, IEEE, New York, USA, Albuquerque, NM, USA, June 1984, 419-425 KING, M. S., BROOKS, S. L. and SCHAEFFER, R. M. Knowledge Based Systems: How will they affect manufacture in the 80's, Computers in Engineering, ASME, 1985, 2, 383-390 KIROV, V. I. A CAD/CAP Expert System Shell in Expert Systems "85, Proc. 5th Technical Conf. of BCS Specialist Group on Expert Systems, University of Warwick, 1985, 151-168 KISSIL, A. and KAMEL, H. A. An Expert System Finite Element Modeler in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (ed. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1179 1186 KITAJIMA, K. and YOSHIKAWA, H. HIMADES-I: a hierarchical machine design system based on the structure model for a machine, CAD, November 1984, 16(6) KNAPP, D., GRANACKI, J. and PARKER, A. An Expert Synthesis System in Proceedings IEEE International Conference on Computer Aided Design, 1983, 32-33 KRAMER, G. A. Representing and Reasoning about Designs in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1 3 1985, 45-74 KRISTIANSEN, S. Application of Expert Systems in Marine System Design in Int. Marine Systems Design Conf., Tech. University of Denmark, 1985 KRUEGER, M. W., CULLINGFORD, R. E. and BELLAVANCE, D. A. Control Issues in a Multiprocess Computer-Aided Design System Containing Expert Knowledge in Proceedings of the International Conference on Cybernetics and Society, IEEE, New York, USA, Atlanta, GA, USA, October 1981, 139-143 KULKARNI, V. M., DIXON, J. R., SUNDERLAND, J. E. and SIMMONS, M. K. in Unknown KUMAR, A., KINZEL, G. L. and SINGH, R. A Preliminary Expert System for Mechanical Design in Unknown KUNO, S., KAWAGOE, K. and MANAGAKI, M. ATHENA: A Knowledge Based CAD System in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 35-40 KYPP, M. MICROPRIZ A user friendly problem solver in Sov.Finnish Syrup. Micros, Tallinn, 1985 LAFUE, G. A Theorem Prover for Recognizing 2-D Representations of 3-D Objects in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IEIP North-Holland Publishing Company, 1978, 391-402 LAFUE, G. M. and MITCHELL, T. M. Data-base Management Systems and Expert Systems for CAD, Technical Report No. LCSRTR-28, Rutgers University, 1982 LATOMBE, J. C. AI in CAD: The Tropic System in CAD Systems, (ed. J. J. Allan), North-Holland, 1977, 61-120 LATOMBE, J. C. ed. Artificial Intelligence and Pattern Recognition in Computer Aided Design, North-Holland Publishing Company, New York, 1978 LATOMBE, J. C. Failure Processing in a System for Designing Complex Assemblies in Proc. Int. J nt. Conf. AI , IJCAI, 1979,508-515 LeVAN, D. O. Frame Representation of Physical Systems for Expert System Use, Inf.-Sciences (USA), December 1985, 37(1 3), 169-177 LEWIS, W. P. The Role of Intelligence in the Design of Mechanical Components in Man-M/C Communication in CAD~CAM, (eds. T. Sata and E. A. Warman), North-Holland, 1981, 59-88 LI, H. L. and PAPALAMBROS, P. A Production System for Use of Global Optimization Knowledge, Trans-ASME-J-Mech-TransmAurora-Des (USA), June 1985, 107(2), 271-276 LIARDET, M., HOLMES, C. and ROSENTHAL, D. Input to CAD Systems: Two Practical Examples in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 403-428 LIM, B. S. and KNIGHT, J. A. G. Holdex - Holding Device Expert System in Applications of Artificial Intelligence in Engineering Problems, 1st Internationa Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,483-501 LIVSHITS, E. G., LAMBIN, L. N., ZLATKIN, E. S. and PRIDOUKHO, V. T. Mechanical System Design on the Basis of Models Hierarchy in Advances in CAD~CAM, (eds T. Ellis and O. Sememkar), North-Holland, 1983, 601-608 LOPEZ, L. A. and ELAM, S. L. SICAD: A Prototype Knowledge Based System for Conformance Checking and Design, (unpublished article), 1984 LOPEZ, L. A., ELAM, S. L. and CHRISTOPHERSON, T. SICAD: A

Bibliography - Artificial intelligence in design: A. Duffy Prototype Implementation System for CAD in Proceedings of the ADCE Third Conference on Computing in Civil Engineering, San Diego, California, 1984, 84-93 LU, S. C.-Y., BLATTNER, C. R. and LINDEM, T. J. A KnowledgeBased Expert System for Drilling Station Design in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds S. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, l, 423-443 Mac-an-AIRCHINNIGH, M. CAD, KE, AND Ada in Knowledge Engineering in Computer Aided Design, (ed. J. S.Gero), Elsevier Science Publishers B.V. (North-Holland) IFIP, 1985, 171-205 MacCALLUM, K. J. Creative Ship Design by Computer in Computer Applications in the Automation of Shipyard Operation and Shipyard Design IV, IFIP82, (eds D. F. Rogers, B. C. Nehrling and C. Kuo), North-Holland Publishing Company, 1982 MacCALLUM, K . J. A Knowledge-base for Engineering Design Relationships in Expert Systems 82, UK, 1982 MacCALLUM, K. J. and DUFFY, A. An Expert System for Preliminary Numerical Design Modelling in Proc. 4th Int. Conf. Engineering Software, (ed. R. A. Adey), Computational Mechanics, Springer-Verlag, June 1985, 4.33-4.48 MacCALLUM, K. J., DUFFY, A. and GREEN, S. An Intelligent Concept Design Assistant in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 233-249 MacCALLUM, K. J. Knowledge-Based Systems for CAD in 2nd Int. Conf. Comp. App. Prod. and Manf, CAPE'86, May 1986, 903-914 MACHOVA, S. and SEKERA, B. To some inference problems in CAD systems, Computing and Artificial Intelligence (Czechoslovakia), 1985, 4 ( 1 ) , 91-96 MacKENZIE, C. A. and GERO, J. S. Learning from Designs in Sydney University, Dept. of Arch. Sc., Arch Comp. Unit Working Paper, 1986 MAEDA, Y., TAKESHIGE, A., KOGUCHI, T., TOMIYAMA, T. YOSHIKAWA, H. Frame Operating Systems for CAD in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 13-16 MAHER, M. L., SRIRAM, D. and FENVES, S. J. Tools and techniques for Knowledge-based Expert Systems for Engineering Design, Advances in Engineering Software, 1984, 6, 4 MAHER, M . L. Hi-Rise and Beyond: Directions for Expert Systems in Design, CAD, November 1985, 17(9), 420-427 MAHER, M. L. and FENVES, S. J. Hi-rise: An Expert System for the Preliminary Structural Design of High Rise Buildings in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 125-146 MALHOTRA, Ashok, THOMAS, John C., CARROLL, John M. and MILLER, Lance A. Cognitive processes in design, Int. J. MeanMachine Studies, New York, 1980, 119-140 MARKUS, A., MARKUSZ, Z., FARKAS, J. and FILEMON, T. Fixture Design by Prolog in Proc. MICAD '82, North Holland, 1982 MARKUSZ, Z. How to Design Variants of Flats Using the Programming Language PROLOG in Proceedings IFIP, Toronto, Canada, 1977 MARKUSZ, Z. Design in Logic, Computer Aided Design, 1982, 14(6), 335-343 MARKUSZ, Z. and KAPOSI, A. A. A Design Methodology in PROLOG Programming in Proceedings, First lnternation Logic Programming Conference, Marseille, France, 1983, 139-145 MARUYAMA, F., MANO, T., HAYASHI, T. KAKUDA, KAWATO, N. and UEHARA, T. Prolog-based Expert System for Logic Design in FGCS'84, Proc. Int. Conf. 5th Gen. Comp. Systems, Tokyo, November 1984, 563-571 MATSUSHIMA, K., OKADA, N. and SATA, T. The Integration of CAD and CAM by Application of AI Techniques, Annals of CIRP, 1982, 31(I) McDERMOTT, Drew, Circuit Design as Problem Solving in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 227 260 McDERMOTT, J. RI = a rule-based configurer of Computer Systems, AI, 1982, 19 (1), 39-88 McDERMOTT, J. Domain Knowledge and the Design Process, Design Studies, 1982, 3(1), 31-36 MELOSH, R. J., MARCAL, P. V. and BERKE, L Structural Analysis Consultation using Artificial Intelligence, Research in Computerized Structural Analysis and Synthesis, NASA, Washington DC, 1978 MEYSTEL, A. Purposeful arrangement via search in the version space in Proc. IEEE Int. Conf. Systems, Man., and Cybernetics, Halifax, Canada, October 1984, 112-119 MILACIC, M., MILOJEVIC, M., SPRECKOVIC, M. and MILACIC, V. Conceptual Design of a Manufacture Cell Based on the AI

Approach in Proc. CIRP Seminar in ManuJacturing Systems, Trondbeim, 1982 MILACIC, V. and PILIPOVIC, M. Application of the Theory of Automata to Conceptual Design in Design and Syntheisi, (ed. H. Yoshikawa), North-Holland, 1985, 29-34 MILLER, A. J. D E S I G N - A Prototype E.S. for Design Oriented Problem Solving, Aust. Comput., 1985, 17(1), 20~26 MILNE, P. H. An Expert System for Road Curve Design and SettingOut in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 733 743 MISTREE, F., KARANDIKAR, H. M. and KAMAL, S. Rule-Based Post Solution Analysis of Decision Support Problems: Some Preliminary Results in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (ed. D. Sriram and R. Adey), Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 1,301-315 MISTREE, F., KARANDIKAR, H. and KAMAL, S. Knowledgebased Mathematical Programming: A Hybrid Approach for Decision making in Design in IFIP W.G.5.2 Working ConJerence on Design Theory for CAD, Tokyo, October 1985, 155-188 MITCHELL, J. R. and RADFORD, A. D. Adding Knowledge to Computer-Aided Detailing, AUSGRAPH86 (to appear) MITCHELL, T. M., STEINBERG, L. I. and SHULMAN, J. S. A Knowledge Based Approach to Design, IEEE Trans Pattern Anal and Mach. Intell., September 1985, PAMI-7(5), 502-510 MITTAL, S. and ARAYA, A. A Knowledge-Based Framework for Design in Proc. AAAI-86, 5th National Conference AI, Engineering, Philadelphia, August 1986, 2, 856-865 MOHR, R. and MASINI, G. Drawing Analysis and Computer Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 477-495 MOLNAR, B. E. and MARKUS, A. Logic Programming in the Design of Production Control Systems in Compcontrol "81, Varna, Bulgaria, 1981 MONOGHAN, P. F. and DOHENY, J. G. Knowledge Representation in the Conceptual Design Process for Building Energy Systems in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey], Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1187 1192 MORRIS, A . J. ADROIT: An intelligent aid to the aircraft designer in Colloque Int. d'Intelliegence Artificielle, Marseille, October 1984, 203-206 MOSTOW, J. Towards better models of the design process, At Magazine, Spring 1985, 6(1), 44-57 NAGAO, M. A Survey of Pattern Recognition and Picture Processing in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 35-64 NEVEU, B. and HARENAREN, P. SMECI: An Expert System for Civil Engineering Design in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 1,317 326 NEVILL, G. E. Jr and CROWE, R. A. Computer Augmented Conceptual Design in Basic Questions of Theory, (ed. W. R. Spillers), North-Holland Publishers, 1974, 493 506 NEWALL, A. and SIMON, H. A. Human Problem Solving, Prentice Hall, 1972 NOLAN, P. J. An Intelligent Assistant for Control System Design in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publicationsand Springer-Verlag, Southampton University, UK, April 1986, 1,473-481 O'CONNOR, D. E. The Learning Curve for Building Large Experl Systems in Proceedings of CAM-I 13th Annual Meeting and Technical Conference, Clearwater Beach, Florida, 1984 OEY, K. H. Considerations Concerning Expert Systems in the Architectural Design Process, Expert Systems and their Applications. 5th International Workshop, Agence de l'Informatique, Paris la Defense, France, Avignon, France, May 1985, 961-967 OHSUGA, S. A New Method of Model Description Use of Knowledge Bases and Inference in CAD Systems Framework, (eds K. Bo and F. M. Lillihagen), North Holland Publishing Company, 1983, 285-312 OHSUGA, S. Use of Knowledge Systems in CAD, Japan Soc. Mech. Enos., 1984

Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3

177

Bibliography - Artificial intelligence in design: A. Duffy OHSUGA, S. Knowledge Based Aided Model Building, SIGART Newsletter, 1985, (92), 64-66 OHSUGA, S. Conceptual Design of CAD Systems involving Knowledge Bases in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IF1 P ElsevierSciencePublishers B.V. (NorthHolland), 1985 OXMAN, R. and GERO, J. S. Using an Expert System for Design Diagnosis and Design Synthesis, Arch. Comp. Unit Working Party, Working Report, Sidney University, Dept. Arch. Sc., 1986 PALMER, D. W. and MACHIN, E. D. Expert Systems in Design and Manufacture, Report SAND-84-0092C, Sandia National Labs, Albuquerque, New Mexico, 1984 PEREIRA, Luis Moniz. ArtificialIntelligenceTechniques in Automatic Layout Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 159-174 PERKOWSKI, M. An Application of General Problem-solving methods in CAD: The MULTICOMP system and its problem oriented source languange in Proc. 4th Int. Syrup. Heuristic Methods, Warsaw, 1978, PTC PERKOWSK1, M. The State-Space Approach to the Design of a Multipurpose Problem for Logic Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP, North-Holland Publishing Company, 1978, 123-158 PFEFFERKORN, C. E. A Heuristic Problem Solving Design System for Equipment of Furniture Layouts, C of ACM, 1975, 18(5) PHILLIPS, R. H., ZHOU, X. D. and MOULEESWARAN, C. B. An Artificial Intelligence Approach to Integrating CAD and CAM through Generative Process Planning in Proceedings Computers in Engineering, A.S.M.E., Las Vegas, Nevada, 1984, 332-337 POMEROY, B. D. and CRAPO, A. W. Smart apprentice: An Expert System for configuring systems, Computers in Engineering, ASME, 1985, 3, 63~8 PO PPLESTONE, R., SMITHERS, T., CORNEY, J., KOUSTON, A., MILLINGTON, K. and SAHAR, G. Engineering Design Support Systems, DAI Research Paper No. 286, DAI, Department of AI, Edinburgh University, 1986 PREISS, K. Future CAD Systems, CAD, 1983, 15 (4), 223-227 RADFORD, A. D. and GERO, J. S. Towards Automated Detailing, Working Paper, Comp. Apps. Res. Unit, Dept. of Arch. Science, University of Sydney, 1984 RADFORD, A. D., HUNG, P. and GERO, J. S. New Rules of Thumb from Computer-Aided Structural Design: Acquiring Knowledge for Expert Systems in Proceedings CADD-84, UK, 1984, 558-566 RADFORD, A. D. and GERO, J. S. Towards Generative Expert Systems for architectural detailing, CAD, November 1985, 17(9),428435 RADFORD, A. D. Approaches to Knowledge-Based Architectural Detailing, Architectural Science Review, 1985, 28(4), 88-94 RADFORD, A. D. and MITCHELL, J. R. Automated Architectural Detailing: A Knowledge Based Approach, Working Paper, Architectural Computing Unit, Department of Architectural Science, University of Sydney, 1986 RASDORF, W. J. Perspective on Knowledge in Engineering Design, Computers in Engineering, ASME, 1985, 1,249-253 REED, Walter S. A Pattern recognition based learning CAD System in Artificial Intelligence and Pattern Recognition in Computer Aided Design (ed. J. S. Latombe), IFIP North-Holland Publishing Company, 1978, 211-227 RAY, M. H. The Design of Reinforced Concrete Members Using an Expert System in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 771-780 REHAK, D. An Integrated Knowledge-Based System in Architecture for CAE, Sigart Newsletter, April 1985, (92), 53-55 REHAK, R. R. and HOWARD, H. C. Interfacing Expert Systemswith Design Database in Integrated CAD Systems, CAD, 1985, 17(9) REHAK, D., HOWARD, H. and SRIRAM, D. Architecture of an Integrated Knowledge Based Environment for Structural Engineering Applications in Knowledge Engineering in ComputerAided Design, (ed. J. S. Gero), IFIP ElsevierScience Publishers B.V. (North-Holland), 1985, 89-124 REYNIER, M. and FOUET, J. M. Automated Design of Crankcases: The Carter System, Comput-Aided-Des. (GB), November 1984, 16(6), 308-313 RICH, C. and WATERS, R. Computer Aided Evolutionary Design for Software Engineering, SIGART Newsletter (USA), April 1981, (76), 14-15 RIEGER, Chuck and GRINBERG, Milt A System of Cause-Effect

178

Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3

Representation and Simulation for Computer-Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 299-334 RIVLIN, J. M., HSU, M. B. and MARCAL, P. V. Knowledge-based Consultant for Finite Element Analysis, Technical Report AFWALTR-80-3069, Flight Dynamics Laboratory (FIBRA), 1980 ROONEY, M. F. and SMITH, S. E. Artificial Intelligence in Engineering Design, Compt. and Struct., George Washington University, NASA, October 1982, 16(1-4), 279-288 ROSENMAN, M. A. and GERO, J. S. Design Codes as Expert Systems, CAD, 1985, 17(9), 399-409 ROSENMAN, M. A., GERO, J. S. and OXMAN, R. An Expert System for Design Codes and Design Rules, Applications of Artificial Intelligence in Engineering Problems, Computational Mechanics Publications and Springer-Verlag, 1986, 2, 745-758 ROSENMAN, M. A., GERO, J. S., HUTCHINSON, P. J. and OXMAN, R. Expert Systems Applications in Computer-Aided Design in CAD86 (to appear), 1986 ROSENMAN, M. A., COYNE, R. D. and GERO, J. S. Expert Systems for design applications in Proc. 2nd Aust. Conf. Applicationsof Expert Systems, Sydney, 14-16 May 1986, 74-91 RUNCIMAN, M. D. and SWIFT, K. Knowledge Based CAD and design for economic manufacture in Colloque Int. d'Intelligence Artificielle, Marseille, October 1984, 203-206 RYCHENER, M. D. Expert Systems for Engineering Design, Expert Systems, 1985, 2(1), 30-44 RYCHENER, M. D. Expert Systems for Engineering Design: Experiments with Basic Techniques in Proceedings of Trends and Applications on Automating Intelligent Behaviour: Applications and Frontiers, 1983, 21-27 RYCHENER, M. D. A rule-based blackboard kernal system: some principles in design in Proc. IEEE Workshop on Principles of Knowledge Based Systems, Denver, USA, December 1984, 59~4 SALEH, H. S. A. ArtificialIntelligenceand Computer Aided Design in Civil Engineering in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey),Computational Mechanics Publications and SpringerVerlag, Southampton University, UK, April 1986, 2, 781-789 SANDEWALL, Erik A Survey of Artificial Intelligence with Special Respect to Computer-Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 19-34 SATA, T. and WARMAN, E. A. Man-Machine Communication in CAD/CAM in Proc. IFIP WG5.2-.3 Working Conference, NorthHolland, Tokyo, Japan, October 1981 SCHRAMEL, F, J. What can A.I. contribute to computer aided engineering?in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE'86, May 1986, 915-930 SEMENKOV, O. I. and BERSENEV, V. A. Operations on Semiotic Models of CADS Object Domain in Advances in CAD~CAM, (eds T. Ellis and O. Sememkor), North-Holland, 1983, 581-591 SERBANATI, L.-D. I. Towards an Intelligent CAD/CAM System for Program Development in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 299-311 SHAH, J. J. Development of a Knowledge Basefor an Expert Systemfor Design of Structural Parts in Unknown SHUN-EN, T. M. and CALVERT, T. W. The CSG-EESI scheme for representing solids with a conversion expert system in Proc. CVPR '85, IEEE Comp. Soc. Conf. Comp. Vision and Pat. Rec., 1985, 124129 SIMMONS, M. K. Artifical Intelligence for Engineering Design, Comput-Aided-Eng-J (GB), April 1984, 1(3), 75-83 SIMON, H. A. The Sciences to the Artificial, MIT Press, Cambridge, MA, USA, 1969 SPIE, Applications of ArtificialIntelligencein Proc. SPIE Int. Soc. Opt. Eng. (USA), May 1984, 485 SRIRAM, D., MAHER, M. and FENVES, S. Applications of Expert Systems in Structural Engineering in Proceedings Conference on Artificial Intelligence, Oakland University, Rochester, 1983,379-394; (OR Computers and Structures, January 1985) SRIRAM, D. Knowledge-Based Approach to Integrated Structural Design, (unpublished PhD thesis proposal), Department of Civil Engineering, Carnegie-Mellon University, 1983 SRIRAM, D. and ADEY, R. eds Applications of ArtificialIntelligence in Engineering Problems in Proceedings of the 1st International Conference, Southampton University, UK, April 1986, 1 and 2 SRIRAM, D. DESTINY: A Model for Integrated Structural Design,

Bibliography - Artificial intellifence in design: A. Duffy Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, !(2) STALLMAN, R. and SUSSMAN, G. J. Forward Reasoning and Dependency - Directed Backtracking in a System for Comp-Aided Circuit Analysis, AI, 1977, 9, 135-196 STEEL, S. and SZALAPAJ, P. Pictures without Numbers: Graphical Realisation of Logical Models in Proc. PARC, 1983, 217 232 STEELE, G. L. and SUSSMAN, G. J. Constraints, Massachusetts Institute of Technology Artificial Intelligence Laboratory, Massachusetts, November 1978, 1-32 STEFIK, M. and de-KLEER, J. Prospects for Expert Systems in CAD, Computer Design, 1983, 22(5), 65-76 STEINBERG, L. I. and MITCHELL, T. M. A Knowledge Based Approach to VLSI CAD-the REDESIGN System in ACM IEEE 21st Design Automation Conference Proceedings, Alburquerque, NM, USA, June 1984, 412-418 STEWART, S. D. and WATSON, G. Applications of Artificial Intelligence, Simulation (SA), June 1985, 44(6), 306-310 SUSSMAN, G. J. and STALLMAN, R. M. Heuristic Techniques in Computer-Aided Circuit Analysis, IEEE Transactions on Circuits and Systems, November 1975, CAS-22(11), 857-865 SUSSMAN, G. J. Electrical Design: A Problem for Artificial Intelligence Research in Proc. 5th IJCAI, Massachusetts Institute of Technology Memo No. 425, Massachusetts, June 1977, 894-900 SUSSMAN, G. J. Slices at the Boundary between Analysis and Synthesis in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 261-298 SUSSMAN, G. J., HOLLOWAY, Jack and KNIGHT, Thomas F. Computer Aided Evolutionary Design for Digitial Integrated Systems, Massachusetts Institute of Technology AI Memo No. 526, Massachusetts Institute of Technology, Massachusetts, May 1979, 1 24 SUSSMAN, G. J., HOLLOWAY, J. and KNIGHT, T. E. Design Aids for Digital Integrated Systems - An Artificial Intelligence Approach in Proceedings IEEE International Conference on Circuits and Computers, 1980 SWIFT, K. and MATHEWS, A. Expert Computer Systems in Engineering Design, Engineering (GB), September 1983, 223(9), 673678 SWIFT, K. G. Computer Based Design Consultation System, Assembly Automation, 1983, 3(3) SWIFT, K. G., MATTHEWS, A., FIRTH, P. and SYAN, C. S. Artificial Intelligence in Engineering Design in Proceedings of CAM-I 13th Annual Meeting and Technical Conference, Clearwater Beach, Florida, 1984, 13-15 'SWIFT, K. G., MATTHEWS, A. and SYAN, C. S. The Application of IKBS in Design for Assembly and Surface Treatment Selection in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,459-471 SWlNSON, P. S. G. Logic programming: a computing tool for the architect of the future, Computer-aided Design, Butterworth, March 1982, 14(2), 97-104 SWlNSON, P. S. G., FERNANDO, C. N. and BIJL, A. A Fact Dependency System for the Logic Programmer, CAD, July 1983, 15(4), 235-243 SWINSON, P. S. G. Prolog: A Prelude to a New Generation of CAAD, CAD, 1983, 15(6) SWINSON, P. S. Design Grammers, Advanced Study Report, Dept. of Arch. Science, University of Sydney, 1984 SZALA PAJ, P. J. and BIJL, A. Knowing where to draw the line in IFIP W.G.5.2 Working Conference on Knowledge based Engineering in Computer-Aided Design, Budapest 1984, Budapest, 1984, 147-170 TAIG, I. C. Expert Aides to Finite Element System Applications in Application of Artificial Intelligence in Engineering Problems 1st

International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 759-770 TAYLOR, G. S. and OUSTERHOUT, J. K. Magics's Incremental Design-Rule Checker in Proceedings ACME IEEE 2tst Design Automation Conference, New Mexico, 1984, 160-165 THOMPSON, T. R., RILEY, D. R. and ERDMAN, A. G. An Expert Systems Approach to Type Synthesis of Mechanisms in Unknown TOMIYAMA, T. and YOSHIKAWA, H. An Application of Knowledge Engineering to CAD in Proc. ICED '83, Copenhagen, 1983, 607~15 TOMIYAMA, T., HANUSA, H. and BARON, N. Knowledge Based Approach to a Designer's Work Bench for CAD Systems in Forschungs- and Arbeitsberichte des Fachgebietes "Graphische Interaktive Systeme', (eds J. Encarnacao and W. Strassel:), Technische Hochschule Darmstadt, Darmstadt, West Germany Nr. Gris, 1983, 83-115 TOMIYAMA, T. and YOSHIKAWA, H. Knowledge Engineering and CAD in Design and Synthesis, 1985, 3-8 TOMIYAMA, T. and YOSHIKAWA, H. Requirements and Principles for Intelligent CAD Systems in Knowledge Engineering in ComputerAided Design, IFIP WG5.2, (ed J. S. Gero), Elsevier Science Publishers B.V. (North-Holland), 1985, 1-23 TOU, J. T., HUANG, C. L. and LI, W. H. Design of a KnowledgeBased System for Understanding Electronic Circuit Diagrams in 1st Conference on AI Applications, IEEE Comput. Soc. Press, Silver Spring, MD, USA, Denver, CO, USA, December 1984, 652-661 TYUGU, E. H. Using a Problem Solver in CAD in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFI P North-Holland Publishing Company, 1978, 197-210 UEKARA, T. A Knowledge Based Logic Design System, IEEE Des. and Test. Comput., October 1985, 2(5), 27-34 VAMOS, T. CAD-Marriage with AI Methods, Views Based on Dual Experiments in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 373-390 VAN-DEN-KROONENBERG, H. H. CAD Applications in the creative phases of the methodical design process in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE'86, May 1986, 339-348 VAROSYAN, S. O. and POS PELOV, D. A. Nonmetric Spatial Logic, Eng. Cybern. (USA), September/October 1982, 20(5), 64-76 VENKATASUBRAMANIAN, V. and CHEN, C.-F. A Blackboard Architecture for Plastics Design, Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1(2), 117-122 WARMAN, E. A. Computer Aided Design: An Interaction of Ideas in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 1-18 WHITEFIELD, A. A model of the engineering design process derived from HEARSEY-II in 1st IFIP Conf. Human-Computer Interaction, Elsevier, September 1984, 1,424-428 WlLLEY, D. S. and TOLLER, D. R. SPA: automating bathroom design, Computer Aided Design, IPC, May 1981, 24(3), 137-144 YOSHIKAWA, H. General Design Theory and a CAD System in ManMachine Communication in CAD~CAM Proceedings of the IFIP WG5.2-5.3 Working Conference, (eds T. Sata and E. Warman), NorthHolland Publishing Company, Tokyo, 2-4 October 1980, 35-58 YOSHIKAWA, H. Automation of thinking in design in Computer Applications in Production Engineering, IFIP, (ed E. A. Warman), North-Holland, 1983 ZIPPEL, R. An Expert System for VLSI Design in Proceedings of the I E E E Symposium on Circuits and Systems, Newport Beach, 1983, 191193 ZUMSTEG, J. R., PECORA, D. and PECORA, V. J. A Prototype Expert System for the Design and Analysis of Composite Material Structures in Unknown

Artificial Intelligence in Engineering, 1987, Vol. 2, N o . 3

179