認(rèn)知邏輯是研究知識(shí)推理和信念變化的模態(tài)邏輯的一個(gè)分支,在人工智能、多agent系統(tǒng)以及對(duì)策論等領(lǐng)域有著廣泛應(yīng)用。長期以來,學(xué)術(shù)界在經(jīng)典邏輯的基礎(chǔ)上對(duì)認(rèn)知邏輯開展了深入而廣泛的研究,針對(duì)不同知識(shí)類型建立了相應(yīng)的邏輯系統(tǒng)加以刻畫。近年來,一批學(xué)者將直覺主義構(gòu)造性觀點(diǎn)和認(rèn)知邏輯相結(jié)合,在直覺主義邏輯基礎(chǔ)上對(duì)認(rèn)知邏輯展開研究。這種研究為強(qiáng)調(diào)構(gòu)造性和能行性的計(jì)算機(jī)科學(xué)相關(guān)領(lǐng)域的研究提供了新的邏輯工具。眾所周知,直覺主義邏輯除了基于證明概念的BHK(Brouwer-Heyting-Kolmogrov)語義、基于Heyting代數(shù)的代數(shù)語義還有基于真值的Kripke語義。Kripke結(jié)構(gòu)是模態(tài)邏輯的重要語義結(jié)構(gòu)之一,易于理解且與形式化方法中諸多結(jié)構(gòu)相似,在此結(jié)構(gòu)上的邏輯語言可以作為描述計(jì)算系統(tǒng)性質(zhì)的規(guī)范語言。所以,直覺主義認(rèn)知邏輯的諸多研究基于Kripke結(jié)構(gòu)展開。但是,由于兼顧認(rèn)知模態(tài)詞和直覺主義否定詞的語義解釋,這些Kripke結(jié)構(gòu)的可達(dá)關(guān)系需要滿足更多的約束性質(zhì),這就給相關(guān)邏輯系統(tǒng)完備性證明中模型的構(gòu)造帶來困難。尤其是對(duì)含有公共知識(shí)這種具有不動(dòng)點(diǎn)語義特性的模態(tài)詞的邏輯系統(tǒng)而言,通常的典范模型方...

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

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
abstract
注釋表
縮略詞
第一章 緒論
    1.1 引言
    1.2 直覺主義認(rèn)知邏輯
    1.3 公共知識(shí)和分布式知識(shí)
    1.4 本文主要工作
第二章 基本概念
    2.1 經(jīng)典認(rèn)知邏輯
    2.2 直覺主義邏輯
    2.3 直覺主義認(rèn)知邏輯
    2.4 帶公共知識(shí)的直覺主義認(rèn)知邏輯
    2.5 帶分布式知識(shí)的直覺主義認(rèn)知邏輯
第三章直覺主義認(rèn)知邏輯IDS4
    3.1 公理系統(tǒng)
    3.2 偽滿足性和模型變換
        3.2.1 偽滿足性
        3.2.2 模型變換
    3.3 完備可靠性
    3.4 本章小結(jié)
第四章 直覺主義認(rèn)知邏輯ICDK
    4.1 語法和語義
    4.2 公理系統(tǒng)
    4.3 偽滿足性和模型變換
        4.3.1 偽滿足性
        4.3.2 模型變換
    4.4 完備可靠性
    4.5 本章小結(jié)
第五章 總結(jié)與展望
    5.1 全文總結(jié)
    5.2 進(jìn)一步的工作
參考文獻(xiàn)
致謝
在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文



本文編號(hào)：3931986