近代科学社

書籍検索
ジャンル選択

情報

発見・創発できる人工知能OTTER

著者　安藤 類央
著者　武藤 佳恭

著者紹介

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

電子書籍¥4,070 小売希望価格（税込）

紙の書籍¥4,070定価（税込）

基本情報

発売日 2018年8月30日
本体価格 3,700円
ページ数 296 ページ　※印刷物
サイズ B5 変形
ISBN 9784764905740
ジャンル 情報
タグ プログラミング, 人工知能
電子書籍形式 固定型

主要目次

序章　創発する自動推論エンジン
第1章　OTTER の基本
第2章　正直者と嘘つきの村のパズル―― 一階述語論理
第3章　自己増殖するロボットのパズル
第4章　等価推論
第5章　OTTER の過去・現在・未来
付録A　OTTER の入手とサンプルプログラム
付録B　本書でのOTTER の修正方法

目次をさらに表示する

著者紹介

安藤　類央 （あんどう　るお）
慶應義塾大学総合政策学部国際政策コース卒業 (2000)．
同大学院修士課程修了 (2002)．
同大学院博士課程修了 (2006)．
政策・メディア博士 (2006)．
独立行政法人情報通信研究機構情報通信セキュリティ研究センター常勤研究員 (2006).
独立行政法人情報通信研究機構ネットワークセキュリティ研究所主任研究員(2011)．
国立情報学研究所サイバーセキュリティ研究開発センター特任准教授 (2016)．
研究・受賞歴：ネットワークセキュリティ，自動推論，機械学習，並列処理．
Outstanding Leadership Award in the 8th IEEE International Conference on Dependable, Autonomic and Secure Computing (2009)
インターネットカンファレンス論文賞 (2013)．

武藤　佳恭 （たけふじ　よしやす）
慶應義塾大学工学部電気工学科卒業 (1978)．
同大学院修士課程修了 (1980)．
同大学院博士課程修了(1983)．
工学博士（1983）．
南フロリダ大学コンピュータ学科助教授 (1983-1985)．
南カロライナ大学コンピュータ工学科助教授 (1985-1988)．
ケースウエスターンリザーブ大学電気工学科准教授 (1988-1996)．
tenured(1992)．
慶應義塾大学環境情報学部助教授 (1992-1997)．
同教授 (1997- 現在)．
研究・受賞歴：ニューラルコンピューティング，セキュリティ，インターネットガジェット．
NSF–RIA賞 (1989)
IEEE Trans. on NN 功労賞 (1992)
IPSJ 論文 (1980)
TEPCO 賞 (1993)
KAST 賞(1993)
高柳賞 (1995)
KDD 賞 (1997)
NTT tele-education courseware 賞 (1999)
US AFOSR受賞 (2003)
第 1 回 JICA 理事長賞，義塾賞 (2015)
Jyvaskyla 大学メダル．
著書：『武藤博士の発明の極意』（近代科学社）など 30 冊以上の書籍と 300 編以上の科学論文．

著者紹介をさらに表示する