計算論理と人間の思考

近刊のご案内

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

論理は現実世界での推論とどのように関係しており，どう応用できるのか？
論理型プログラミング言語Prologへの貢献でも著名なR・コワルスキ，ロジックを敢えてインフォーマルに語る。
Neuro全盛の今だからこそ，Symbolic AIを考える。

ロバート・コワルスキ著
坂間千秋監訳
尾崎竜史・伊藤武芳訳

2025年3月18日発売予定
定価：3500円（税別）
ISBN：978-4-909240-06-4