Machine Intelligence Volume 3

Here is the contents page for volume 3 of the Machine Intelligence series. You can also go up to the Machine Intelligence page, view the bibliographic details of this volume, or go to other volumes: 1 2 4 5 6 7 8 9 9 11 12 13 14.

Contents

 PREFACE by the Earl of Halsbury                                      v

 INTRODUCTION                                                        ix
 

 MATHEMATICAL FOUNDATIONS

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


 THEOREM PROVING

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


 MACHINE LEARNING AND HEURISTIC PROGRAMMING

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


 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                                                  245
 16. Interactive programming at Carneige Tech.  A.H. BOND           257
 17. Maintenance of large computer systems - the engineer's
     assistant.  M.H.J. BAYLIS                                      269


 COGNITIVE PROCESSES: METHODS AND MODELS

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


 PATTERN RECOGNITION

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


 PROBLEM-ORIENTED LANGUAGES

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

 INDEX                                                              403

Bibliographic details

Machine Intelligence 3
Editor: Publisher: Edinburgh University Press, 1968

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

Up to Machine Intelligence main page.
Go to other volumes: 1 2 4 5 6 7 8 9 10 11 12 13 14