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 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.

 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

ISBN :

Publisher :

Author :

Format :

--

 

 

 

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

 

 

 

This exhibit has a reference ID of CH14905. Please quote this reference ID in any communication with the Centre for Computing History.
 
Machine Intelligence Volume 4 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