認(rèn)知邏輯用來處理關(guān)于知識的推理。為了處理不確定知識,Fagin和Halpern引入概率語言,發(fā)展為一種概率認(rèn)知邏輯�；诳死锲湛四Ｐ�,引入概率空間,給出概率語言的語義解釋。概率認(rèn)知邏輯在處理不確定性知識推理方面具有很大的優(yōu)勢,但這是一種靜態(tài)的語言。為了刻畫不確定知識的變化,Kooi.基于概率認(rèn)知邏輯,引入動態(tài)更新語言,發(fā)展為一種概率動態(tài)認(rèn)知邏輯�；诳死锲湛四Ｐ�,在離散概率空間的情形下給出概率算子和更新算子的語義解釋。本文的主要工作是把他們的克里普克模型推廣到一般框架上去�；谝话憧蚣艿拇鷶�(shù)性質(zhì),引入概率函數(shù),生成概率空間,很自然地給出概率語言的語義解釋。利用一般框架對賦值的限制性這一條件,引入其他一些有效式,對原有的公理系統(tǒng)進(jìn)行一個擴(kuò)張。借助于模態(tài)邏輯的代數(shù)語義和一般框架的內(nèi)在聯(lián)系,證明擴(kuò)張后的公理系統(tǒng)關(guān)于一般框架是完全的。 

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

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

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

【文章目錄】：
摘要
ABSTRACT
引言
    文獻(xiàn)綜述
    研究思路
    論文框架
第1章 背景知識
    1.1 公開宣告邏輯
    1.2 一般框架
    1.3 概率空間和條件概率更新
第2章 概率動態(tài)認(rèn)知邏輯
    2.1 知識推理和概率推理
    2.2 概率認(rèn)知邏輯
    2.3 概率動態(tài)認(rèn)知邏輯
第3章 基于一般框架的概率動態(tài)認(rèn)知邏輯
    3.1 基于一般框架的概率認(rèn)知邏輯
    3.2 基于一般框架的概率動態(tài)認(rèn)知邏輯
結(jié)論
參考文獻(xiàn)
致謝
發(fā)表論文



本文編號：3364214