Machine Intelligence Volume 6

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

Contents

 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

Bibliographic details

Machine Intelligence 6
Editors:
Bernard Meltzer
Metamathematics Unit, University of Edinburgh
Donald Michie
Department of Machine Intelligence and Perception, University of Edinburgh
Publisher: Edinburgh University Press, 1971

Proceedings of the Sixth Annual Machine Intelligence Workshop, Edinburgh, 1970.

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