Machine Intelligence 12: Towards an Automated Logic of Human Thought
Published on 7. March 1991
Book
Hardback
352 pages
978-0-19-853823-3 (ISBN)
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.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
Professional and scholarly
Illustrations
line illustrations and tables throughout
Dimensions
Height: 239 mm
Width: 157 mm
Thickness: 26 mm
Weight
656 gr
ISBN-13
978-0-19-853823-3 (9780198538233)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
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.