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
Machine Intelligence 12 - Towards an Automated Logic of Human Thought
Editors:Publisher: Clarendon Press 1991
- 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
Proceedings of the Twelfth Machine Intelligence Workshop, held at Tallinn Estonia in October 1987.