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

著者

書誌事項

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

安藤類央, 武藤佳恭著

近代科学社, 2018.8

タイトル別名

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

発見創発できる人工知能Otter

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

タイトル読み

ハッケン・ソウハツ デキル ジンコウ チノウ Otter : ロンリ パズル カラ ノ アプローチ

大学図書館所蔵 件 / 全69件

注記

関連図書: 各章末

内容説明・目次

内容説明

深層学習に漂いはじめた閉塞感はどこから来るのか？それは、数学の不在にあった！？古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアＯＴＴＥＲで高き数学の壁を乗り越える！

目次

  • 序章　創発する自動推論エンジン
  • 第１章　ＯＴＴＥＲの基本
  • 第２章　正直者と嘘つきの村のパズル—一階述語論理
  • 第３章　自己増殖するロボットのパズル
  • 第４章　等価推論
  • 第５章　ＯＴＴＥＲの過去・現在・未来
  • 付録Ａ　ＯＴＴＥＲの入手とサンプルプログラム
  • 付録Ｂ　本書でのＯＴＴＥＲの修正方法

「BOOKデータベース」 より

詳細情報

ページトップへ