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

• 資料種別: 図書
• ISBN: 978-4-909240-06-4
• タイトル: 計算論理と人間の思考 : 推論AIへの論理的アプローチ
• タイトルよみ: ケイサン ロンリ ト ニンゲン ノ シコウ : スイロン AI エノ ロンリテキ アプローチ
• 著者・編者: ロバート・コワルスキ 著; 坂間千秋 監訳; 尾崎竜史, 伊藤武芳 訳
• 著者標目: 著者 ： Kowalski, Robert ( 00446226 )典拠; 訳者 ： 坂間, 千秋 サカマ, チアキ ( 031599046 )典拠; 訳者 ： 尾崎, 竜史 オザキ, リュウシ ( 034011377 )典拠; 訳者 ： 伊藤, 武芳 イトウ, タケヨシ ( 034011381 )典拠
• 出版事項: 東京 : 九夏社 (出版)
• 出版年月日等: 2025.3
• 出版年（W3CDTF）: 2025
• 数量: 22, 438 p
• 大きさ: 21 cm
• その他のタイトル: Computational logic and human thinking
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 情報科学 ジョウホウカガク ( 00575008 )典拠; 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 007 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 一般注記: 原タイトル: Computational logic and human thinking
• 書誌注記: 文献あり
• 入手条件・定価: 3500円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-R181
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033972314; http://id.ndl.go.jp/bib/033972314
• 全国書誌番号: 24100010
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 論理は現実世界での推論とどう関係し，どう応用できるのか？ Neuro全盛の今だからこそSymbolic AIを考える。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: ロバート・コワルスキ インペリアル・カレッジ・ロンドン計算機工学科名誉教授，Distinguished Research Fellow。論理型プログラミング言語Prologへの貢献でも知られる。坂間千秋 和歌山大学システム工学部教授，京都大学博士（工学）。専門分野は，計算機科学，人工知能，数理論理学...

目次

イントロダクション

第1章　 地下鉄の論理

第2章　 論理の心理学

第3章　 カラスとキツネ

第4章　 探索