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
Machine Intelligence 5
Editors:Publisher: Edinburgh University Press, 1969
- Bernard Meltzer
- Metamathematics Unit, University of Edinburgh
- Donald Michie
- Department of Machine Intelligence and Perception, University of Edinburgh
Proceedings of the Fifth Annual Machine Intelligence Workshop, Edinburgh, 1969.