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

• 資料種別: 図書
• ISBN: 978-4-7649-0574-0
• タイトル: 発見・創発できる人工知能OTTER : 論理パズルからのアプローチ
• タイトルよみ: ハッケン ソウハツ デキル ジンコウ チノウ オッター : ロンリ パズル カラ ノ アプローチ
• 著者・編者: 安藤類央, 武藤佳恭 著
• 著者標目: 安藤, 類央 アンドウ, ルオ ( 001301339 )典拠; 武藤, 佳恭, 1955- タケフジ, ヨシヤス, 1955- ( 00144041 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2018.8
• 出版年（W3CDTF）: 2018
• 数量: 283p
• 大きさ: 24cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 人工知能 ジンコウチノウ ( 00574798 )典拠; プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠
• NDC10版: 007.13 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 書誌注記: 索引あり
• 入手条件・定価: 3700円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-L551
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029161219; http://id.ndl.go.jp/bib/029161219
• 全国書誌番号: 23102628
• トーハンMARC番号: 33809349
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

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

目次

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