発見・創発できる人工知能OTTER―論理パズルからのアプローチ [単行本]

発見・創発できる人工知能OTTER―論理パズルからのアプローチ の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  安藤 類央(アンドウ ルオ)
  慶應義塾大学総合政策学部国際政策コース卒業（２０００）。同大学院修士課程修了（２００２）。同大学院博士課程修了（２００６）。政策・メディア博士（２００６）。独立行政法人情報通信研究機構情報通信セキュリティ研究センター常勤研究員（２００６）。独立行政法人情報通信研究機構ネットワークセキュリティ研究所主任研究員（２０１１）。国立情報学研究所サイバーセキュリティ研究開発センター特任准教授（２０１６）。研究・受賞歴：ネットワークセキュリティ、自動推論、機械学習、並列処理。Ｏｕｔｓｔａｎｄｉｎｇ　Ｌｅａｄｅｒｓｈｉｐ　Ａｗａｒｄ　ｉｎ　ｔｈｅ　８ｔｈ　ＩＥＥＥ　ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ｄｅｐｅｎｄａｂｌｅ、Ａｕｔｏｎｏｍｉｃ　ａｎｄ　Ｓｅｃｕｒｅ　Ｃｏｍｐｕｔｉｎｇ（２００９）、インターネットカンファレンス論文賞（２０１３）
  
  武藤 佳恭(タケフジ ヨシヤス)
  慶應義塾大学工学部電気工学科卒業（１９７８）。同大学院修士課程修了（１９８０）。同大学院博士課程修了（１９８３）。工学博士（１９８３）。南フロリダ大学コンピュータ学科助教授（１９８３‐１９８５）。南カロライナ大学コンピュータ工学科助教授（１９８５‐１９８８）。ケースウエスターンリザーブ大学電気工学科准教授（１９８８‐１９９６）。ｔｅｎｕｒｅｄ（１９９２）。慶應義塾大学環境情報学部助教授（１９９２‐１９９７）。同教授（１９９７‐現在）。研究・受賞歴：ニューラルコンピューティング、セキュリティ、インターネットガジェット、ＮＳＦ－ＲＩＡ賞（１９８９）、ＩＥＥＥ　Ｔｒａｎｓ．ｏｎ　ＮＮ　功労賞（１９９２）、ＩＰＳＪ論文（１９８０）、ＴＥＰＣＯ賞（１９９３）、ＫＡＳＴ賞（１９９３）、高柳賞（１９９５）、ＫＤＤ賞（１９９７）、ＮＴＴ　ｔｅｌｅ－ｅｄｕｃａｔｉｏｎ　ｃｏｕｒｓｅｗａｒｅ賞（１９９９）、ＵＳ　ＡＦＯＳＲ受賞（２００３）、第１回ＪＩＣＡ理事長賞、義塾賞（２０１５）、Ｊｙｖａｓｋｙｌａ大学メダル

• 出版社からのコメント

  定理証明系の自動推論エンジンOTTER。機械学習にはない“創発的機能”が人工知能を飛躍的に進化させる!?

• 内容紹介

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

• 著者について

  安藤 類央 (アンドウ ルオ)
  安藤 類央：国立情報学研究所 准教授
  
  武藤 佳恭 (タケフジ ヨシヤス)
  武藤 佳恭：慶應義塾大学環境情報学部 教授

発見・創発できる人工知能OTTER―論理パズルからのアプローチ の商品スペック