Machine Intelligence Volume 14

Preface

 The 14th Machine Intelligence workshop has special significance since
 it commenced on Donald Michie's 70th birthday (11th November, 1993).
 Michie has had a distinguished scientific career of the highest order.
 During the Second World War he worked on machine-oriented cryptography
 at Bletchley Park, where his friends and associates included I.J. Good
 and Alan Turing. As is well known, Turing not only laid the theoretical
 grounds for modern digital computing but was also one of the most
 influential forefathers of research into Machine Intelligence. Turing's
 discussions with Donald Michie and Jack Good concerning the possibility
 of Machine Intelligence inspired Michie's later involvement in the
 subject.

 After the war, Michie trained as a geneticist and during the 1950's
 carried out award-winning work that led to today's medical and
 agricultural uses of intra-uterine embryo transfer. In the early 1960's
 Michie founded the first University department and teaching course in
 Machine Intelligence. Its lineal successor, the Department of
 Artificial Intelligence, is still the strongest in this area within the
 UK. At Edinburgh Michie headed the team that built, programmed and
 demonstrated the world's first non-trivial assembly robot. Michie has
 also made substantial contributions to graph search and
 statistically-based machine learning.

 Donald Michie has been Editor-in-chief of the Machine Intelligence
 series since the 1960's. The series contains many of the classic papers
 of the Artificial Intelligence literature. To mark the practical
 orientation of Michie's scientific contributions, the theme of this
 volume is ``Applied Machine Intelligence''. Many of the papers reflect
 Donald Michie's continuing interests in Machine Learning, Biology,
 Robotics and Control.

 August 1994
                                                       Stephen Muggleton

Acknowledgements

 The Machine Intelligence 14 workshop was generously supported by the
 Daiwa Anglo-Japanese Foundation under an agreement concluded in 1991
 between the Turing Institute, UK and the Japan Society for Artificial
 Intelligence, Tokyo. The Foundation provided funding, covering
 Workshops 13 and 14, to defray travel and attendance costs for six
 Japanese and six British scientists nominated by the respective
 parties. The Daiwa Anglo-Japanese Foundation has recently announced its
 intention to extend its support to Workshop 15, which will be held in
 July 1995 at St. Catherine's College Oxford. Hitachi kindly provided
 support and facilities by allowing the Machine Intelligence 14 workshop
 to be held at its spacious Advanced Research Laboratory near Tokyo.
 Like its predecessor, Machine Intelligence 13, this volume reflects the
 vigour with which the subject is being advanced in Japan.

 Thanks are also due to the Oxford University Computing Laboratory for
 kindly allowing use of printing and document preparation facilities in
 the production of this volume.

Contents

 COMPLEX DECISION TAKING

 1.  Game Mastery and Intelligence                                     3
     DONALD MICHIE

 2.  Reacting, Planning, and Learning in an Autonomous Agent          29
     SCOTT BENSON AND NILS J. NILSSON

 3.  Multi-entity Models                                              65
     YORAM MOSES AND MOSHE TENNENHOLTZ

 4.  Putting knowledge rich plan representations to use               91
     AUSTIN TATE

 5.  On dealing with dynamic utility of learned knowledge            113
     MASAKI SUWA AND HIROSHI MOTODA


 INDUCTIVE LOGIC PROGRAMMING

 6.  Inverting Entailment and Progol                                 135
     STEPHEN MUGGLETON

 7.  Learning Logic Programs and Regularities from Examples
     by Inductive Inference                                          191
     S. AKIBA AND T. SATO

 8.  Variations and local exceptions in inductive logic 
     programming                                                     213
     ARUL SIROMONEY AND RANI SIROMONEY

 9.  Inductive Logic Programming With Large-Scale
     Unstructured Data                                               235
     MICHAEL BAIN AND ASHWIN SRINIVASAN


 APPLIED MACHINE LEARNING

 10. Discovery of Protein Structural Constraints in a
     Deductive Database using Inductive Logic Programming            275
     ROSS D. KING, DOMINIC A. CLARK, JACK SHIRAZI,
     MICHAEL J.E. STERNBERG

 11. Controlling a steel mill with BOXES                             303
     MICHAEL MCGARITY, CLAUDE SAMMUT AND DAVID CLEMENTS

 12. A Reasoning System for Legal Analogy                            329
     MAKOTO HARAGUCHI

 13. A concept learning algorithm with adaptive search               353
     KAZUMI SAITO AND RYOHEI NAKANO


 DYNAMIC CONTROL

 14. Deriving qualitative control for dynamic systems                373
     IVAN BRATKO

 15. Behavioural clones and cognitive skill models                   395
     DONALD MICHIE AND CLAUDE SAMMUT

 16. A classification of abduction: abduction for
     logic programming                                               405
     KOUICHI HIRATA


 COMPUTATIONAL LEARNING THEORY

 17. Efficient algorithms for inductive learning -
     an application of multi-linear functions to
     inductive learning                                              435
     HIROSHI TSUKIMOTO AND CHIE MORITA

Bibliographic details

Machine Intelligence 14 - Applied Machine Intelligence
Editors:

K. Furukawa

Keio University, Tokyo

Donald Michie

Emeritus Professor, Edinburgh University

S. Muggleton

Oxford University Computing Laboratory

Publisher: Oxford University Press 1995

Proceedings of the Fourteenth Machine Intelligence Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan.