INTRODUCTION vii PERSPECTIVE 1 The social implications of intelligent machines. R.L. GREGORY 3 PROGRAM PROOF AND MANIPULATION 2 Formalization of properties parallel programs. E. ASHCROFT and Z. MANNA 17 3 Programs for mechanical program verification. D.C. COOPER 43 MECHANIZED REASONING 4 Computational logic: the unification computation. J.A. ROBINSON 63 5 A note on the relation between resolution and Maslov's inverse method. D. KUEHNER 73 6 Proof-search strategies for methods of the resolution type. S.J.U. MASLOV 77 7 A partial mechanizationn of second-order logic. J.L. DARLINGTON 91 8 A further note on inductive generalization. G.D. PLOTKIN 101 HEURISTIC PARADIGMS AND CASE STUDIES 9 Bi-directional search. I. POHL 127 10 Optimal data compression. M.H. VAN EMDEN 141 11 Computer chess - A case study on the CDC 6600. D.N.L. LEVY 151 12 On generality and problem solving: A case study using the DENDRAL program. E.A. FEIGENBAUM, B.G. BUCHANAN and J. LEDERBERG 165 13 The genetics counselor. G. HUNN and J. LEDERBERG 191 COGNITIVE AND LINGUISTIC MODELS 14 Some recent models of the brain. J.E. DORAN 207 15 On interpreting Bach. H.L. LONGUET-HIGGINS and M.J. STEEDMAN 221 16 Question-answering in English. S. ISARD and H.C. LONGUET-HIGGINS 243 17 Representing natural language information in predicate calculus. E. SANDEWALL 255 APPROACHES FOR PICTURE ANALYSIS 18 Isotonic grammars, parallel grammars and picture grammars. A. ROSENFELD 281 19 Impossible objects as nonsense sentences. D.A. HUFFMAN 295 20 Analysis of curved line drawings using context and global information. A. GUZMAN 325 21 Relational descriptions in picture processing. H.G. BARROW and R.J. POPPLESTONE 377 22 Edge detection in pictures by computer using planning. M.D. KELLY 397 PROBLEM-SOLVING LANGUAGES AND SYSTEMS 23 Representations and modeling in problems of program formation. S. AMAREL 411 24 ABSET: A programming language based on sets; motivation and examples. E.W. ELCOCK, J.M. FOSTER, P.M.D. GRAY, J.J. McGREGOR and A.M. MURRAY 467 PRINCIPLES FOR DESIGNING INTELLIGENT ROBOTS 25 A logic of actions. P.J. HAYES 495 INDEX 521
Machine Intelligence 6
Editors:Publisher: Edinburgh University Press, 1971
- Bernard Meltzer
- Metamathematics Unit, University of Edinburgh
- Donald Michie
- Department of Machine Intelligence and Perception, University of Edinburgh
Proceedings of the Sixth Annual Machine Intelligence Workshop, Edinburgh, 1970.