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

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

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

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

【文章目錄】：
中文摘要
ABSTRACT
第1章 緒論
    1.1 國內(nèi)外研究現(xiàn)狀與文獻(xiàn)綜述
    1.2 研究思路和主要內(nèi)容
第2章 基于關(guān)系語義學(xué)的公開宣告邏輯
    2.1 認(rèn)知邏輯
        2.1.1 認(rèn)知邏輯的語言、語義
        2.1.2 公理系統(tǒng)
    2.2 公開宣告邏輯
        2.2.1 語言、語義
        2.2.2 公理系統(tǒng)
        2.2.3 完全性證明
        2.2.4 帶公共知識算子的公開宣告邏輯
第3章 拓?fù)湔Z義學(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義學(xué)的公開宣告邏輯
    4.1 語言、語義
    4.2 公理化系統(tǒng)
    4.3 帶公共知識算子的公開宣告邏輯
        4.3.1 對公共知識算子的不同觀點(diǎn)
        4.3.2 作為不動點(diǎn)的公共知識算子
第5章 基于拓?fù)湔Z義學(xué)與基于關(guān)系語義學(xué)的公開宣告邏輯之比較
    5.1 基本關(guān)系
    5.2 拓?fù)涓率且环N擴(kuò)張
結(jié)語
致謝
參考文獻(xiàn)
攻讀碩士期間的研究成果



本文編號：3461677