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

定　價(jià)：￥25.00

作　者：	周昌樂(lè)編著
出版社：	廣西科學(xué)技術(shù)出版社
叢編項(xiàng)：	中國(guó)計(jì)算機(jī)學(xué)會(huì)學(xué)術(shù)著作叢書(shū)
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

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

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

內(nèi)容簡(jiǎn)介

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