本/雑誌
発見・創発できる人工知能OTTER 論理パズルからのアプローチ
安藤類央/著 武藤佳恭/著
4070円
ポイント | 1% (40p) |
---|---|
発売日 | 2018年08月発売 |
出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
追跡可能メール便利用不可商品です
商品説明
深層学習に漂いはじめた閉塞感はどこから来るのか?それは、数学の不在にあった!?古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアOTTERで高き数学の壁を乗り越える!
関連記事
収録内容
1 | 序章 創発する自動推論エンジン |
2 | 第1章 OTTERの基本 |
3 | 第2章 正直者と嘘つきの村のパズル―一階述語論理 |
4 | 第3章 自己増殖するロボットのパズル |
5 | 第4章 等価推論 |
6 | 第5章 OTTERの過去・現在・未来 |
7 | 付録A OTTERの入手とサンプルプログラム |
8 | 付録B 本書でのOTTERの修正方法 |