Artificial Intelligence

The eleven chapters This text on Artificial Intelligence uses the unifying thread of SEARCH to bring together the major techniques used in symbolic Artificial Intelligence. The authors included program code to illustrate concepts - code is offered in both POP-11 and Prolog. Each chapter covers a technique and are divided into three sections: 1) introduction to the technique; 2) development of a low-level of (POP-11) implementation; 3) development of a high-level (Prolog) implementation. This practical book should be valuable to those experienced in artificial intelligence, students with some programming background, and academics and professionals looking for a concise discussion of artificial intelligence through SEARCH.