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

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

4,070円 (税込)
2,035円 (税込) 4月1日まで

10pt

-
0件

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

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

...続きを読む

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

\ レビュー投稿でポイントプレゼント / ※購入済みの作品が対象となります
レビューを書く

レビューがありません。

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

閲覧環境

  • 【閲覧できる環境】
  • ・ブックライブ for Windows PC(アプリ)
  • ・ブックライブ for iOS(アプリ)
  • ・ブックライブ for Android(アプリ)
  • ・ブックライブ PLUS for Android(アプリ)
  • ・ブラウザビューア

※アプリの閲覧環境は最新バージョンのものです。

この本をチェックした人は、こんな本もチェックしています

無料で読める IT・コンピュータ

IT・コンピュータ ランキング

作者のこれもおすすめ

同じジャンルの本を探す