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
Machine Intelligence 3
Publisher: Edinburgh University Press, 1968
- Donald Michie
Department of Machine Intelligence and Perception, University of Edinburgh
Proceedings of the Third Annual Machine Intelligence Workshop, University of Edinburgh, September 1967.