close
1.

図書

図書
sponsored by International Joint Conferences on Artificial Intelligence, Inc. ; cosponsored and hosted by American Association for Artificial Intelligence ; in cooperation with University of California at Los Angeles ; [edited by Aravind Joshi]
出版情報: Los Altos, Calif. : M. Kaufmann [distributor], c1985  2 v. (xviii, 1309 p.) ; 28 cm
所蔵情報: loading…
2.

図書

図書
Randall Davis, Douglas B. Lenat ; [cover was designed by Nicholas Krenitsky]
出版情報: New York ; Tokyo : McGraw-Hill International Book Co., c1982  xxi, 490 p. ; 25 cm
シリーズ名: McGraw-Hill advanced computer science series
所蔵情報: loading…
3.

図書

図書
by Amarel ... [et al.] ; edited by Bonnie Lynn Webber and Nils J. Nilsson
出版情報: Los Altos, Calif. : M. Kaufmann, c1981  x, 547 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
Judea Pearl
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xvii, 382 p. ; 24 cm
シリーズ名: The Addison-Wesley series in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Patrick Henry Winston
出版情報: Reading, Mass. : Addison-Wesley, 1984  xviii, 524 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Representations and Methods / I:
The Intelligent Computer / 1:
The Field and the Book
This Book Has Three Parts
What Artificial Intelligence Can Do
Criteria for Success
Summary Background
Semantic Nets and Description Matching / 2:
Semantic Nets
The Describe-and-Match Method
The Describe-and-Match Method and Analogy Problems
The Describe-and-Match Method and Recognition of Abstractions
Problem Solving and Understanding Knowledge
Summary
Background
Generate and Test, Means-End Analysis, and Problem Reduction / 3:
The Generate-and-Test Method
The Means-Ends Analysis Method
The Problem-Reduction Method
Nets and Basic Search eI Nets and Optimal Search / 4:
Blind Methods
Heuristically Informed Methods
Nets and Optimal Search / 5:
The Best PathRedundant Paths
Trees and Adversarial Search / 6:
Algorithmic Methods
Heuristic Methods
Rules and Rule Chaining / 7:
Rule-Based Deduction Systems
Rule-Based Reaction Systems
Procedures for Forward and Backward Chaining
Rules, Substrates, and Cognitive Modeling / 8:
Rule-Based Systems Viewed as Substrate
Rule-Based Systems Viewed as Models for Human Problem Solving
Frames and Inheritance / 9:
Frames, Individuals, and Inheritance
Demon ProceduresFrames, Events, and Inheritance
Frames and Commonsense / 10:
Thematic-role Frames
Examples Using Take Illustrate How Constraints Interact
Expansion into Primitive Actions
Numeric Constraints and Propagation / 11:
Propagation of Numbers Through Numeric Constraint Nets
Propagation of Probability Bounds Through Opinion Nets
Propagation of Surface Altitudes Through Arrays
Symbolic Constraints and Propagation / 12:
Propagation of Line Labels through Drawing Junctions
Propagation of Time-Interval Relations
Five Points of Methodology
Logic and Resolution Proof / 13:
Rules of Inference
Resolution Proofs
Backtracking and Truth Maintenance / 14:
Chronological and Dependency-Directed Backtracking
Proof by Constraint Propagation
Planning / 15:
Planning Using If-Add-Delete Operators
Planning Using Situation Variables
Learning and Regularity Recognition / II:
Learning by Analyzing Differences / 16:
Induction Heuristics
Identification
Learning by Explaining Experience / 17:
Learning about Why People Act the Way they Do
Learning about Form and function
Matching
Learning by Correcting Mistakes / 18:
Isolating Suspicious Relations
Intelligent Knowledge Repair
Backg
Representations and Methods / I:
The Intelligent Computer / 1:
The Field and the Book
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼