Simply logical : intelligent reasoning by example
著者
書誌事項
Simply logical : intelligent reasoning by example
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」 より