Simply Logical
Intelligent Reasoning by Example
Published on 24. March 1994
Book
Paperback/Softback
256 pages
978-0-471-94152-1 (ISBN)
Description
Designed as an introduction to PROLOG programming for artificial intelligence, this text discusses both basic and advanced AI techniques, as implemented in PROLOG. Writing for the undergraduate, the author simplifies the basic concepts of logic programming, seen as a useful framework for explaining AI techniques. Exercises are integrated with explanatory text and difficult concepts are made clear by the use of simple, real-world examples. As a further teaching aid, each technique discussed is accompanied by a program implementing it, and the importance of learning the skill of program development is emphasized.
More details
Language
English
Place of publication
Chichester
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Illustrations
Ill.
Dimensions
Height: 244 mm
Width: 168 mm
Weight
510 gr
ISBN-13
978-0-471-94152-1 (9780471941521)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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. Searching Graphs. Informed Search. ADVANCED REASONING TECHNIQUES. Reasoning with Natural Language. Reasoning with Incomplete Information. Inductive Reasoning. Appendices. Index.