発見・創発できる人工知能 Otter 論理パズルからのアプローチ
4,070円(税込)
ロットナンバー
426812799
作品紹介
発見・創発できる人工知能 Otter 論理パズルからのアプローチ
作品情報
ライバルはディープラーニング!! OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理(情報)であっても、自動的に正しい推論を行うことができる点にある。 統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。【目次】序章 創発する自動推論エンジン第1章 OTTERの基本第2章 正直者と嘘つきの村のパズル? 一階述語論理第3章 自己増殖するロボットのパズル第4章 等価推論第5章 OTTERの過去・現在・未来付録A OTTERの入手とサンプルプログラム付録B 本書でのOTTERの修正方法
配信開始日 | 2018/08/30 |
配信方法 | ストリーミング、ダウンロード |
ファイルサイズ | 53MB |
本商品は電子書籍となります。
ご購入いただいた書籍はスマートフォン、パソコン等ですぐにお読みいただけます。
商品の特性上、購入後のキャンセル(返品)は承れません。
ご購入の際はお間違いのないようご確認ください。
ご購入いただいた書籍はスマートフォン、パソコン等ですぐにお読みいただけます。
商品の特性上、購入後のキャンセル(返品)は承れません。
ご購入の際はお間違いのないようご確認ください。
作品情報
タイトル:発見・創発できる人工知能 Otter 論理パズルからのアプローチ
著者:安藤 類央,武藤 佳恭
出版社:近代科学社
レビュー
商品の評価:
-点(0件)
お店の情報
お店の評価:
-点(0件)
連絡・応対
-
配送スピード
-
梱包
-