情報
発見・創発できる人工知能OTTER
ライバルはディープラーニング!!
OTTERは,数学における定理やパズルの解法の証明を支援するソフトウェアで,述語論理を用いて解を導き出す.医療・金融システムの安全性構築,ウイルス検知などにも適用され,欧米では近年,高い評価を受けている.最大の特徴は,ユーザが与えた不完全な論理(情報)であっても,自動的に正しい推論を行うことができる点にある.
統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり,注目のAI技術である.
本書は,OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら,自動推論・定理証明の方法を解説する.人工知能の研究者・技術者,必読必携の書である.
電子書籍¥4,070 小売希望価格(税込)
紙の書籍¥4,070定価(税込)
基本情報
発売日 | 2018年8月30日 |
---|---|
本体価格 | 3,700円 |
ページ数 | 296 ページ ※印刷物 |
サイズ | B5 変形 |
ISBN | 9784764905740 |
ジャンル | 情報 |
タグ | プログラミング, 人工知能 |
電子書籍形式 | 固定型 |
主要目次
序章 創発する自動推論エンジン
第1章 OTTER の基本
第2章 正直者と嘘つきの村のパズル―― 一階述語論理
第3章 自己増殖するロボットのパズル
第4章 等価推論
第5章 OTTER の過去・現在・未来
付録A OTTER の入手とサンプルプログラム
付録B 本書でのOTTER の修正方法
第1章 OTTER の基本
第2章 正直者と嘘つきの村のパズル―― 一階述語論理
第3章 自己増殖するロボットのパズル
第4章 等価推論
第5章 OTTER の過去・現在・未来
付録A OTTER の入手とサンプルプログラム
付録B 本書でのOTTER の修正方法