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

定　價：￥25.00

作　者：	周昌樂編著
出版社：	廣西科學(xué)技術(shù)出版社
叢編項：	中國計算機學(xué)會學(xué)術(shù)著作叢書
標(biāo)　簽：	暫缺

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥21.50)

ISBN：	9787302044772	出版時間：	2001-01-01	包裝：
開本：	20cm	頁數(shù)：	313頁	字?jǐn)?shù)：

內(nèi)容簡介

　　本書主要介紹有關(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)用等問題。