Machine Intelligence Volume 12

Here is the contents page for volume 12 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 6 7 8 9 10 11 13 14.

Contents

 FOREWORD by Evgeni Velikhov, Vice President of the 
          Academy of Sciences of the USSR                             v

 PREFACE by Donald Michie                                           vii

 ACKNOWLEDGEMENTS                                                   vii        

 MECHANICS OF KNOWLEDGE PROCESSING

     1. Modularity of knowledge                                       3
        E. TYUGU
     2. Propositional logic programming                              17
        G. MINTS
     3. Computational models in PROLOG                               39
        A. A. LOMP
     4. On the construction of unifying terms modulo
        a set of substitutions                                       49
        S. LANGE
     5. Plausible inference and negation in Horn clause logic        55
        T. B. NIBLETT
     6. A note on first-order theories of individual concepts
        and propositions                                             79
        B. ARBAB

 INDUCTIVE FORMATION OF PROGRAMS AND DESCRIPTIONS

     7. Inverting the resolution principle                           93
        S. H. MUGGLETON
     8. Non-monotonic learning                                      105
        M. BAIN and A. H. MUGGLETON
     9. Interactive induction                                       121
        W. BUNTINE and D. STIRLING
    10. Models of inductive syntactical synthesis                   139
        J. BARZDIN, A. BRAZMA, and E. KINBER

 OPTIMALITY AND ERROR IN LEARNING SYSTEMS

     11. Deriving the learning bias from the rule properties        151
         J. G. GANASCIA
     12. Error tolerant learning systems                            169
         C. SAMMUT
     13. Use of sequential Bayes with class probability trees       187
         D. MICHIE and A. AL ATTAR

 QUALITATIVE REPRESENTATIONS OF KNOWLEDGE

     14. Exploring structures: an exercise in model-based
         interpretation and planning                                205
         I. BRATKO
     15. Learning of causality by a robot                           225
         P. MOWFORTH and T. ZRIMEC
     16. A qualitative way of solving the pole balancing problem    241
         A. MAKAROVIC
     17. Varying levels of abstraction in qualitative modelling     259
         I. MOZETIC, I. BRATKO, and T. URBANCIC

 APPLICATIONS AND MODELS OF KNOWLEDGE ACQUISITION

      18. Information content of chess positions: implications for
          game-specific knowledge of chess players                  283
          J. NIEVERGELT
      19. PROMIS: experiments in machine learning and protein
          folding                                                   291
          R. D. KING
      20. Design of knowledge processing systems-
          principles and practice                                   311
          S. OHSUGA

 INDEX                                                              331

Bibliographic details

Machine Intelligence 12 - Towards an Automated Logic of Human Thought
Editors:
J. E. Hayes
Research Associate, Turing Institute
Donald Michie
Chief Scientist, Turing Institute
E. Tyugu
Head of Software, Institute of Cybernetics, Estonian Academy of Sciences
Publisher: Clarendon Press 1991

Proceedings of the Twelfth Machine Intelligence Workshop, held at Tallinn Estonia in October 1987.

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