Things are tough right now ...

They're tough for everyone :( But when coronavirus hit here in the UK, the museum had to close its doors to the public, and we lost practically all our income overnight.

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

Machine Intelligence Volume 5


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



 INTRODUCTION                                                       vii


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


 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




 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



 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



 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



 19 Associative memory models.

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

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



 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



 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



    Bibliography on proving the correctness of computer programs.

    R.L. LONDON                                                     569


 INDEX                                                              581



Publisher :

Author :

Format :





This book may be available to buy :
Machine Intelligence Volume 5




This exhibit has a reference ID of CH14906. Please quote this reference ID in any communication with the Centre for Computing History.
Machine Intelligence Volume 5 Click on the Images For Detail

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum