Machine Intelligence Volume 3

 Home > Browse Our Collection > Books > General > Machine Intelligence Volume 3
 

Contents

 PREFACE by the Earl of Halsbury      
 INTRODUCTION   
 
 MATHEMATICAL FOUNDATIONS

 1.  The morphology of prex-an essay in meta-algorithmics.  J. LASKI 
 2.  Program Schemata.  M.S. PATERSON  
 3.  Language definition and compiler validation.  J.J. FLORENTIN
 4.  Placing trees in lexicographic order.  H.I. SCOINS   


 THEOREM PROVING

 5.  A new look at mathematics and its mechanization.  B. MELTZER
 6.  Some notes on resolution strategies.  B. MELTZER   
 7.  The generalized resolution principle. J.A. ROBINSON 
 8.  Some tree-paring strategies for theorem proving.  D. LUCKHAM
 9.  Automatic theorem proving with equality substitutions and mathematical induction.  J.L. DARLINGTON   

 MACHINE LEARNING AND HEURISTIC PROGRAMMING

 10. On representations of problems of reasoning about actions. S. AMAREL 
 11. Descriptions.  E.W. ELCOCK
 12. Kalah on Atlas.  A.G. BELL  
 13. Experiments with a pleasure-seeking automaton.  J.E. DORAN 
 14. Collective behaviour and control problems.  V.I. VARSHAVSKY 

 MAN-MACHINE INTERACTION

 15. A comparison of heuristic, interactive, and unaided methods of solving a shortest-route problem.  D. MICHIE, J.G. FLEMING and
     J.V. OLDFIELD 
 16. Interactive programming at Carneige Tech.  A.H. BOND 
 17. Maintenance of large computer systems - the engineer's assistant.  M.H.J. BAYLIS     

 COGNITIVE PROCESSES: METHODS AND MODELS

 18. The syntactic analysis of English by machine.  J.P. THORNE, P. BRATLEY and H. DEWAR
 19. The adaptive memorization of sequences. H.C. LONGUET-HIGGINS and A. ORTONY

 PATTERN RECOGNITION

 20. An application of Graph Theory in pattern recognition. C.J. HILDITCH

 PROBLEM-ORIENTED LANGUAGES

 21. Some semantics for data structures.  D. PARK
 22. Writing search algorithms in functional form.  R.M. BURSTALL
 23. Assertions: programs written without specifying unneccessary order.  J.M. FOSTER
 24. The design philosophy of POP-2.  R.J. POPPLESTONE

 INDEX  

Bibliographic details

    Machine Intelligence 3
    Editor:

          Donald Michie
          Department of Machine Intelligence and Perception, University of Edinburgh

    Publisher: Edinburgh University Press, 1968

    Proceedings of the Third Annual Machine Intelligence Workshop, University of Edinburgh, September 1967.

ISBN :

Publisher : Oliver & Boyd

Author :

Format :

--

 

 

 

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

 

 

 

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