注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)計(jì)算機(jī)科學(xué)理論與基礎(chǔ)知識認(rèn)知邏輯導(dǎo)論

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

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

定　價(jià)：￥25.00

作　者： 周昌樂編著
出版社： 廣西科學(xué)技術(shù)出版社
叢編項(xiàng)： 中國計(jì)算機(jī)學(xué)會(huì)學(xué)術(shù)著作叢書
標(biāo)　簽： 暫缺
ISBN： 9787302044772 出版時(shí)間： 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ī)劃行動(dòng)，多主體分布式系統(tǒng)以及認(rèn)知哲學(xué)中的應(yīng)用等問題。

作者簡介

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

圖書目錄

一，引論
二，模態(tài)邏輯基礎(chǔ)
三，斷定邏輯系統(tǒng)
四，知道邏輯系統(tǒng)
五，信念邏輯系統(tǒng)
六，廣義認(rèn)知邏輯
七，認(rèn)知狀態(tài)邏輯
八，認(rèn)知缺省推理
九，應(yīng)用

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.leeflamesbasketballcamps.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號