計算論理と人間の思考 推論ＡＩへの論理的アプローチ

九夏社 鍬谷書店
ロバート・コワルスキ　坂間千秋　尾崎竜史　伊藤武芳　

• 価格: 3,850円（本体3,500円＋税）
• 発行年月: 2025年03月
• 判型: Ａ５
• ISBN: 9784909240064

内容情報

[BOOKデータベースより]

論理は現実世界での推論とどう関係しており、どう応用できるのか？論理プログラミング言語Ｐｒｏｌｏｇへの貢献でも有名なＲ・コワルスキ、ロジックをインフォーマルに語る。Ｎｅｕｒｏ全盛の今だからこそ、Ｓｙｍｂｏｌｉｃ　ＡＩを考える。

第１章　地下鉄の論理
第２章　論理の心理学
第３章　カラスとキツネ
第４章　探索
第５章　失敗としての否定
第６章　英国市民になる方法
第７章　ダンゴムシと火星探査機
第８章　生命の駆動力としての持続目標
第９章　生命の意味
第１０章　アブダクション
第１１章　囚人のジレンマ
第１２章　動機が重要
第１３章　変化する世界
第１４章　論理とオブジェクト
第１５章　双方向条件文
第１６章　計算論理と選択課題
第１７章　メタ論理
本書の結論
補遺

[日販商品データベースより]

論理は現実世界での推論とどのように関係しており，どう応用できるのか？
論理型プログラミング言語Prologへの貢献でも著名なR・コワルスキ，ロジックを敢えてインフォーマルに語る。
Neuro全盛の今だからこそ，Symbolic AIについて考える。