情報
発見・創発できる人工知能OTTER
ライバルはディープラーニング!!
OTTERは,数学における定理やパズルの解法の証明を支援するソフトウェアで,述語論理を用いて解を導き出す.医療・金融システムの安全性構築,ウイルス検知などにも適用され,欧米では近年,高い評価を受けている.最大の特徴は,ユーザが与えた不完全な論理(情報)であっても,自動的に正しい推論を行うことができる点にある.
統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり,注目のAI技術である.
本書は,OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら,自動推論・定理証明の方法を解説する.人工知能の研究者・技術者,必読必携の書である.
電子書籍¥4,070 小売希望価格(税込)
紙の書籍¥4,070定価(税込)
基本情報
発売日 | 2018年8月30日 |
---|---|
本体価格 | 3,700円 |
ページ数 | 296 ページ ※印刷物 |
サイズ | B5 変形 |
ISBN | 9784764905740 |
ジャンル | 情報 |
タグ | プログラミング, 人工知能 |
電子書籍形式 | 固定型 |
主要目次
まえがき
序章 創発する自動推論エンジン
0.1 学習を超えた人工知能
0.2 天秤のコインのパズル
0.3 2 インバータパズル
0.4 原始帰納関数
第 1 章 OTTER の基本
1.1 第三のプログラミングパラダイム———定理証明系
1.2 三段論法
1.3 モデル,世界,解釈
1.4 状態空間探索問題の表現方法
第 2 章 正直者と嘘つきの村のパズル ———一階述語論理
2.1 自動推論と整合性
2.2 パズルの概要
2.3 命題論理と一階述語論理
2.4 学習と創発
2.5 正直者と嘘つきの村
2.6 問題の核心
2.7 正直者と嘘つきのパズル 発展版:吸血鬼の村
第 3 章 自己増殖するロボットのパズル
3.1 OTTER とリスト処理
3.2 「使用」と「自己言及」———リシャールのパラドックス
3.3 基本的なリスト操作
3.4 惑星「オートマトン」のロボット
3.5 ハノイの塔
3.6 停止性問題と万能機械問題
第 4 章 等価推論
4.1 paramodulation と demodulation
4.2 代数系と自動推論
4.3 15 パズル
4.4 熱のヒューリスティクス
第 5 章 OTTER の過去・現在・未来
5.1 OTTER 以前
5.2 OTTER の生い立ち
5.3 OTTER が人工知能の未来を占う?
5.4 ニューラルネットワークの歴史
5.4.1 1980 年代:3 種類のアルゴリズムが出揃う
5.5 プログラミング言語の歴史
5.6 定理証明系の歴史
5.7 OTTER の未来
付録 A OTTER の入手とサンプルプログラム
A.1 OTTER の入手方法
A.2 本書サンプルプログラムのダウンロード
付録 B 本書での OTTER の修正方法
B.1 OTTER の関数呼び出しの順序の調査
B.2 天秤とコインのパズルのためのソース修正
B.3 本書のサポートサイトとダウンロードサイト
あとがき
索 引
序章 創発する自動推論エンジン
0.1 学習を超えた人工知能
0.2 天秤のコインのパズル
0.3 2 インバータパズル
0.4 原始帰納関数
第 1 章 OTTER の基本
1.1 第三のプログラミングパラダイム———定理証明系
1.2 三段論法
1.3 モデル,世界,解釈
1.4 状態空間探索問題の表現方法
第 2 章 正直者と嘘つきの村のパズル ———一階述語論理
2.1 自動推論と整合性
2.2 パズルの概要
2.3 命題論理と一階述語論理
2.4 学習と創発
2.5 正直者と嘘つきの村
2.6 問題の核心
2.7 正直者と嘘つきのパズル 発展版:吸血鬼の村
第 3 章 自己増殖するロボットのパズル
3.1 OTTER とリスト処理
3.2 「使用」と「自己言及」———リシャールのパラドックス
3.3 基本的なリスト操作
3.4 惑星「オートマトン」のロボット
3.5 ハノイの塔
3.6 停止性問題と万能機械問題
第 4 章 等価推論
4.1 paramodulation と demodulation
4.2 代数系と自動推論
4.3 15 パズル
4.4 熱のヒューリスティクス
第 5 章 OTTER の過去・現在・未来
5.1 OTTER 以前
5.2 OTTER の生い立ち
5.3 OTTER が人工知能の未来を占う?
5.4 ニューラルネットワークの歴史
5.4.1 1980 年代:3 種類のアルゴリズムが出揃う
5.5 プログラミング言語の歴史
5.6 定理証明系の歴史
5.7 OTTER の未来
付録 A OTTER の入手とサンプルプログラム
A.1 OTTER の入手方法
A.2 本書サンプルプログラムのダウンロード
付録 B 本書での OTTER の修正方法
B.1 OTTER の関数呼び出しの順序の調査
B.2 天秤とコインのパズルのためのソース修正
B.3 本書のサポートサイトとダウンロードサイト
あとがき
索 引