Simply logical : intelligent reasoning by example

Author(s)

Bibliographic Information

Simply logical : intelligent reasoning by example

Peter Flach

Wiley, c1994

  • : disk
  • : book/disk set

Available at  / 13 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

Volume

ISBN 9780471941521

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.

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. Searching Graphs. Informed Search. ADVANCED REASONING TECHNIQUES. Reasoning with Natural Language. Reasoning with Incomplete Information. Inductive Reasoning. Appendices. Index.
Volume

: disk ISBN 9780471941538

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.
Volume

: book/disk set ISBN 9780471942153

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.

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
  • Searching Graphs
  • Informed Search
  • ADVANCED REASONING TECHNIQUES
  • Reasoning with Natural Language
  • Reasoning with Incomplete Information
  • Inductive Reasoning
  • Appendices
  • Index.

by "Nielsen BookData"

Details

Page Top