Publisher's Synopsis
Here is a foundation book for the understanding of heuristic problem solving using state spaces, expert system generators, and automatic theorem proving. It is organised into three 'chapters' which correspond with these themes, each containing a substantial review of the concepts, a detailed description of the basic algorithms in LISP, with programs introduced in a naturally progressive way, allowing readers to fully master the relatively complex programs achieved.;An elementary knowledge of LISP will suffice the reader to tackle this book, and to follow chapters in their given order. Programs are introduced in successive stages, for example, the five stages in the construction of the PROLOG-type prover. This allows the reader to master the relatively complex nature of the programs. This volume will be of benefit to researchers and practitioners of artificial intelligence, computer science, expert systems, cognitive science, knowledge engineering, heuristics and theorem proving.