計算論理と人間の思考 推論ＡＩへの論理的アプローチ
ロバート・コワルスキ／著 坂間千秋／監訳 尾崎竜史／訳 伊藤武芳／訳
発売日：2025年3月
- ページ数
- ４３８ｐ
- ISBN
- 978-4-909240-06-4
- 著者情報
- コワルスキ，ロバート（コワルスキ，ロバート）（Ｋｏｗａｌｓｋｉ，Ｒｏｂｅｒｔ）
インペリアル・カレッジ・ロンドン計算機工学科名誉教授、Ｄｉｓｔｉｎｇｕｉｓｈｅｄ Ｒｅｓｅａｒｃｈ Ｆｅｌｌｏｗ。「自動定理証明および論理プログラミングに関する先駆的研究を含む、知識表現と問題解決のための論理学への貢献」によるＩＪＣＡＩ卓越研究賞（２０１１年）など、受賞多数。論理型プログラミング言語Ｐｒｏｌｏｇへの貢献でも知られる
坂間 千秋（サカマ チアキ）
和歌山大学システム工学部教授、京都大学博士（工学）。専門分野は、計算機科学、人工知能、数理論理学など
尾崎 竜史（オザキ リュウシ）
筑波大学大学院数学研究科中退、修士（理学）。筑波大学大学院システム情報工学研究科、博士（工学）
伊藤 武芳（イトウ タケヨシ）
編集者・九夏社代表取締役、早稲田大学卒
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
論理は現実世界での推論とどう関係しており、どう応用できるのか？論理プログラミング言語Ｐｒｏｌｏｇへの貢献でも有名なＲ・コワルスキ、ロジックをインフォーマルに語る。Ｎｅｕｒｏ全盛の今だからこそ、Ｓｙｍｂｏｌｉｃ ＡＩを考える。
論理は現実世界での推論とどのように関係しており，どう応用できるのか？
論理型プログラミング言語Prologへの貢献でも著名なR・コワルスキ，ロジックを敢えてインフォーマルに語る。
Neuro全盛の今だからこそ，Symbolic AIについて考える。
目次
イントロダクション
第1章 地下鉄の論理
第2章 論理の心理学
第3章 カラスとキツネ
第4章 探索
第5章 失敗としての否定
第6章 英国市民になる方法
第7章 ダンゴムシと火星探査機
第8章 生命の駆動力としての持続目標
第9章 生命の意味
第10章 アブダクション
第11章 囚人のジレンマ
第12章 動機が重要
第13章 変化する世界
第14章 論理とオブジェクト
第15章 双方向条件文
第16章 計算論理と選択課題
第17章 メタ論理
本書の結論
補遺
A1 論理形式の構文
A2 真であること
A3 前向き推論と後ろ向き推論
A4 極小モデルと否定
A5 導出規則
A6 アブダクティブ論理プログラミングの論理
商品詳細
- 出版社名
- 九夏社
- サイズ
- ２１ｃｍ
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル：Ｃｏｍｐｕｔａｔｉｏｎａｌ Ｌｏｇｉｃ ａｎｄ Ｈｕｍａｎ Ｔｈｉｎｋｉｎｇ
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
