信息是可以交流的,因此知識(shí)和信念從來(lái)就不是靜態(tài)的。動(dòng)態(tài)認(rèn)知邏輯（Dynamic Epistemic Logic,簡(jiǎn)稱DEL）是諸多具有動(dòng)態(tài)算子的認(rèn)知邏輯擴(kuò)張的總稱,它使我們能夠?qū)⑿畔⒆兓耐评硇问交Ｐ畔⒔涣骱椭黧w間的互動(dòng)是近年來(lái)對(duì)動(dòng)態(tài)認(rèn)知邏輯進(jìn)行研究的主題,尤其是在約翰·范·本特姆（Johan van Benthem）教授所倡導(dǎo)的邏輯動(dòng)態(tài)轉(zhuǎn)向之后,越來(lái)越多的邏輯學(xué)家都被吸引到了認(rèn)知邏輯的研究領(lǐng)域。眾所周知,公開(kāi)宣告邏輯（Public Announcement Logic,簡(jiǎn)稱PAL）是在靜態(tài)認(rèn)知邏輯（Epistemic Logic,簡(jiǎn)稱EL）的基礎(chǔ)上通過(guò)增加宣告算子[]以此來(lái)刻畫(huà)在公開(kāi)交流中因宣告行為而引起的知識(shí)變化以及關(guān)于知識(shí)的推理問(wèn)題。從模型角度來(lái)看,宣告行為產(chǎn)生前后主體的知識(shí)變化體現(xiàn)在了認(rèn)知模型的更新上。PAL是一個(gè)力求表達(dá)知識(shí)變化的正規(guī)模態(tài)邏輯,它通過(guò)外部主體做出真實(shí)且公開(kāi)的宣告,然后主體通過(guò)消除與該宣告內(nèi)容矛盾的可能世界來(lái)更新他們的認(rèn)知狀態(tài)。PAL作為最簡(jiǎn)單的動(dòng)態(tài)認(rèn)知邏輯系統(tǒng),對(duì)其進(jìn)行深入細(xì)致的研究有利于對(duì)其他更為復(fù)雜動(dòng)態(tài)認(rèn)知邏輯的研究。我們通�；诳死锲湛苏Z(yǔ)義學(xué)對(duì)PAL進(jìn)... 

【文章來(lái)源】：西南大學(xué)重慶市 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：45 頁(yè)

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

【文章目錄】：
中文摘要
ABSTRACT
第1章 緒論
    1.1 國(guó)內(nèi)外研究現(xiàn)狀與文獻(xiàn)綜述
    1.2 研究思路和主要內(nèi)容
第2章 基于關(guān)系語(yǔ)義學(xué)的公開(kāi)宣告邏輯
    2.1 認(rèn)知邏輯
        2.1.1 認(rèn)知邏輯的語(yǔ)言、語(yǔ)義
        2.1.2 公理系統(tǒng)
    2.2 公開(kāi)宣告邏輯
        2.2.1 語(yǔ)言、語(yǔ)義
        2.2.2 公理系統(tǒng)
        2.2.3 完全性證明
        2.2.4 帶公共知識(shí)算子的公開(kāi)宣告邏輯
第3章 拓?fù)湔Z(yǔ)義學(xué)
    3.1 拓?fù)淇臻g與拓?fù)淠Ｐ?br>    3.2 拓?fù)浠ツM
    3.3 拓?fù)渫耆?br>    3.4 拓?fù)浞e
    3.5 2-拓?fù)淇臻g模態(tài)邏輯
第4章 基于拓?fù)湔Z(yǔ)義學(xué)的公開(kāi)宣告邏輯
    4.1 語(yǔ)言、語(yǔ)義
    4.2 公理化系統(tǒng)
    4.3 帶公共知識(shí)算子的公開(kāi)宣告邏輯
        4.3.1 對(duì)公共知識(shí)算子的不同觀點(diǎn)
        4.3.2 作為不動(dòng)點(diǎn)的公共知識(shí)算子
第5章 基于拓?fù)湔Z(yǔ)義學(xué)與基于關(guān)系語(yǔ)義學(xué)的公開(kāi)宣告邏輯之比較
    5.1 基本關(guān)系
    5.2 拓?fù)涓率且环N擴(kuò)張
結(jié)語(yǔ)
致謝
參考文獻(xiàn)
攻讀碩士期間的研究成果



本文編號(hào)：3461677