作者: 周昌樂出版社: 清華大學出版社出版年: 2001-6頁數: 312定價: 25.00元ISBN: 9787302044772內容簡介 · · · · · ·本書主要介紹有關知識、信念的形式化描述及其套用的邏輯理論，充分反映了國外在認知邏輯研究領域所取得的成就，不但介紹了較為成熟的信念邏輯、斷定邏輯，而且給出了認知非單調推理、認知預設推理以及一些廣義認知邏輯理論,最後討論了認知邏輯在通信協定、規划行動、多主體分散式系統以及認識哲學中的套用等問題。
