Publisher's Synopsis
This study 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 state-of-the-art 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 demonstrate the suitability of POP-II 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, all of which have been modified and validated by the authors, were developed by the Cognitive Studies Program and the Experimental Psychology Laboratory at the University of Sussex.