Publisher's Synopsis
The real subtleties and complexities of human reasoning, the authors argue, will never be captured by systems that rely upon a single, homogenous knowledge base and employ a single, uniform mode of reasoning.;In this book the authors describe, in detail, the design and development of the CHECK project at the University of Turin, which was undertaken to demonstrate the feasibility of combining different kinds of knowledge structure and different modes of reasoning within a single system.;The book demonstrates that this innovative approach is practical and has many advantages. The description of the CHECK system will allow other researchers, working in a whole range of different domains, to build upon the authors' work.;This book should be of interest to researchers and systems designers interested in expert systems.
