Machine Intelligence Volume 4

Contents

 PREFACE by Michael Swann, FRS                                        v


 MATHEMATICAL FOUNDATIONS

 1.  Program scheme equivalences and second-order logic.
     D.C. COOPER                                                      3
 2.  Programs and their proofs: an algebraic approach.
     R.M. BURSTALL and P.J. LANDIN                                   17
 3.  Towards the unique decomposition of graphs.  C.R. SNOW and
     H.I. SCOINS                                                     45


 THEOREM PROVING

 4.  Advances and problems in mechanical proof procedures.
     D. PRAWITZ                                                      59
 5.  Theorem-provers combining model elimination and resolution.
     D.W. LOVELAND
 6.  Semantic trees in automatic theorem-proving.  R. KOWALSKI
     and P.J. HAYES                                                  87
 7.  A machine-oriented logic incorporating the equality relation.
     E.E. SIBERT                                                    103
 8.  Paramodulation and theorem-proving in first-order theories
     with equality.  G. ROBINSON and L. WOS                         135
 9.  Mechanizing higher-order logic.  J.A. ROBINSON                 151


 DEDUCTIVE INFORMATION RETRIEVAL

 10. Theorem proving and information retrieval.  J.L. DARLINGTON    173
 11. Theorem proving by resolution as a basis for
     question-answering systems.  C. CORDELL GREEN                  183


 MACHINE LEARNING AND HEURISTIC PROGRAMMING

 12. Heuristic Dendral: a program for generating explanatory
     hypotheses in organic chemistry.  B. BUCHANAN, G. SUTHERLAND
     and E.A. FEIGENBAUM                                            209
 13. A chess-playing program.  J.J. SCOTT                           255
 14. Analysis of the machine chess game.  I.J. GOOD                 267
 15. PROSE - Parsing Recogniser Outputting Sentences in English.
     D.B. VIGOR, D. URQUHART and A. WILKINSON                       271
 16. The organization of interaction in collectives of automata.
     V.I. VARSHAVSKY                                                285


 COGNITIVE PROCESSES: METHODS AND MODELS

 17. Steps towards a model of word selection.  G.R. KISS            315
 18. The game of hare and hounds and the statistical study of
     literary vocabulary.  S.H. STOREY and M.A. MAYBREY             337
 19. The holophone - recent developments.  D.J. WILLSHAW and
     H.C. LONGUET-HIGGINS                                           349


 PATTERN RECOGNITION

 20. Pictorial relationships - a syntactic approach.  M.B. CLOWES   361
 21. On the construction of an efficient feature space for
     optical character recognition.  A.W.M. COOMBS                  385
 22. Linear skeletons from square cupboards.  C.J. HILDITCH         403


 PROBLEM-ORIENTED LANGUAGES

 23. Absys 1: an incremental compiler for assertions; an
     introduction.  J.M. FOSTER and E.W. ELCOCK                     423


 PRINCIPLES FOR DESIGNING INTELLIGENT ROBOTS

 24. Planning and generalisation in an automaton/environment
     system.  J.E. DORAN                                            433
 25. Freddy in toyland.  R.J. POPPLESTONE                           455
 26. Some philosophical problems from the standpoint of
     artificial intelligence.  J. McCARTHY and P.J. HAYES           463

 INDEX                                                              505

Bibliographic details

Machine Intelligence 4
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 Fourth Annual Machine Intelligence Workshop, Edinburgh, 1968.