Search records | 東京工業大学附属図書館蔵書検索

目次情報: 続きを見る

Introduction / 1：

Declarative Knowledge / 2：

Inference / 3：

Resolution / 4：

Resolution Strategies / 5：

Nonmonotonic Reasoning / 6：

Induction / 7：

Reasoning with Uncertain Beliefs / 8：

Knowledge and Belief / 9：

Metaknowledge and Metareasoning / 10：

State and Change / 11：

Planning / 12：

Intelligent-Agent Architecture Answers to Exercises / 13：

Introduction / 1：

Declarative Knowledge / 2：

Inference / 3：

目次情報: 続きを見る

Production Systems and Ai / Chapter 1：

Search Strategies for Ai Production Systems / Chapter 2：

Search Strategies for Decomposable Production Systems / Chapter 3：

The Predicate Calculus in Ai / Chapter 4：

Resolution Refutation Systems / Chapter 5：

Rule-Based Deduction Systems / Chapter 6：

Basic Plan-Generating Systems / Chapter 7：

Advanced Plan-Generating Sytems / Chapter 8：

Structured Object Representations Prospectus / Chapter 9：

Production Systems and Ai / Chapter 1：

Search Strategies for Ai Production Systems / Chapter 2：

Search Strategies for Decomposable Production Systems / Chapter 3：