close
1.

図書

図書
三浦宏文著
出版情報: 東京 : 読売新聞社, 1986.7  227p ; 19cm
シリーズ名: 読売科学選書 ; 10
所蔵情報: loading…
2.

図書

図書
ヒューバート・L・ドレイファス, スチュアート・E・ドレイファス著 ; 椋田直子訳
出版情報: 東京 : アスキー, 1987.4  iii, 325, 18p ; 20cm
シリーズ名: 海外ブックス
所蔵情報: loading…
3.

図書

図書
R.S.Michalski [ほか] 編 ; 電総研人工知能研究グループ訳
出版情報: 東京 : 共立出版, 1987.6  ix, 181p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第1巻
所蔵情報: loading…
4.

図書

図書
溝口文雄編著
出版情報: 東京 : オーム社, 1986.2  v, 150p ; 27cm
所蔵情報: loading…
5.

図書

図書
R.S.Michalski他編 ; 電総研人工知能研究グループ訳
出版情報: 東京 : 共立出版, 1987.8  viii, 190p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第3巻
所蔵情報: loading…
6.

図書

図書
田中幸吉編集
出版情報: 東京 : 朝倉書店, 1984.1  xiv, 411p ; 22cm
所蔵情報: loading…
7.

図書

図書
エドワード・ファイゲンバウム, パメラ・マコーダック著 ; 木村繁訳
出版情報: 東京 : ティビーエス・ブリタニカ, 1983.8  366p ; 20cm
所蔵情報: loading…
8.

図書

図書
戸内順一著 ; 佑学社企画・編集・製作
出版情報: 東京 : 啓学出版, 1987.1  180p ; 19cm
所蔵情報: loading…
9.

図書

図書
戸田正直著
出版情報: 東京 : ダイヤモンド社, 1987.6  v, 189p ; 20cm
所蔵情報: loading…
10.

図書

図書
Nils J.Nilsson著 ; 白井良明 [ほか] 訳
出版情報: 東京 : 日本コンピュータ協会, 1983.1  xiv, 448p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 26
所蔵情報: loading…
11.

図書

図書
矢田光治編
出版情報: 東京 : オーム社, 1987.5  vii, 154p ; 21cm
所蔵情報: loading…
12.

図書

図書
R.S.Michalski他編 ; 電総研人工知能研究グループ訳
出版情報: 東京 : 共立出版, 1987.7  ix, 235p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第2巻
所蔵情報: loading…
13.

図書

図書
Charniak [ほか] 著 ; 白井英俊, 片桐恭弘訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xvi, 393p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 49
所蔵情報: loading…
14.

図書

図書
R.C.シャンク著 ; 石崎俊訳
出版情報: 東京 : ダイヤモンド社, 1985.11  x, 316p ; 20cm
所蔵情報: loading…
15.

図書

図書
上野晴樹著
出版情報: 東京 : オーム社, 1985.5  vii, 208p ; 22cm
所蔵情報: loading…
16.

図書

図書
大須賀節雄著
出版情報: 東京 : オーム社, 1986.11  viii, 214p ; 22cm
シリーズ名: 知識工学講座 ; 1
所蔵情報: loading…
17.

図書

図書
那野比古著
出版情報: 東京 : 日本経済新聞社, 1984.8  216p ; 19cm
所蔵情報: loading…
18.

図書

図書
P.マコーダック著 ; 黒川利明訳
出版情報: 東京 : 培風館, 1983.11  xii, 431p ; 22cm
所蔵情報: loading…
19.

図書

図書
古川康一, 溝口文雄共編 ; 淵一博監修
出版情報: 東京 : 共立出版, 1986.2  viii, 198p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 1
所蔵情報: loading…
20.

図書

図書
R. B. バナージ著 ; 高原康彦, 中野文平, 宇治橋義弘訳
出版情報: 東京 : 共立出版, 1983.6  xiii, 284p ; 22cm
所蔵情報: loading…
21.

図書

図書
Stuart C.Shapiro著 ; 松田利夫訳
出版情報: 東京 : 共立出版, 1985.12  4, 2, 219p ; 21cm
所蔵情報: loading…
22.

図書

図書
白井良明著
出版情報: 東京 : 岩波書店, 1985.12  viii, 142p ; 19cm
シリーズ名: New science age ; 15
所蔵情報: loading…
23.

図書

図書
スティーヴ・トーランス編 ; 土屋俊 [ほか] 訳 ; 村上陽一郎監訳
出版情報: 東京 : 産業図書, 1985.11  271p ; 22cm
所蔵情報: loading…
24.

図書

図書
甘利俊一著
出版情報: 東京 : 岩波書店, 1986.3  ix, 140p ; 19cm
シリーズ名: New science age ; 17
所蔵情報: loading…
25.

図書

図書
Ramakant Nevatia著 ; 南敏監訳
出版情報: 東京 : 啓学出版, 1986.8  xiii, 239p ; 22cm
所蔵情報: loading…
26.

図書

図書
白井良明, 辻井潤一 [著]
出版情報: 東京 : 岩波書店, 1982.4  viii, 204p ; 22cm
シリーズ名: 岩波講座情報科学 ; 22
所蔵情報: loading…
27.

図書

図書
和多田作一郎著
出版情報: 東京 : 講談社, 1988.7  260, 7p ; 18cm
シリーズ名: ブルーバックス ; B-735
所蔵情報: loading…
28.

図書

図書
塚本克治 編・著
出版情報: 東京 : アスキー, 1988.4  286p ; 26cm
所蔵情報: loading…
29.

図書

図書
赤木新介著
出版情報: 東京 : コロナ社, 1988.4  ix, 236p ; 22cm
シリーズ名: コンピュータ制御機械システムシリーズ / 増淵正美 [ほか] 編 ; 1
所蔵情報: loading…
30.

図書

図書
矢矧晴一郎著
出版情報: 東京 : オーム社, 1988.3  143p ; 21cm
所蔵情報: loading…
31.

図書

図書
高野真著
出版情報: 東京 : 啓学出版, 1988.3  vii, 182p ; 26cm
所蔵情報: loading…
32.

図書

図書
R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 石崎俊翻訳編集責任
出版情報: 東京 : 共立出版, 1988.5  ix, 235p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第5巻
所蔵情報: loading…
目次情報: 続きを見る
1 : 規則の強化と監視規則の蓄積による学習
2 : イベント系列の予測学習
3 : 概念の帰納学習のためのバイアスの移動
4 : 概念学習におけるノイズの影響
5 : 質問による概念学習
6 : 豊富な入力知職における概念学習—一般化に基づく記憶
7 : 学習における一般化段階の改善
1 : 規則の強化と監視規則の蓄積による学習
2 : イベント系列の予測学習
3 : 概念の帰納学習のためのバイアスの移動
概要: 米国の著名研究者達が“知識獲得・学習”の歴史から将来展望までを集大成したもので、知識獲得・学習の研究成果を網羅し、帰納学習、類推学習などの基礎理論から応用システムまで幅広く紹介。
33.

図書

図書
合原一幸著
出版情報: 東京 : 東京電機大学出版局, 1988.4  179p ; 21cm
所蔵情報: loading…
34.

図書

図書
V・ブライテンベルク著 ; 加地大介訳
出版情報: 東京 : 哲学書房, 1987.6  232p ; 20cm
所蔵情報: loading…
35.

図書

図書
上前淳一郎著
出版情報: 東京 : 講談社, 1985.11  334p ; 20cm
所蔵情報: loading…
36.

図書

図書
J.S.アルバス著 ; 小杉幸夫 [ほか] 訳
出版情報: 東京 : 啓学出版, 1984.5  viii, 396p ; 23cm
所蔵情報: loading…
37.

図書

図書
R. S. Michalski [ほか] 編 ; 電総研人工知能研究グルーフ [ほか] 訳
出版情報: 東京 : 共立出版, 1988.7  viii, 195p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第6巻
所蔵情報: loading…
38.

図書

図書
野口正一, 滝沢誠共著
出版情報: 東京 : オーム社, 1986.11  ix, 255p ; 22cm
所蔵情報: loading…
39.

図書

図書
W・E・L・グリムソン, R・S・パティル編 ; 篠原靖志 [ほか] 訳
出版情報: 東京 : パーソナルメディア, 1989.9  ii, 396p ; 22cm
所蔵情報: loading…
40.

図書

図書
飯沼一元編 ; ニューロンネットグループ, 桐谷滋著
出版情報: 東京 : 技術評論社, 1989.9  318p ; 21cm
所蔵情報: loading…
41.

図書

図書
R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳著
出版情報: 東京 : 共立出版, 1989.10  x, 188p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第8巻
所蔵情報: loading…
42.

図書

図書
R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳
出版情報: 東京 : 共立出版, 1988.12  ix, 190p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第7巻
所蔵情報: loading…
43.

図書

図書
福島邦彦著
出版情報: 東京 : 朝倉書店, 1989.6  vi, 188p ; 27cm
所蔵情報: loading…
44.

図書

図書
テリー・ウィノグラード, フェルナンド・フローレス著 ; 平賀譲訳
出版情報: 東京 : 産業図書, 1989.6  xv, 340p ; 20cm
所蔵情報: loading…
45.

図書

図書
寺野寿郎, 浅居喜代治, 菅野道夫共編 ; 浅居喜代治 [ほか] 執筆
出版情報: 東京 : オーム社, 1989.5  vii, 290p ; 22cm
所蔵情報: loading…
46.

図書

図書
那野比古著
出版情報: 東京 : 講談社, 1989.1  225p ; 19cm
シリーズ名: 講談社ビジネス
所蔵情報: loading…
47.

図書

図書
寺野寿郎, 浅居喜代治, 菅野道夫共編
出版情報: 東京 : オーム社, 1987.4  vii, 255p ; 22cm
所蔵情報: loading…
48.

図書

図書
情報処理学会編
出版情報: 東京 : オーム社, 1987.5  xiv, 224p ; 22cm
所蔵情報: loading…
49.

図書

図書
山崎晴明, 宮崎収兄共著
出版情報: 東京 : オーム社, 1989.10  vi,139p ; 21cm
シリーズ名: COMシリーズ / 野口正一 [ほか] 編
所蔵情報: loading…
50.

図書

図書
相磯秀夫, 甘利俊一監修 ; 相磯秀夫 [ほか] 著
出版情報: 東京 : 三田出版会, 1989.10  258p ; 20cm
所蔵情報: loading…
51.

図書

図書
ICOT-JIPDEC AIセンター編
出版情報: 東京 : 日本情報処理開発協会 , 東京 : コンピュータ・エイジ社, 1989.12-  冊 ; 26cm
所蔵情報: loading…
52.

図書

図書
Raymond Turner著 ; 松田利夫, 石本新訳
出版情報: 東京 : 共立出版, 1989.12  vi, 143p ; 22cm
所蔵情報: loading…
53.

図書

図書
出版情報: 東京 : 日刊工業新聞社, 1982.9  208p ; 26cm
シリーズ名: NK mook ; 15 . 日本の最新技術シリーズ||ニホン ノ サイシン ギジュツ シリーズ ; 8
所蔵情報: loading…
54.

図書

図書
那野比古著
出版情報: [東村山] : 教育社, 1985.5  150p ; 18cm
シリーズ名: 入門新書 ; . 時事問題解説||ジジ モンダイ カイセツ ; 411
所蔵情報: loading…
55.

図書

図書
小林重信著
出版情報: 東京 : 昭晃堂, 1986.12  2, iii, 5, 192p ; 22cm
シリーズ名: 人工知能シリーズ ; 10
所蔵情報: loading…
56.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
57.

図書

図書
sponsor, International Joint Conferences on Artificial Intelligence, Inc. ; cosponsors, Gesellschaft für Informatik ... [et al.] ; [edited by Alan Bundy]
出版情報: Los Altos, Calif. : W. Kaufmann [distributor], c1983  2 v. (xix, 1206 p.) ; 28 cm
所蔵情報: loading…
58.

図書

図書
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 227 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 265
所蔵情報: loading…
59.

図書

図書
edited by J.E. Hayes, Donald Michie
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1983  xvii, 206 p. ; 24 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
60.

図書

図書
Elaine Rich
出版情報: New York ; Auckland : McGraw-Hill, c1983  xii, 436 p. ; 24 cm
シリーズ名: McGraw-Hill series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Preface
Problems and Search / I:
What Is Artificial Intelligence? / 1:
The AI Problems / 1.1:
The Underlying Assumption / 1.2:
What Is an AI Technique? / 1.3:
The Level of the Model / 1.4:
Criteria for Success / 1.5:
Some General References / 1.6:
One Final Word / 1.7:
Exercises / 1.8:
Problems, Problem Spaces, and Search / 2:
Defining the Problem as a State Space Search / 2.1:
Production Systems / 2.2:
Problem Characteristics / 2.3:
Production System Characteristics / 2.4:
Issues in the Design of Search Programs / 2.5:
Additional Problems / 2.6:
Summary / 2.7:
Heuristic Search Techniques / 2.8:
Generate-and-Test / 3.1:
Hill Climbing / 3.2:
Best-First Search / 3.3:
Problem Reduction / 3.4:
Constraint Satisfaction / 3.5:
Means-Ends Analysis / 3.6:
Knowledge Representation / 3.7:
Knowledge Representation Issues / 4:
Representations and Mappings / 4.1:
Approaches to Knowledge Representation / 4.2:
Issues in Knowledge Representation / 4.3:
The Frame Problem / 4.4:
Using Predicate Logic / 4.5:
Representing Simple Facts in Logic / 5.1:
Representing Instance and Isa Relationships / 5.2:
Computable Functions and Predicates / 5.3:
Resolution / 5.4:
Natural Deduction / 5.5:
Representing Knowledge Using Rules / 5.6:
Procedural versus Declarative Knowledge / 6.1:
Logic Programming / 6.2:
Forward versus Backward Reasoning / 6.3:
Matching / 6.4:
Control Knowledge / 6.5:
Symbolic Reasoning under Uncertainty / 6.6:
Introduction to Nonmonotonic Reasoning / 7.1:
Logics for Nonmonotonic Reasoning / 7.2:
Implementation Issues / 7.3:
Augmenting a Problem Solver / 7.4:
Implementation: Depth-First Search / 7.5:
Implementation: Breadth-First Search / 7.6:
Statistical Reasoning / 7.7:
Probability and Bayes' Theorem / 8.1:
Certainty Factors and Rule-Based Systems / 8.2:
Bayesian Networks / 8.3:
Dempster-Shafer Theory / 8.4:
Fuzzy Logic / 8.5:
Weak Slot-and-Filler Structures / 8.6:
Semantic Nets / 9.1:
Frames / 9.2:
Strong Slot-and-Filler Structures / 9.3:
Conceptual Dependency / 10.1:
Scripts / 10.2:
CYC / 10.3:
Knowledge Representation Summary / 10.4:
Syntactic-Semantic Spectrum of Representation / 11.1:
Logic and Slot-and-Filler Structures / 11.2:
Other Representational Techniques / 11.3:
Summary of the Role of Knowledge / 11.4:
Advanced Topics / 11.5:
Game Playing / 12:
Overview / 12.1:
The Minimax Search Procedure / 12.2:
Adding Alpha-Beta Cutoffs / 12.3:
Additional Refinements / 12.4:
Iterative Deepening / 12.5:
References on Specific Games / 12.6:
Planning / 12.7:
An Example Domain: The Blocks World / 13.1:
Components of a Planning System / 13.3:
Goal Stack Planning / 13.4:
Nonlinear Planning Using Constraint Posting / 13.5:
Hierarchical Planning / 13.6:
Reactive systems / 13.7:
Other Planning Techniques / 13.8:
Understanding / 13.9:
What Is Understanding? / 14.1:
What Makes Understanding Hard? / 14.2:
Understanding as Constraint Satisfaction / 14.3:
Natural Language Processing / 14.4:
Introduction / 15.1:
Syntactic Processing / 15.2:
Semantic Analysis / 15.3:
Discourse and Pragmatic Processing / 15.4:
Parallel and Distributed AI / 15.5:
Psychological Modeling / 16.1:
Parallelism in Reasoning Systems / 16.2:
Distributed Reasoning Systems / 16.3:
Learning / 16.4:
What Is Learning? / 17.1:
Rote Learning / 17.2:
Learning by Taking Advice / 17.3:
Learning in Problem Solving / 17.4:
Learning from Examples: Induction / 17.5:
Explanation-Based Learning / 17.6:
Discovery / 17.7:
Analogy / 17.8:
Formal Learning Theory / 17.9:
Neural Net Learning and Genetic Learning / 17.10:
Connectionist Models / 17.11:
Introduction: Hopfield Networks / 18.1:
Learning in Neural Networks / 18.2:
Applications of Neural Networks / 18.3:
Recurrent Networks / 18.4:
Distributed Representations / 18.5:
Connectionist AI and Symbolic AI / 18.6:
Common Sense / 18.7:
Qualitative Physics / 19.1:
Commonsense Ontologies / 19.2:
Memory Organization / 19.3:
Case-Based Reasoning / 19.4:
Expert Systems / 19.5:
Representing and Using Domain Knowledge / 20.1:
Expert System Shells / 20.2:
Explanation / 20.3:
Knowledge Acquisition / 20.4:
Perception and Action / 20.5:
Real-Time Search / 21.1:
Perception / 21.2:
Action / 21.3:
Robot Architectures / 21.4:
Conclusion / 21.5:
Components of an AI Program / 22.1:
References / 22.2:
Acknowledgements
Author Index
Subject Index
Preface
Problems and Search / I:
What Is Artificial Intelligence? / 1:
61.

図書

図書
edited by Roger C. Schank, Christopher K. Riesbeck
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1981  xii, 386 p. ; 24 cm
シリーズ名: The Artificial intelligence series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
The Theory Behind the Programs: a Theory of Context / 3:
Lisp / 4:
Sam / 5:
Micro Sam / 6:
Pam / 7:
Micro Pam / 8:
Tale-Spin / 9:
Micro Tale-Spin / 10:
Politics / 11:
Micro Politics / 12:
Conceptual Analysis of Natural Language / 13:
Micro Eli / 14:
Bibliography
Author Index
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
62.

図書

図書
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…
63.

図書

図書
sponsored by the International Joint Conferences on Artificial Intelligence ; co-sponsored by the Canadian Society for Computational Studies of Intelligence, the American Association for Artificial Intelligence ; [edited by Ann Drinan]
出版情報: Los Altos, Calif. : William Kaufman [distributor], c1981  2 v. ; 28 cm
所蔵情報: loading…
64.

図書

図書
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…
65.

図書

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

図書

図書
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
67.

図書

図書
edited by W. Bibel and Ph. Jorrand
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  v, 313 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 232
所蔵情報: loading…
68.

図書

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

図書

図書
Zenon W. Pylyshyn
出版情報: Cambridge, Mass. : MIT Press, c1984  xxiii, 292 p. ; 24 cm
シリーズ名: Bradford book
所蔵情報: loading…
目次情報: 続きを見る
Preface
The Explanatory Vocabulary of Cognition / 1:
The Explanatory Role of Representations / 2:
The Relevance of Computation / 3:
The Psychological Reality of Programs: Strong Equivalence / 4:
Constraining Functional Architecture / 5:
The Bridge from Physical to Symbolic: Transduction / 6:
Functional Architecture and Analogue Processes / 7:
Mental Imagery and Functional Architecture / 8:
Epilogue: What is Cognitive Science the Science of? / 9:
References
Index
Preface
The Explanatory Vocabulary of Cognition / 1:
The Explanatory Role of Representations / 2:
70.

図書

図書
edited by Walter Reitman
出版情報: Norwood, N.J. : Ablex Pub. Co., c1984  viii, 343 p. ; 24 cm
シリーズ名: Computer-based information systems in organizations
所蔵情報: loading…
71.

図書

図書
L. ウォス [ほか] 著 ; 川越恭二 [ほか] 訳
出版情報: 東京 : マグロウヒル出版, 1989.1  xiv, 561p ; 21cm
シリーズ名: Computation & software science
所蔵情報: loading…
72.

図書

図書
M.A.ボーデン著 ; 野崎昭弘 [ほか] 監訳
出版情報: 東京 : サイエンス社, 1986.4  2冊 ; 22cm
所蔵情報: loading…
73.

図書

東工大
目次DB

図書
東工大
目次DB
志村正道著
出版情報: 東京 : 昭晃堂, 1986.6  310p ; 22cm
シリーズ名: 人工知能シリーズ ; 1
所蔵情報: loading…
目次情報: 続きを見る
1 人工知能とコンピュータ
   1.1 序 1
   1.2 人工知能 2
   1.3 コンピュータと頭脳 6
   1.4 人工知能の流れ 8
   1.5 人工知能における解決法 13
   1.6 解決の過程 16
2 一般問題解決システム
   2.1 問題の解決 19
   2.2 問題の表現 20
   2.3 GPSの例 23
   2.4 GPSの手法 26
   2.5 構成と動作 27
   2.6 差異と関係表 30
   2.7 GPSの概念 37
3 命題論理
   3.1 定理証明 39
   3.2 命題 40
   3.3 真理関数 41
   3.4 命題式 44
   3.5 標準形 48
   3.6 解釈 50
   3.7 推論 52
4 術後論理
   4.1 命題論理と述語論理 57
   4.2 1階述語論理 58
   4.3 述語計算の基礎 60
   4.4 限定作用素 63
   4.5 述語論理の性質 66
   4.6 前置標準形 77
   4.7 スコーレム関数 79
   4.8 節形式と定理証明 83
   4.9 エルプラン空間 84
   4.10 充足不可能性 90
5 導出原理とその手法
   5.1 導出と導出形 95
   5.2 代入と単一化 97
   5.3 完全性 99
   5.4 導出原理の手法 102
   5.5 意味的導出法 106
   5.6 超導出 109
   5.7 支持集合導出 110
   5.8 順序付け意味的導出 111
   5.9 指標付け導出 112
   5.10 線形導出 114
   5.11 入力導出(単一導出) 115
   5.12 順序付け線形導出 116
6 導出原理の応用
   6.1 種々の応用 122
   6.2 定理の証明 122
   6.3 問題解決 124
   6.4 プログラミング 129
7 自動プログラミング
   7.1 背景と歴史 135
   7.2 自動プログラミング 136
   7.3 ループなしのアルゴリズム 139
   7.4 ループありのアルゴリズム 144
   7.5 順序があるプログラミング 146
8 問題木の探索
   8.1 問題解決と木探索 150
   8.2 木とグラフ 152
   8.3 線形探索法 155
   8.4 縦形探索法 157
   8.5 均一コスト探索法 161
   8.6 探索の効率 163
   8.7 発見的手法 164
9 発見的探索法
   9.1 発見的情報 170
   9.2 グラフトラバーサ 171
   9.3 HPAとA* 176
   9.4 探索の実行可能性 181
   9.5 探索の最適性 185
   9.6 その他の手法 190
   9.6.1 双方向探索法 190
   9.6.2 FD法 192
10 ゲームと発見的探索
   10.1 ゲームとパズル 194
   10.2 ミニ・マックス法 195
   10.3 α-β手続 199
   10.4 探索順序 202
11 学習
   11.1 学習と学習機能 207
   11.2 パズルにおける学習 208
   11.2.1 学習と評価関数 208
   11.2.2 学習方法 213
   11.2.3 学習例 215
   11.3 ゲームにおける学習 216
   11.3.1 評価関数と学習 216
   11.3.2 学習方法 217
   11.3.3 自己学習 220
   11.3.4 ゲームにおける学習例 221
12 コンピュータゲーム
   12.1 種々のゲーム 223
   12.2 ゲームの評価関数 224
   12.2.1 チェス 225
   12.2.2 連珠 227
   12.2.3 オセロゲーム 227
   12.2.4 将棋 230
   12.3 アルゴリズム 231
13 ゲームのプログラム
   13.1 チェス 234
   13.2 ドミノゲーム 238
   13.3 連珠(五目並べ) 242
   13.4 将棋 248
   13.5 オセロゲーム 254
   13.5.1 局面における評価値を用いた場合(OTHERO1) 254
   13.5.2 静的評価関数を用いない場合(OTHERO2) 256
14 人工知能とコンピュータ言語
   14.1 人工知能用言語 257
   14.2 リストとリスト構造 260
   14.3 LISP 262
   14.4 LISPプログラム 267
   14.4.1 再帰関数 267
   14.4.2 PROG形式 268
   14.5 PROLOG 271
15 人工知能の発展
   15.1 コンピュータ 274
   15.2 人工知能の問題点 275
   15.3 知識と人工知能 279
   15.4 人間の知能 280
付録 パズルの説明 285
参考文献 287
索引 307
1 人工知能とコンピュータ
   1.1 序 1
   1.2 人工知能 2
74.

図書

図書
by Reid G. Smith
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  xii, 174 p. ; 24 cm
シリーズ名: Computer science : artificial intelligence ; no. 10
所蔵情報: loading…
75.

図書

図書
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…
76.

図書

図書
E.リッチ著 ; 広田薫, 宮村勲訳
出版情報: 東京 : マグロウヒルブック, 1984.8-9  2冊 ; 22cm
シリーズ名: マグロウヒルコンピュータシリーズ
所蔵情報: loading…
77.

図書

図書
古川康一, 溝口文雄共編 ; 國藤進 [ほか] 執筆
出版情報: 東京 : 共立出版, 1986.5  vii, 227p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 2
所蔵情報: loading…
78.

図書

図書
ドナルド・ミッキー, ローリー・ジョンストン著 ; 木村繁訳
出版情報: 東京 : ティビーエス・ブリタニカ, 1985.8  311, 32p ; 20cm
所蔵情報: loading…
79.

図書

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

図書

図書
S.J.Scown著 ; 村上温夫, 秦正人共訳
出版情報: 東京 : 共立出版, 1987.4  x, 214p ; 21cm
所蔵情報: loading…
81.

図書

図書
安西祐一郎 [著]
出版情報: 東京 : 岩波書店, 1989.2  xxvi, 433p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 16
所蔵情報: loading…
82.

図書

図書
溝口文雄, 北沢克明著
出版情報: 東京 : 講談社, 1982.3  212, 3p ; 18cm
シリーズ名: ブルーバックス ; B-496
所蔵情報: loading…
83.

図書

図書
志村正道著
出版情報: 東京 : 昭晃堂, 1983.7  2, 3, 6, 310p ; 22cm
シリーズ名: 人工知能シリーズ ; 1
所蔵情報: loading…
84.

図書

図書
フランク・ローズ著 ; 栗田昭平監訳
出版情報: 東京 : ダイヤモンド社, 1985.2  vii, 307p ; 20cm
所蔵情報: loading…
85.

図書

図書
安西祐一郎著
出版情報: 東京 : 産業図書, 1986.6  viii, 302p ; 20cm
所蔵情報: loading…
86.

図書

図書
Robert C. Berwick
出版情報: Cambridge, Mass. : MIT Press, c1985  xii, 368 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
87.

図書

図書
太原育夫著
出版情報: 東京 : 近代科学社, 1988.9  iv, 244p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 20
所蔵情報: loading…
88.

図書

図書
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9  xii, 346p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
89.

図書

図書
出版情報: 東京 : 日経BP社, 1988.11  224p ; 28cm
所蔵情報: loading…
90.

図書

図書
B.ラファエル著 ; 溝口文雄, 内田ユリ子, 岩松聰共訳
出版情報: 東京 : 近代科学社, 1986.1  vii, 356p ; 22cm
所蔵情報: loading…
91.

図書

図書
辻井潤一著
出版情報: 東京 : 昭晃堂, 1987.10  2, 2, 4, 282p ; 22cm
シリーズ名: 人工知能シリーズ ; 8
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼