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

Author(s)

Bibliographic Information

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

安藤類央, 武藤佳恭著

近代科学社, 2018.8

Other Title

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

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

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

Title Transcription

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

Available at  / 70 libraries

Note

関連図書: 各章末

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

Page Top