close
1.

図書

図書
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:
2.

図書

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

図書

図書
P.H.ウィンストン編 ; 白井良明, 杉原厚吉訳
出版情報: 東京 : 産業図書, 1979.2  vii, 341p ; 22cm
シリーズ名: コンピューターサイエンス・ライブラリー
所蔵情報: loading…
4.

図書

図書
Patrick Henry Winston
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1977  xvi, 444 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science ; 8454
所蔵情報: 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
5.

図書

図書
P. H. ウィンストン著 ; 長尾真, 白井良明共訳
出版情報: 東京 : 培風館, 1980.9  vi, 276p ; 21cm
所蔵情報: loading…
6.

図書

図書
Patrick Henry Winston, editor ; with contributions from Berthold Horn ... [et al.]
出版情報: New York : McGraw-Hill, c1975  vi, 282 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
7.

図書

図書
edited by Patrick Henry Winston and Richard Henry Brown
出版情報: Cambridge, Mass. : MIT Press, c1979  2 v. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Understanding Vision / Section I:
Representing and Computing Visual Information / David Marr
Visual Detection of Light Sources / Shimon Ullman
Representing and Analyzing Surface Orientation / Kent A. Stevens
Registering Real Images Using Synthetic Images / Berthold K. P. Horn ; Brett L. Bachman
Analyzing Curved Surfaces Using Reflectance Map Techniques / Robert Woodham
Analysis of Scenes from a Moving Viewpoint / Mark A. Lavin
Manipulation and Productivity Technology / Section II:
Force Feedback in Precise Assembly Tasks / Hirochika Inoue
A Language for Automatic Mechanical Assembly / Tomas Lozano-Perez
Kinematics, Statics, and Dynamics of Two-dimensional Manipulators
Understanding Manipulator Control by Synthesizing Human Handwriting / John Hollerbach
Computer Design and Symbol Manipulation / Section III:
The LISP Machine / Alan Bawden ; Richard Greenblatt ; Jack Holloway ; Thomas Knight ; David Moon ; Daniel Weinreb
Shallow Binding in LISP 1.5 / Henry G. Baker, Jr.
Compiler Optimization based on Viewing Lambda As Rename Plus Goto / Guy L. Steele, Jr.
Control Structure as Patterns of Passing Messages / Carl Hewitt
Index
Understanding Vision / Section I:
Representing and Computing Visual Information / David Marr
Visual Detection of Light Sources / Shimon Ullman
8.

図書

図書
Winston, Patrick Henry ; Brown, Richard Henry
出版情報: Cambridge, Mass. : MIT Press, c1979  xiii, 492 p. ; 23 cm
シリーズ名: The MIT Press series in artificial intelligence ; . Artificial intelligence : an MIT perspective / edited by Patrick Henry Winston and Richard Henry Brown ; Vol. 1
所蔵情報: loading…
9.

図書

図書
Winston, Patrick Henry ; Brown, Richard Henry
出版情報: Cambridge, Mass. : MIT Press, c1979  xiii, 486 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence ; . Artificial intelligence : an MIT perspective / edited by Patrick Henry Winston and Richard Henry Brown ; Vol. 2
所蔵情報: loading…
目次情報: 続きを見る
Understanding Vision / Section I:
Representing and Computing Visual Information / David Marr
Visual Detection of Light Sources / Shimon Ullman
Representing and Analyzing Surface Orientation / Kent A. Stevens
Registering Real Images Using Synthetic Images / Berthold K. P. Horn ; Brett L. Bachman
Analyzing Curved Surfaces Using Reflectance Map Techniques / Robert Woodham
Analysis of Scenes from a Moving Viewpoint / Mark A. Lavin
Manipulation and Productivity Technology / Section II:
Force Feedback in Precise Assembly Tasks / Hirochika Inoue
A Language for Automatic Mechanical Assembly / Tomas Lozano-Perez
Kinematics, Statics, and Dynamics of Two-dimensional Manipulators
Understanding Manipulator Control by Synthesizing Human Handwriting / John Hollerbach
Computer Design and Symbol Manipulation / Section III:
The LISP Machine / Alan Bawden ; Richard Greenblatt ; Jack Holloway ; Thomas Knight ; David Moon ; Daniel Weinreb
Shallow Binding in LISP 1.5 / Henry G. Baker, Jr.
Compiler Optimization based on Viewing Lambda As Rename Plus Goto / Guy L. Steele, Jr.
Control Structure as Patterns of Passing Messages / Carl Hewitt
Index
Understanding Vision / Section I:
Representing and Computing Visual Information / David Marr
Visual Detection of Light Sources / Shimon Ullman
10.

図書

図書
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:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼