計算論理と人間の思考 推論AIへの論理的アプローチ
- | レビューを書く
3,850円(税込)送料無料
この商品が関連するクーポン・キャンペーンがあります(10件)開催中のキャンペーンをもっと見る
※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。
- 【スタンプカード】本・書籍を1,500円以上購入でスタンプ獲得!
- 【ポイント5倍】図書カードNEXT利用でお得に読書を楽しもう♪
- 【楽天モバイルご契約者様】条件達成で100万ポイント山分け!
- 【楽天ブックス×楽天ラクマ】条件達成で10万ポイント山分け!
- 【楽天Kobo】初めての方!条件達成で楽天ブックス購入分がポイント20倍
- 楽天モバイル紹介キャンペーンの拡散で300円OFFクーポン進呈
- エントリー&お気に入り新着通知登録で300円OFFクーポン当たる!
- 【楽天24】日用品の楽天24と楽天ブックス買いまわりでクーポン★
- 【楽天ポイ活】オンライン投資セミナー講座視聴で最大700ポイント
- 【楽天市場】対象のレゴ商品ご購入で200ポイント
商品情報
- 発売日: 2025年03月18日頃
- 著者/編集: ロバート・コワルスキ(原著), 坂間千秋(監修), 尾崎竜史(訳), 伊藤武芳(訳)
- 出版社: 九夏社
- 発行形態: 単行本
- ページ数: 464p
- ISBN: 9784909240064
商品説明
内容紹介(JPROより)
論理は現実世界での推論とどのように関係しており,どう応用できるのか?
論理型プログラミング言語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 アブダクティブ論理プログラミングの論理
内容紹介(「BOOK」データベースより)
論理は現実世界での推論とどう関係しており、どう応用できるのか?論理プログラミング言語Prologへの貢献でも有名なR・コワルスキ、ロジックをインフォーマルに語る。Neuro全盛の今だからこそ、Symbolic AIを考える。
目次(「BOOK」データベースより)
第1章 地下鉄の論理/第2章 論理の心理学/第3章 カラスとキツネ/第4章 探索/第5章 失敗としての否定/第6章 英国市民になる方法/第7章 ダンゴムシと火星探査機/第8章 生命の駆動力としての持続目標/第9章 生命の意味/第10章 アブダクション/第11章 囚人のジレンマ/第12章 動機が重要/第13章 変化する世界/第14章 論理とオブジェクト/第15章 双方向条件文/第16章 計算論理と選択課題/第17章 メタ論理/本書の結論/補遺
著者情報(「BOOK」データベースより)
コワルスキ,ロバート(Kowalski,Robert)
インペリアル・カレッジ・ロンドン計算機工学科名誉教授、Distinguished Research Fellow。「自動定理証明および論理プログラミングに関する先駆的研究を含む、知識表現と問題解決のための論理学への貢献」によるIJCAI卓越研究賞(2011年)など、受賞多数。論理型プログラミング言語Prologへの貢献でも知られる
坂間千秋(サカマチアキ)
和歌山大学システム工学部教授、京都大学博士(工学)。専門分野は、計算機科学、人工知能、数理論理学など
尾崎竜史(オザキリュウシ)
筑波大学大学院数学研究科中退、修士(理学)。筑波大学大学院システム情報工学研究科、博士(工学)
伊藤武芳(イトウタケヨシ)
編集者・九夏社代表取締役、早稲田大学卒(本データはこの書籍が刊行された当時に掲載されていたものです)
商品レビュー
ブックスのレビュー
まだレビューがありません。 レビューを書く
楽天ブックスランキング情報
-
週間ランキング
ランキング情報がありません。
-
日別ランキング
ランキング情報がありません。

![計算論理と人間の思考推論AIへの論理的アプローチ[ロバート・コワルスキ]](https://tshop.r10s.jp/book/cabinet/0064/9784909240064_1_6.jpg)














