発見・創発できる人工知能OTTER : 論理パズルからのアプローチ

• Material Type: 図書
• ISBN: 978-4-7649-0574-0
• Title: 発見・創発できる人工知能OTTER : 論理パズルからのアプローチ
• 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
• Size: 24cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 人工知能 ジンコウチノウ ( 00574798 )Authorities; プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )Authorities
• NDC 10th ed.: 007.13 : Information science. Informatics
• NDLC: M121
• Target Audience: 一般
• Note (Bibliography): 索引あり
• Price: 3700円
• Holding library: 国立国会図書館
• Call No.: M121-L551
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 029161219; http://id.ndl.go.jp/bib/029161219
• National Bibliography No. (JPNO): 23102628
• TOHAN MARC No.: 33809349
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: OTTERの最大の特徴は，ユーザが与えた不完全な論理でも，自動的に正しい推論を行うことができる点．本書は，OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら，自動推論・定理証明の方法を解説(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 安藤 類央 安藤 類央：国立情報学研究所 准教授武藤 佳恭 武藤 佳恭：慶應義塾大学環境情報学部 教授(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

序章　創発する自動推論エンジン
第1章　OTTERの基本
第2章　正直者と嘘つきの村のパズル― 一階述語論理
第3章　自己増殖するロボットのパズル
第4章　等価推論
第5章　OTTERの過去・現在・未来
付録A　OTTERの入手とサンプルプログラム
付録B　本書でのOTTERの修正方法