認(rèn)知邏輯是研究知識(shí)推理和信念變化的模態(tài)邏輯的一個(gè)分支,在人工智能、多agent系統(tǒng)以及對(duì)策論等領(lǐng)域有著廣泛應(yīng)用。為給強(qiáng)調(diào)構(gòu)造性和能行性的計(jì)算機(jī)科學(xué)相關(guān)領(lǐng)域的研究提供新的邏輯工具,一批學(xué)者開始將直覺主義構(gòu)造性觀點(diǎn)和認(rèn)知邏輯相結(jié)合,在直覺主義邏輯基礎(chǔ)上對(duì)認(rèn)知邏輯展開研究�；贘?ger和Marti對(duì)直覺主義分布式知識(shí)和公共知識(shí)的研究,在直覺主義邏輯框架下同時(shí)處理公共知識(shí)和分布式知識(shí)。針對(duì)知識(shí)滿足的不同性質(zhì)及不同可達(dá)關(guān)系特性,建立了含分布式知識(shí)和公共知識(shí)的兩個(gè)直覺主義認(rèn)知邏輯公理系統(tǒng)ICDK和ICDT。通過對(duì)模型進(jìn)行逐次變換的方法構(gòu)造了典范模型并給出了完備可靠性證明。

【文章頁數(shù)】：9 頁

【文章目錄】：
1 引言
2 語言LCDK和語義解釋
3 希爾伯特風(fēng)格公理系統(tǒng)ICDK、ICDT
4 偽滿足性
5 可靠性和完備性
6 總結(jié)



本文編號(hào)：4034137