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

著者

書誌事項

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

ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳

九夏社, 2025.3

タイトル別名

Computational logic and human thinking : how to be artificially intelligent

タイトル読み

ケイサン ロンリ ト ニンゲン ノ シコウ : スイロン AI エノ ロンリテキ アプローチ

大学図書館所蔵 件 / 全44件

この図書・雑誌をさがす

注記

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

監訳: 坂間千秋

文献: p417-423

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

ページトップへ