發(fā)布時間：2025-02-15 10:05

　　 認知邏輯是研究知識推理和信念變化的模態(tài)邏輯的一個分支,在人工智能、多agent系統(tǒng)以及對策論等領域有著廣泛應用。為給強調構造性和能行性的計算機科學相關領域的研究提供新的邏輯工具,一批學者開始將直覺主義構造性觀點和認知邏輯相結合,在直覺主義邏輯基礎上對認知邏輯展開研究。基于J?ger和Marti對直覺主義分布式知識和公共知識的研究,在直覺主義邏輯框架下同時處理公共知識和分布式知識。針對知識滿足的不同性質及不同可達關系特性,建立了含分布式知識和公共知識的兩個直覺主義認知邏輯公理系統(tǒng)ICDK和ICDT。通過對模型進行逐次變換的方法構造了典范模型并給出了完備可靠性證明。

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

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



本文編號：4034137