計算論理と人間の思考 推論AIへの論理的アプローチ
| 作者 | ロバート・コワルスキ/原著;坂間千秋/監修;尾崎竜史/翻訳 |
|---|---|
| 出版社 | 日本出版販売株式会社 |
| 商品描述 | 計算論理と人間の思考 推論AIへの論理的アプローチ：，論理は現実世界での推論とどのように関係しており,どう応用できるのか?論理型プログラミング言語Prologへの貢献でも |
內容簡介
內容簡介 論理は現実世界での推論とどのように関係しており,どう応用できるのか?論理型プログラミング言語Prologへの貢献でも著名なR・コワルスキ,ロジックを敢えてインフォーマルに語る。Neuro全盛の今だからこそ,Symbolic AIについて考える。 論理は現実世界での推論とどう関係し,どう応用できるのか? Neuro全盛の今だからこそSymbolic AIを考える。
作者介紹
作者介紹 ロバート・コワルスキインペリアル・カレッジ・ロンドン計算機工学科名誉教授,Distinguished Research Fellow。論理型プログラミング言語Prologへの貢献でも知られる。坂間千秋和歌山大学システム工学部教授,京都大学博士(工学)。専門分野は,計算機科学,人工知能,数理論理学など。著書に『エージェントアプローチ人工知能 第2版』(共訳,共立出版2008年),『深堀り!中学数学:教科書に書かれていない数学の話』(岩波書店2021年)など。尾崎竜史筑波大学大学院数学研究科中退,修士(理学)。筑波大学大学院システム情報工学研究科,博士(工学)。
商品規格
| 書名 / | 計算論理と人間の思考 推論AIへの論理的アプローチ |
|---|---|
| 作者 / | ロバート・コワルスキ 原著;坂間千秋 監修;尾崎竜史 翻訳 |
| 簡介 / | 計算論理と人間の思考 推論AIへの論理的アプローチ：，論理は現実世界での推論とどのように関係しており,どう応用できるのか?論理型プログラミング言語Prologへの貢献でも |
| 出版社 / | 日本出版販売株式会社 |
| ISBN13 / | 9784909240064 |
| ISBN10 / | |
| EAN / | 9784909240064 |
| 誠品26碼 / | |
| 尺寸 / | 21.0X14.8X2.6CM |
| 頁數 / | 464 |
| 級別 / | N:無 |
| 裝訂 / | P:平裝 |
| 語言 / | 4:日文 |