発見・創発できる人工知能OTTER : 論理パズルからのアプローチ
発見・創発できる人工知能OTTER : 論理パズルからのアプローチ
- Call No. (NDL)
- M121-L551
- Bibliographic ID of National Diet Library
- 029161219
Detailed bibliographic record
Summary, etc.：
- OTTERの最大の特徴は，ユーザが与えた不完全な論理でも，自動的に正しい推論を行うことができる点．本書は，OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら，自動推論・定理証明の方法を解説(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- 安藤 類央 安藤 類央：国立情報学研究所 准教授武藤 佳恭 武藤 佳恭：慶應義塾大学環境情報学部 教授(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
序章 創発する自動推論エンジン 第1章 OTTERの基本 第2章 正直者と嘘つきの村のパズル― 一階述語論理 第3章 自己増殖するロボットのパズル 第4章 等価推論 第5章 OTTERの過去・現在・未来 付録A OTTERの入手とサンプルプログラム 付録B 本書でのOTTERの修正方法
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
札幌市中央図書館
Paper- Call No.：
- 007.6/ｱ/
- Book Registration Number：
- 0181104316
Kanto
さいたま市立中央図書館
Paper- Call No.：
- 007.64 ｱﾝ
- Book Registration Number：
- 01190520153
東京都立中央図書館
Paper- Call No.：
- 007.6-9259-2018
- Book Registration Number：
- 7110843566
神奈川県立川崎図書館
Paper- Call No.：
- 007.13-117
- Book Registration Number：
- 81706228
横浜市立図書館
Paper- Call No.：
- 007.1
- Book Registration Number：
- 2063551530
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7649-0574-0
- Title Transcription
- ハッケン ソウハツ デキル ジンコウ チノウ オッター : ロンリ パズル カラ ノ アプローチ
- Author/Editor
- 安藤類央, 武藤佳恭 著
- Author Heading
- 安藤, 類央 アンドウ, ルオ ( 001301339 )Authorities武藤, 佳恭, 1955- タケフジ, ヨシヤス, 1955- ( 00144041 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2018.8
- Publication Date (W3CDTF)
- 2018
- Extent
- 283p