- 発売日：2025/03/18
- 出版社：九夏社
- ISBN：9784909240064
通常価格
3,850 円（税込）
通常価格
セール価格
3,850 円（税込）
単価
あたり
- 発売日：2025/03/18
- 出版社：九夏社
- ISBN：9784909240064
読み込み中...
My店舗在庫
My店舗登録で在庫確認と店舗お受け取りのご利用が可能になります。(要ログイン)
店舗在庫
商品説明
論理は現実世界での推論とどのように関係しており，どう応用できるのか？
論理型プログラミング言語Prologへの貢献でも著名なR・コワルスキ，ロジックを敢えてインフォーマルに語る。
Neuro全盛の今だからこそ，Symbolic AIについて考える。
論理型プログラミング言語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 アブダクティブ論理プログラミングの論理
第1章 地下鉄の論理
第2章 論理の心理学
第3章 カラスとキツネ
第4章 探索
第5章 失敗としての否定
第6章 英国市民になる方法
第7章 ダンゴムシと火星探査機
第8章 生命の駆動力としての持続目標
第9章 生命の意味
第10章 アブダクション
第11章 囚人のジレンマ
第12章 動機が重要
第13章 変化する世界
第14章 論理とオブジェクト
第15章 双方向条件文
第16章 計算論理と選択課題
第17章 メタ論理
本書の結論
補遺
A1 論理形式の構文
A2 真であること
A3 前向き推論と後ろ向き推論
A4 極小モデルと否定
A5 導出規則
A6 アブダクティブ論理プログラミングの論理
カスタマーレビュー
honto本の通販ストアのレビュー(0件)
並び順:
1/1ページ
