close
1.

図書
図書
1. LISP
P.H. ウィンストン, B.K.P. ホーン著 ; 白井良明, 安部憲広訳
出版情報: 東京 : 培風館, 1982.9  xi, 385p ; 22cm
シリーズ名: 情報処理シリーズ ; 4
所蔵情報: loading…
2.

図書
図書
2. Artificial intelligence. 2nd ed
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
3.

図書
図書
3. The AI business : the commercial uses of artificial intelligence (: pbk.)
edited by Patrick H. Winston, Karen A. Prendergast
出版情報: Cambridge, Mass. : MIT Press, c1984  324 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Perspective / Patrick Henry Winston1：
Expert Systems / Part I：
Amplifying Expertise with Expert Systems / Randall Davis2：
XCON: An Expert Configuration System at Digital Equipment Corporation / Arnold Kraft3：
Dipmeter Advisor: An Expert Log Analysis System at Schlumberger / James D. Baker4：
CADUCEUS: An Experimental Expert System for Medical Diagnosis / Harry E. Pople, Jr.5：
The Low Road, the Middle Road, and the High Road / John Seely Brown6：
Expert Systems: A Discussion / 7：
Work and Play / Part II：
Inventing the Future / Alan Kay8：
The Engineer's Apprentice / Aryeh Finegold9：
The Programmer's Apprentice / Charles Rich10：
Intelligent Advisory Systems / Roger C. Schank11：
Natural Language Front Ends / Larry R. Harris12：
Work and Play: A Discussion / 13：
Robotics / Part III：
Intelligent Robots: Connecting Perception to Action / Michael Brady14：
Intelligent Robots: Moving toward Megaassembly / Philippe Villers15：
Intelligent Robots: Myth or Reality / Paul M. Russo16：
Robotics: A Discussion / 17：
Today and Tomorrow / Part IV：
The Problems and the Promise / Marvin L. Minsky18：
An Investment Opportunity? / Frederick R. Adler19：
Financing the Future / William H. Janeway20：
Today and Tomorrow: A Discussion / 21：
From the Blocks World to the Business World / Karen A. Prendergast22：
How to Learn More
Bibliography
Glossary
Index
Preface
Perspective / Patrick Henry Winston1：
Expert Systems / Part I：
4.

図書
図書
4. LISP. 3rd ed
Patrick Henry Winston, Berthold Klaus Paul Horn
出版情報: Reading, Mass. : Addison-Wesley, c1989  xxi, 611 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Understanding Symbol Manipulation / 1：
Basic LISP Primitives / 2：
Procedure Definition and Binding / 3：
Predicates and Conditionals / 4：
Procedure Abstraction and Recursion / 5：
Data Abstraction and Mapping / 6：
Iteration on Numbers and Lists / 7：
File Editing, Compiling, and Loading / 8：
Printing and Reading / 9：
Rules for Good Programming and Tools for Debugging / 10：
Properties and Arrays / 11：
Macros and Backquote / 12：
Structures / 13：
Classes and Generic Functions / 14：
Lexical Variables, Generators, and Encapsulation / 15：
Special Variables / 16：
List Storage, Surgery, and Reclamation / 17：
LISP in LISP / 18：
Examples Involving Search / 19：
Examples Involving Simulation / 20：
The Blocks World with Classes and Methods / 21：
Answering Questions about Goals / 22：
Constraint Propagation / 23：
Symbolic Pattern Matching / 24：
Streams and Delayed Evaluation / 25：
Rule-Based Expert Systems and Forward Chaining / 26：
Backward Chaining and PROLOG / 27：
Interpreting Transition Trees / 28：
Understanding Symbol Manipulation / 1：
Basic LISP Primitives / 2：
Procedure Definition and Binding / 3：
5.

図書
図書
5. 人工知能
P. H. ウィンストン著 ; 長尾真, 白井良明共訳
出版情報: 東京 : 培風館, 1980.9  vi, 276p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼