認(rèn)知邏輯導(dǎo)論

　　本書主要介紹有關(guān)知識，信念的形式化描述及其應(yīng)用的邏輯理論，充分反映了國外在認(rèn)知邏輯研究領(lǐng)域所取得的成果，不但介紹了較為成熟的知道邏輯，信念邏輯，斷定邏輯，而且給出了認(rèn)知非單調(diào)推理，認(rèn)知缺省推理以及一些廣義認(rèn)知邏輯理論，最后還討論了認(rèn)知邏輯在通信協(xié)議，規(guī)劃行動，多主體分布式系統(tǒng)以及認(rèn)知哲學(xué)中的應(yīng)用等問題。

暫缺《認(rèn)知邏輯導(dǎo)論》作者簡介