123,123

內(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)用等問題。

作者簡介

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

圖書目錄

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

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

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

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

購買這本書可以去

內(nèi)容簡介

作者簡介

圖書目錄

本目錄推薦

5G無線網(wǎng)絡(luò)優(yōu)化

大學(xué)計算機：醫(yī)學(xué)計算技術(shù)進階

工業(yè)機器人集成應(yīng)用

ASP.NET MVC高效構(gòu)建Web應(yīng)用

MATLAB GUI設(shè)計全解：基于App D…

面向森林生長的建模、計算和仿真…

電子排版技術(shù)：方正飛騰4.0

HDFS+MapReduce分布式存儲與計算…

可適應(yīng)設(shè)計方法及應(yīng)用

邊緣工作流系統(tǒng)