Machine Intelligence Volume 5

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

Bibliographic details

Machine Intelligence 5
Editors:

Bernard Meltzer

Metamathematics Unit, University of Edinburgh

Donald Michie

Department of Machine Intelligence and Perception, University of Edinburgh

Publisher: Edinburgh University Press, 1969

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