PREFACE by David Kendall v INTRODUCTION ix ABSTRACT FOUNDATIONS 1 1. Semantics of assignment: R.M. BURSTALL 3 2. Some transformations and standard forms of graphs, with applications to computer programs: D.C. COOPER 21 3. Data representation-the key to conceptualisation: D.B. VIGOR 33 MECHANISED MATHEMATICS 4. An approach to analytic integration using ordered algebraic expressions: L.I. HODGSON 5. Some theorem-proving strategies based on the resolution principle: J.L. DARLINGTON 57 MACHINE LEARNING AND HEURISTIC PROGRAMMING 73 6. Automatic description and recognition of board patterns in Go-Moku: A.M. MURRAY and E.W. ELCOCK 75 7. A five-year plan for automatic chess: I.J. GOOD 89 8. New developments of the Graph Traverser: J. DORAN 119 9. BOXES: an experiment in adaptive control: D. MICHIE and R.A. CHAMBERS 137 10. A regression analysis program incorporating heuristic term selection: J.S. COLLINS 153 COGNITIVE PROCESSES: METHODS AND MODELS 171 11. A limited dictionary for syntactic analysis: P. BRATLEY and D.J. DAKIN 173 PROBLEM-ORIENTED LANGUAGES 183 12. POP-1: an on-line language: R.J. POPPLESTONE 185 13. Self-improvement in query languages: J.M. FOSTER 195 14. POP-2 reference manual: R.M. BURSTALL and R.J. POPPLESTONE 205 INDEX
Machine Intelligence 2
Editors:Publisher: Oliver and Boyd 1968
- Ella Dale and Donald Michie
Department of Machine Intelligence and Perception, University of EdinburghProceedings of the Second Annual Machine Intelligence Workshop, University of Edinburgh, September 1966.