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.
Machine Intelligence 9
Editors:Publisher: Ellis Horwood 1979
- 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
Proceedings of the Ninth Machine Intelligence Workshop, held at Repino, USSR, in April 1977.