資料詳細

計算論理と人間の思考利用可

ロバート・コワルスキ／著 -- 九夏社 -- 2025.3 -- 007.1

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	一般	007.1/ｺﾜﾙ/一般	122728127	一般	利用可

ページの先頭へ

資料詳細

タイトル	計算論理と人間の思考
書名ヨミ	ケイサン　ロンリ　ト　ニンゲン　ノ　シコウ
副書名	推論ＡＩへの論理的アプローチ
著者名	ロバート・コワルスキ／著, 坂間　千秋／監訳, 尾崎　竜史／訳, 伊藤　武芳／訳
著者ヨミ	コワルスキー，ロバート　Ａ． , サカマ，チアキ , オザキ，リュウシ , イトウ，タケヨシ
出版者	九夏社
出版年	2025.3
ページ数等	４３８ｐ
大きさ	２１ｃｍ
原書名	原タイトル：Ｃｏｍｐｕｔａｔｉｏｎａｌ　Ｌｏｇｉｃ　ａｎｄ　Ｈｕｍａｎ　Ｔｈｉｎｋｉｎｇ
一般件名	人工知能 , 記号論理学
ISBN	4-909240-06-3
ISBN13桁	978-4-909240-06-4
定価	３５００円
問合わせ番号（書誌番号）	1120667640
NDC8版	007.1
NDC9版	007.13
NDC10版	007.13
著者紹介	【ロバート・コワルスキ】インペリアル・カレッジ・ロンドン計算機工学科名誉教授、Ｄｉｓｔｉｎｇｕｉｓｈｅｄ　Ｒｅｓｅａｒｃｈ　Ｆｅｌｌｏｗ。「自動定理証明および論理プログラミングに関する先駆的研究を含む、知識表現と問題解決のための論理学への貢献」によるＩＪＣＡＩ卓越研究賞（２０１１年）など、受賞多数。（本データはこの書籍が刊行された当時に掲載されていたものです）
著者紹介	【坂間千秋】和歌山大学システム工学部教授、京都大学博士（工学）。専門分野は、計算機科学、人工知能、数理論理学など。著書に『エージェントアプローチ人工知能　第２版』（共訳、共立出版２００８年）など。（本データはこの書籍が刊行された当時に掲載されていたものです）

ページの先頭へ

内容一覧

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

ページの先頭へ