TOP > 情報工学
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

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

book

発売日:2018年8月30日
定価:本体3,700円+税

紀伊國屋書店で注文
アマゾンで注文

 

ライバルはディープラーニング!!

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

 
著者 安藤 類央、武藤 佳恭
ページ数 296
サイズ B5変型
ISBN 978-47649-0574-0
     
主要目次

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

 

トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.