Publisher's Synopsis
This book, written for those with a theoretical understanding of AI, but little experience of the problems that arise in the practical application of that understanding, is a review of AI programming techniques.;Concrete implementations are presented for many well-known concepts in AI, eg non-linear hierarchical planning, theorem proving for modal logic; rule compilation for expert systems; line finding based on local computation; and chart parsing for functional unification grammar. All the programs are written in the high-level AI programming language POP-II, the core language of the POPLOG system, an integrated interactive software development environment. The authors show how well suited POP-II is to its original function, as well as to the systems work that has been carried out in it for POPLOG.;The book is divided into five self-contained chapters representing major areas of AI: the programs were developed by the Cognitive Studies Program and the Experimental Psychology Laboratory at the University of Sussex. They have undergone many modifications before being presented in this text, and have all been rigorously tried and tested by the authors.
