Towards an automated logic of human thought
Author(s)
Bibliographic Information
Towards an automated logic of human thought
(Machine intelligence / edited by N.L. Collins & Donald Michie, 12)
Clarendon Press , Oxford University Press, 1991
Available at 44 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
The twelfth volume of this well-known series of review volumes in artificial intelligence covers the following subjects: mechanics of knowledge processing, inductive formation of programs and descriptions, optimality and error in learning systems, qualitative representations of knowledge, and applications and models of knowledge acquisition. The associated workshop took place in Tallin, Estonia in October 1987.
Table of Contents
- MECHANICS OF KNOWLEDGE PROCESSING: E. Tyugu: Modularity of knowledge
- G. Mints: Propositional logic programming
- A. Lomp: Computational models in Prolog
- S. Lange: On the construction of unifying terms modulo a set of substitutions
- T.B. Niblett: Plausible inference and negation in Horn clause logic
- B. Arbab: A note on first-order theories of individual concepts and propositions
- INDUCTIVE FORMATION OF PROGRAMS AND DESCRIPTIONS: S.H. Muggleton: Inverting the resolution principle
- M. Bain & S.H. Muggleton: Non-monotonic learning
- W. Buntine & D. Stirling: Interactive induction
- J. Barzdin, A. Brazma, & E. Kinber: Models of inductive syntactical synthesis
- OPTIMALITY AND ERROR IN LEARNING SYSTEMS: J.G. Ganascia: Deriving the learning bias from rule properties
- C. Sammut: Error tolerant learning systems
- D. Michie & A. Al-Attar: Use of sequential Bayes with class probability trees
- QUALITATIVE REPRESENTATIONS OF KNOWLEDGE: I. Bratko: Exploring structures: an exercise in model-based interpretation and planning
- P. Mowforth & T. Zrimec: Learning of causality by a robot
- A. Makarovic: A qualitative way of solving the pole balancing problem
- APPLICATIONS AND MODELS OF KNOWLEDGE ACQUISITION: J. Nievergelt: Information content of chess positions: implications for chess specific knowledge of chess players
- R. King: Promis: experiments in machine learning for prediction of protein folding
- I. Mozetic, I. Bratko, & T. Urbancic: Varying levels of abstraction in qualitative modelling
- S. Oshuga: Design of knowledge processing systems - principle and practice.
by "Nielsen BookData"