Proceedings of the Fifth Annual Machine Intelligence Workshop, Edinburgh, 1969

Contents

 INTRODUCTION                                                       vii

 PROLOGUE

     Intelligent machinery. A.M. TURING [1912-1954]                   3

 MATHEMATICAL FOUNDATIONS

 1  Properties of programs and partial function logic.

    Z. MANNA and J. McCarthy                                         27

 2  Program schemes and recursive function theory.  R. MILNER        39

 3  Fixpoint induction and proofs of program properties.  D. PARK    59

 4  Formal description of program structure and semantics in first

    order logic.  R.M. BURSTALL                                      79

 5  A program machine symmetric automata theory.  P.J. LANDIN        99

 MECHANIZED REASONING

 6  A note on mechanizing higher order logic.  J.A. ROBINSON        121

 7  Transformational systems and the algebraic structure of atomic

    formulas.  J.C. REYNOLDS                                        135

 8  A note on inductive generalization.  C.D. PLOTKIN               153

 9  Power amplification for automatic theorem-provers.  B.MELTZER   165

 10 Search strategies for theorem-proving.  R.KOWALSKI              181

 11 An experiment in automatic induction.  R.J. POPPLESTONE         203

 MACHINE LEARNING AND HEURISTIC SEARCH

 12 First results on the effect of error in heuristic search.

    I. POHL                                                         219

 13 A set-oriented property-structure representation

    for binary relations, SBP.  E.J.SANDEWALL                       237

 14 Rediscovering some problems of artificial intelligence in the

    context of organic chemistry.

    B.G. BUCHANAN, G.L. SUTHERLAND and E.A. FEIGENBAUM              253

 15 Memo functions, the graph Traverser and a simple control

    situation.  D.L. MARSH                                          281

 16 Experiments with the adaptive Graph Traverser.

    D. MICHIE and R. ROSS                                           301

 MAN-MACHINE INTERACTION

 17 An interactive theorem-proving program.

    J.R. ALLEN and D. LUCKHAM                                       321

 18 A symbol manipulation system.

    F.V. McBRIDE, D.J.T. MORRISON and R.M. PENGELLY                 337

 COGNITIVE PROCESSES: METHODS AND MODELS

 19 Associative memory models.

    D. WILLSHAW and H.C. LONGUET-HIGGINS                            351

 20 Hierarchical decomposition of complexity.  M.H. VAN EMDEN       361

 PATTERN RECOGNITION

 21 A grammar for the topological analysis of plane figures.

    P.BUNEMAN                                                       383

 22 Shape analysis by use of Walsh functions.  N.H. SEARLE          395

 23 Conic sections in automatic chromosome analysis.  K.X. PATON    411

 24 Centromere finding: some shape descriptions for small

    chromosome outlines.  D.RUTOVITZ                                435

 25 ESOTERIC II- an approach to practical voice control:

    progress report.  D.R. HILL and E.B. WACKER                     463

 26 On imitative systems theory and pattern recognition.

    P.A.V. HALL                                                     495

 PRINCIPLES FOR DESIGNING INTELLIGENT ROBOTS

 27 Planning and robots.  J.E. DORAN                                519

 28 Robotologic.  P.J. HAYES                                        533

 29 Design of low-cost equipment for cognitive robot research.

    H.G. BARROW and S.H. SALTER                                     555

 APPENDIX

    Bibliography on proving the correctness of computer programs.

    R.L. LONDON                                                     569

 INDEX                                                              581