Simply logical : intelligent reasoning by example

著者

書誌事項

Simply logical : intelligent reasoning by example

Peter Flach

Wiley, c1994

  • : disk
  • : book/disk set

大学図書館所蔵 件 / 全13件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

巻冊次

ISBN 9780471941521

内容説明

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.

目次

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.
巻冊次

: disk ISBN 9780471941538

内容説明

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.
巻冊次

: book/disk set ISBN 9780471942153

内容説明

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.

目次

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

「Nielsen BookData」 より

詳細情報

ページトップへ