+612 9045 4394
 
CHECKOUT
Machine Intelligence 12 : Towards an Automated Logic of Human Thought - J. E. Hayes

Machine Intelligence 12

Towards an Automated Logic of Human Thought

By: J. E. Hayes (Editor), D. Michie (Editor), E. Tyugu (Editor)

Hardcover

Published: 7th March 1991
RRP $185.95
$120.25
35%
OFF
or 4 easy payments of $30.06 with Learn more
if ordered within
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

This is the latest volume in a series which has provided coverage of the seminal advances in machine intelligence over the past two decades. It marks a turning point in the series' direction, one that will focus on the vital problem of scientific reasoning and the application of artificial intelligence to analyzing the sometimes staggering quantities of data generated in fields from biotechnology to planetary physics. The book includes contributions from internationally recognized experts who offer their insights on important practical and theoretical developments. It also includes an extensive bibliography that will serve as a valuable guide to the literature.

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.

ISBN: 9780198538233
ISBN-10: 0198538235
Series: MACHINE INTELLIGENCE
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 352
Published: 7th March 1991
Publisher: Oxford University Press
Country of Publication: GB
Dimensions (cm): 23.9 x 15.7  x 2.6
Weight (kg): 0.66