An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.
|Series:||Professional Computing Series|
|Product dimensions:||9.00(w) x 6.00(h) x 0.59(d)|
Table of Contents
LOGIC AND LOGIC PROGRAMMING.
A Brief Introduction to Clausal Logic.
Clausal Logic and Resolution: Theoretical Backgrounds.
Logic Programming and Prolog.
REASONING WITH STRUCTURED KNOWLEDGE.
Representing Structured Knowledge.
ADVANCED REASONING TECHNIQUES.
Reasoning with Natural Language.
Reasoning with Incomplete Information.