本文に飛ぶ
図書

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

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

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

国立国会図書館請求記号
M121-L551
国立国会図書館書誌ID
029161219
資料種別
図書
著者
安藤類央, 武藤佳恭 著
出版者
近代科学社
出版年
2018.8
資料形態
ページ数・大きさ等
283p ; 24cm
NDC
007.13
すべて見る

資料詳細

要約等:

OTTERの最大の特徴は,ユーザが与えた不完全な論理でも,自動的に正しい推論を行うことができる点.本書は,OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら,自動推論・定理証明の方法を解説(提供元: 出版情報登録センター(JPRO))

著者紹介:

安藤 類央 安藤 類央:国立情報学研究所 准教授武藤 佳恭 武藤 佳恭:慶應義塾大学環境情報学部 教授(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

提供元:出版情報登録センター(JPRO)ヘルプページへのリンク
  • 序章 創発する自動推論エンジン 第1章 OTTERの基本 第2章 正直者と嘘つきの村のパズル― 一階述語論理 第3章 自己増殖するロボットのパズル 第4章 等価推論 第5章 OTTERの過去・現在・未来 付録A OTTERの入手とサンプルプログラム 付録B 本書でのOTTERの修正方法

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
図書
ISBN
978-4-7649-0574-0
タイトルよみ
ハッケン ソウハツ デキル ジンコウ チノウ オッター : ロンリ パズル カラ ノ アプローチ
著者・編者
安藤類央, 武藤佳恭 著
著者標目
安藤, 類央 アンドウ, ルオ ( 001301339 )典拠
武藤, 佳恭, 1955- タケフジ, ヨシヤス, 1955- ( 00144041 )典拠
出版年月日等
2018.8
出版年(W3CDTF)
2018
数量
283p