資料詳細

  • 1 件中、 1 件目

【図書】 計算論理と人間の思考

推論ＡＩへの論理的アプローチ --
ロバート・コワルスキ ／著, 坂間千秋 ／監訳, 尾崎竜史 ／訳, 伊藤武芳 ／訳   -- 九夏社 -- ２０２５．３ -- ２１ｃｍ -- ４３８ｐ

資料詳細

タイトル 計算論理と人間の思考
副書名 推論ＡＩへの論理的アプローチ
著者名等 ロバート・コワルスキ ／著, 坂間千秋 ／監訳, 尾崎竜史 ／訳, 伊藤武芳 ／訳  
出版 九夏社 ２０２５．３
大きさ等 ２１ｃｍ ４３８ｐ
分類 007.13
件名 人工知能 , 記号論理学
注記 原タイトル：Ｃｏｍｐｕｔａｔｉｏｎａｌ　Ｌｏｇｉｃ　ａｎｄ　Ｈｕｍａｎ　Ｔｈｉｎｋｉｎｇ
注記 文献あり　索引あり
著者紹介 【ロバート・コワルスキ】インペリアル・カレッジ・ロンドン計算機工学科名誉教授、Ｄｉｓｔｉｎｇｕｉｓｈｅｄ　Ｒｅｓｅａｒｃｈ　Ｆｅｌｌｏｗ。「自動定理証明および論理プログラミングに関する先駆的研究を含む、知識表現と問題解決のための論理学への貢献」によるＩＪＣＡＩ卓越研究賞（２０１１年）など、受賞多数。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 論理は現実世界での推論とどう関係しており、どう応用できるのか？論理プログラミング言語Ｐｒｏｌｏｇへの貢献でも有名なＲ・コワルスキ、ロジックをインフォーマルに語る。Ｎｅｕｒｏ全盛の今だからこそ、Ｓｙｍｂｏｌｉｃ　ＡＩを考える。
目次 第１章　地下鉄の論理；第２章　論理の心理学；第３章　カラスとキツネ；第４章　探索；第５章　失敗としての否定；第６章　英国市民になる方法；第７章　ダンゴムシと火星探査機；第８章　生命の駆動力としての持続目標；第９章　生命の意味；第１０章　アブダクション；第１１章　囚人のジレンマ；第１２章　動機が重要；第１３章　変化する世界；第１４章　論理とオブジェクト；第１５章　双方向条件文；第１６章　計算論理と選択課題；第１７章　メタ論理；本書の結論；補遺
ISBN(13)、ISBN 978-4-909240-06-4　　 4-909240-06-3
書誌番号 1125002155
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1125002155

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 情報科学 007.1 一般書 利用可 - 2077959770 iLisvirtual

ページの先頭へ