発見・創発できる人工知能 Otter:論理パズルからのアプローチ

作家/出演者

シリーズ

発見・創発できる人工知能 Otter:論理パズルからのアプローチ

平均評価: レビューを書く

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

ライバルはディープラーニング！！ OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す‘創発的機能’があり、注目のAI技術である。本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。

価格
4,070円

[参考価格] 紙書籍4,070円

読める期間: 無期限

購入手続きへ

バスケットを見る

クレジットカード決済なら: 40pt獲得

Windows
Mac
スマートフォンタブレット
ブラウザで読める

動作環境、ビューアのインストールはこちらから

お気に入りに追加

配信開始日: 2019/03/01 00:00

紙書籍販売日: 2018/08/29

ページ数: 299ページ

掲載誌・レーベル

----

出版社

近代科学社

ジャンル

ファイル容量: 53.70MB

ファイル形式: EPUB形式

新着通知設定

新着通知管理

この作品の続刊、作家の新刊が配信された際に、メールでお知らせいたします。

作品: ON OFF

作家: ON OFF

ソースコードにアフィリエイトIDを追加する（任意）

アフィリエイトIDをお持ちの方は、ソースコードにIDを追加することができます。
アフィリエイトについて
サイズを選択する

サイズを選択し、表示されたソースコードをコピーして貼り付けてください。
ソースコードの変更はできません。

120×240

発見・創発できる人工知能 O... 無料サンプル

150×250

発見・創発できる人工知能 Otter... 無料サンプル

<iframe width="120" height="240" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00050&size=120_240" scrolling="no" frameborder="0" allowfullscreen></iframe>

<iframe width="150" height="250" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00050&size=150_250" scrolling="no" frameborder="0" allowfullscreen></iframe>

ロバスト統計:外れ値への対処の仕方

言語処理システムをつくる