Machine Intelligence Volume 9

Contents

 PREFACE by Andrei Ershov                                             v


 ABSTRACT MODELS FOR COMPUTATION

 1.  Relational programming.  R.J. POPPLESTONE                        3
 2.  The use of a graph representation in optimization of variable
     replacement in LISP in the presence of side effects.
     V.L. STEFANUK                                                   27
 3.  Modelling distributed systems.  A. YONEZAWA and C. HEWITT       41


 REPRESENTATIONS FOR ABSTRACT REASONING

 4.  A maximal method for set variables in automatic theorem-proving
     W.W. BLEDSOE                                                    53
 5.  A production system for automatic deduction.  N.J. NILSSON     101


 REPRESENTATIONS FOR REAL-WORLD REASONING

 6.  First order theories of individual concepts and propositions.
     J. McCARTHY                                                    129
 7.  A theory of approximate reasoning.  L.A. ZADETH                149


 SEARCH AND PROBLEM SOLVING

 8.  Application of heuristic problem-solving methods in computer
     communication networks.  S.I. SAMOYLENKO                       197
 9.  A computational problem-solver.  E.H. TYUGU                    211


 INDUCTIVE PROCESSES

 10. Inference of functions with an interactive system.
     J.P. JOUANNAUD and G. GUIHO                                    227
 11. On automated scientific theory formation: a case study using
     the AM program.  D.B. LENAT                                    251


 PERCEPTION AND WORLD MODELS

 12. Local organizing processes and motion schemas in visual
     perception.  M.A. ARBIB                                        287
 13. Formation of the world model in artificial intelligence
     systems.  V.P. GLADUN and Z.L. RABINOVICH


 ROBOT AND CONTROL SYSTEMS

 14. Integrated walking robot.  D.E. OKHOTSIMSKI,
     V.S. GURFINKEL, E.A. DEVYANIN and A.K. PLATONOV                313
 15. Influence of artificial intelligence methods on the solution
     of traditional control problems.  G.S. POSPELOV and
     D.A. POSPELOV                                                  331

 MACHINE ANALYSIS OF CHESS

 16. CHELOPS: A chess-oriented processing system. J. MOUSSOURIS,
     J. HOLLOWAY and R. GREENBLATT                                  351
 17. Computer analysis of a Rook end-game.  V.L. ARLAZAROV and
     A.L. FUTER                                                     361
 18. Algorithms of adaptive search.  G.M. ADELSON-VELSKY,
     V.L. ARLAZAROV and M.V. DONSKOY                                373
 19. A bibliography of computer chess.  T.A. MARSLAND               385


 KNOWLEDGE ENGINEERING

 20. Issues of representation in conveying the scope and
     limitations of intelligent assistant programs.
     B.G. BUCHANAN                                                  407
 21. The Dialogue Information Logical System.  V.M. BRIABRIN        427


 NATURAL LANGUAGE

 22. Natural language for interaction with a database.
     G.V. SENIN                                                     445
 23. AI work in the Computer Center of the Siberian branch of the
     USSR Academy of Sciences.  A.S. NARIN'JANI                     453
 24. Purposive understanding.  R.C. SCHANK and G. DEJONG            459


 This volume in the Machine Intelligence series is based on the
 Ninth International Machine Intelligence Workshop held at
 Repino, near Leningrad, in April, 1977.

Bibliographic details

Machine Intelligence 9
Editors:

J.E.Hayes

Research Associate, University of Edinburgh

Donald Michie

Professor of Machine Intelligence, University of Edinburgh

L.I. Mikulich

Artificial Intelligence Council of the USSR Academy of Sciences

Publisher: Ellis Horwood 1979

Proceedings of the Ninth Machine Intelligence Workshop, held at Repino, USSR, in April 1977.