close
1.

図書
図書
1. Logical foundations of artificial intelligence
Michael R. Genesereth and Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann, c1987  xviii, 405 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
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：
2.

図書
図書
2. Principles of artificial intelligence
Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann Publishers, [1986] c1980  xv, 476 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
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：
3.

図書
図書
3. Principles of artificial intelligence (: gw ; : us)
Nils J. Nilsson
出版情報: Berlin ; New York : Springer, 1982  xv, 476 p. ; 25 cm
シリーズ名: Symbolic computation
所蔵情報: loading…
目次情報: 続きを見る
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：
4.

図書
図書
4. Principles of artificial intelligence
Nils J. Nilsson
出版情報: Palo Alto, Calif. : Tioga Pub. Co., c1980  xv, 476 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼