発見・創発できる人工知能OTTER 論理パズルからのアプローチ/安藤類央/武藤佳恭
4,070円(税込)
配送情報
お届け予定日:1〜3日で発送予定
※一部地域・離島につきましては、表示のお届け予定日期間内にお届けできない場合があります。ロットナンバー
323140920
商品説明
【内容紹介】
(big)(strong)ライバルはディープラーニング!!(/strong)(/big)
OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す.医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている.最大の特徴は、ユーザが与えた不完全な論理(情報)であっても、自動的に正しい推論を行うことができる点にある.
統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である.
本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する.人工知能の研究者・技術者、必読必携の書である.
(big)(strong)ライバルはディープラーニング!!(/strong)(/big)
OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す.医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている.最大の特徴は、ユーザが与えた不完全な論理(情報)であっても、自動的に正しい推論を行うことができる点にある.
統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である.
本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する.人工知能の研究者・技術者、必読必携の書である.
※本データはこの商品が発売された時点の情報です。
レビュー
商品の評価:
-点(0件)
お店の情報
お店の評価:
-点(0件)
連絡・応対
-
配送スピード
-
梱包
-