Publisher's Synopsis
This book brings to the fore the problems, methods and potentials of research in artificial intelligence and intelligent tutoring systems. It presents critical and current work from leading researchers in the field and covers knowledge representation and acquisition, learning, automatic theorem proving, neural nets, and other diverse areas of application of A1 techniques.;Divided into three parts, the first looks at machine learning, and problem solving. It covers the applications of A1 to concept acquisition, solving activities involved in theorem proving. Part two outlines how A1 can be used to enrich the capabilities of various media in educational applications, as well as treating the issue of how to teach people to develop effective learning strategies by the use of an intelligent tutoring systems. The eventual development of an intelligent tutoring systems for use in checking personal health is also examined. The final part of the book deals with a number of issues and problems in developing commercially viable software programmed with A1 techniques. The authors also look at structured induction in a commercial application in the hotel industry, and review the challenges involved in copying A1 to geographic information systems.
