【人気】発見・創発できる人工知能 Otter 論理パズルからのアプローチ【電子書籍】[ 武藤 佳恭 ]

ライバルはディープラーニング!! 　OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。

医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。

最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。

　統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。

　本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。

人工知能の研究者・技術者、必読必携の書である。




画面が切り替わりますので、しばらくお待ち下さい。
※ご購入は、楽天kobo商品ページからお願いします。
※切り替わらない場合は、こちら をクリックして下さい。
※このページからは注文できません。

【人気】発見・創発できる人工知能 Otter 論理パズルからのアプローチ【電子書籍】[ 武藤 佳恭 ] ショップ：楽天Kobo電子書籍ストア 価格：4,070 円