登入選單

返回Google圖書搜尋

Algorithmic Methods for Artificial Intelligence

Michael GriffithsCarol Palissier

出版	Chapman and Hall, 1987
主題	Computers / Artificial Intelligence / General
ISBN	04120154129780412015410
URL	http://books.google.com.hk/books?id=c5RQAAAAMAAJ&hl=&source=gbs_api

註釋

This book provides students of computer studies and professional programmers with a practical introduction to artificial intelligence. It considers both algorithmic and programming methods, explains the theoretical concepts and includes numerous examples of the various techniques used. The text begins by reviewing the history and application of artificial intelligence, and the data structures and program structures involved, including trees, graphs and recursive programs. It then goes on to consider the resolution methods that must be applied to non-deterministic problems, introducing enumeration and theorem-proving. Chapter 4 looks at theorem proving more closely, and the use of basic mathematical methods are demonstrated in detail. The following two chapters are concerned with the practical application of these methods. Previously used examples illustrate the development of an expert system, and LISP and PROLOG are described in detail. The algorithmic language used is outlined in the first appendix, and the second appendix provides solutions to the exercises that appear throughout the book.