発見・創発できる人工知能 Otter 論理パズルからのアプローチ
安藤 類央
近代科学社OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。
【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。
書籍情報
著者: 安藤 類央
共著者: , 武藤 佳恭
発行日: 2018-08-30
最終更新日: 2018-08-30
バージョン: 1.0.0
ページ数: 299ページ(PDF版換算)ページ
対応フォーマット: PDF, EPUB
出版社: 近代科学社
対象読者
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)．