Design as intelligent behaviour: An AI in design research programme

1982 1984 Armstrong, 1982 Asimow, 1962 Bundy, 1979, Solving mechanics problems using meta-level inference, 1017 Brachman, 1983, KRYPTON: a functional approach to knowledge representation, 10.1109/MC.1983.1654200 IEEE Computer, 1983 Bogen, 1983, MACSYMA Reference Manual Brachman, 1986, Knowledge level interfaces to information systems, 13 Brachman, 1986, The knowledge level of a KBMS, 9 1985, 437 Bundy, 1982, Solving symbolic equations with PRESS Bundy, 1981, Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation, Artificial Intelligence, 16, 189, 10.1016/0004-3702(81)90010-2 Cameron, 1984, Modelling solids in motion Clocksin, 1981 Charniak, 1985, Introduction to Artificial Intelligence Dennett, 1987 de Kleer, 1984, Choices without backtracking, 79 Doyle, 1979, A truth maintenance system, Artificial Intelligence, 12, 231, 10.1016/0004-3702(79)90008-0 Drummond, 1987, AI planning: a tutorial and review Eastman, 1970, On the analysis of intuitive design processes Feigenbaum, 1988 Gero, 1988, Chunking structural knowledge as prototypes, 3 Hayes-Roth, 1985, Blackboard architectures for control, Journal of Artificial Intelligence, 26, 251, 10.1016/0004-3702(85)90063-3 Hillier, 1972, Knowledge and design Hubka, 1982 Jones, 1986, An Edinburgh Prolog blackboard shell Kernighan, 1978 Kuhn, 1970, The Structure of Scientific Revolutions, Volume 2 Lakatos, 1978, Philosophical Papers, Vol. 1 Latombe, 1976, Artificial intelligence in computer-aided design: the TROPIC system Laventhol, 1987 Levesque, 1984, Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23, 155, 10.1016/0004-3702(84)90009-2 March, 1976, The logic of design and the question of value Marr, 1982 McAllester, 1978, A three-valued truth maintenance system Cooley, 1987, Human centred systems: an urgent problem for systems designers, AI & Artificial Intelligence, 1, 37 Malcolm, 1988, Programming assembly robots in terms of task achieving behavioural modules: first experimental results Also available as DAI Research Report No. 410, Department of Artificial Intelligence, Edinburgh University Malcolm, 1989, Symbol grounding via a hybrid architecture in an autonomous assembly system Newell, 1982, The knowledge level, Artificial Intelligence, 18, 87, 10.1016/0004-3702(82)90012-1 Newell, 1976, Computer science as empirical enquiry: symbols and search, Communications of the ACM, 19, 113, 10.1145/360018.360022 1984, 110 Oxman, 1988, Designing prototype refinement in architecture, 395 Popplestone, 1980, An interpreter for a language for describing assemblies, Artificial Intelligence, 14, 79, 10.1016/0004-3702(80)90034-X Powell, 1982, The utilisation of technical information in the design of buildings Popper, 1935, Logic der Forschung 1959 Popper, 1963 Popper, 1965 Popplestone, 1969, Freddy in Toyland, 4 Popplestone, 1983, An application of ikbs technology to integrated mechanical design and manufacture Quine, 1953, Two dogmas of empiricism Quine, 1960 Rich, 1988, Automatic programming: myths and prospects, Computer, 21, 40, 10.1109/2.75 Simon, 1976, The structure of ill-structured problems, Artificial Intelligence, 4, 181, 10.1016/0004-3702(73)90011-8 Smithers, 1989, Programming robotic assembly in terms of task achieving behavioural modules, Journal of Structural Learning, 2 Also available as DAI Research Report No. 417, Department of Artificial Intelligence, Edinburgh University Smith, 1985, Prologue to Reflection and semantics in a procedural language Smithers, 1987, The Alvey large scale demonstrator project design to product, 251 Also available as DAI Research Paper No. 284, Department of Artificial Intelligence, Edinburgh University Smithers, 1988, Product creation: an appropriate coupling of human and artificial intelligence, AI and Society, 2, 341, 10.1007/BF01891367 Smithers, 1989, AI-based design v geometry-based design, or, why design cannot be supported by geometry alone, Computer Aided Design, 21, 141, 10.1016/0010-4485(89)90068-7 Smithers, 1989, Intelligent control in AI-based design support systems Thompson, 1984, Cerebral hygiene and information drips: can information technology act as a broker to aid the designer's management of technical uncertainty Visser, 1988, Giving up a hierarchical plan in a design activity