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
Machine Intelligence 4
Publisher: Edinburgh University Press, 1969
- Bernard Meltzer
- Metamathematics Unit, University of Edinburgh
- Donald Michie
- Department of Machine Intelligence and Perception, University of Edinburgh
Proceedings of the Fourth Annual Machine Intelligence Workshop, Edinburgh, 1968.