読み込み中... loading....
本日配信開始の新刊

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

発見・創発できる人工知能 Otter:論理パズルからのアプローチ
電子書籍版
価格 3996円(税込)
ポイント還元 39ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 299
販売開始日 2019/03/01
紙書籍版 取り扱い中

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

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

武藤佳恭関連作品

  • 超実践 アンサンブル機械学習 2916円
    作家 武藤佳恭
    出版社 近代科学社
    販売開始日 2017/03/30

    ポスト深層学習の最右翼として注目される「アンサンブル機械学習」を、具体的にプログラムを動かしながら概観できる“超実践”の書である。 「アンサンブル機械学習」とは、簡単に言えば、従来のいくつかの機...

近代科学社関連作品

「プログラミング一般」カテゴリ