本文關鍵詞：概率動態(tài)認知邏輯初探，由筆耕文化傳播整理發(fā)布。

兩南人學碩+學位論文 摘要 III| II II曼蔓 概率動態(tài)認知邏輯初探 邏輯學專業(yè)碩士研究生程莉 指導教師 彭自強教授 摘 要 認知邏輯是一種關于知識和信念包括高階信息推理的模態(tài)邏輯，概率認知邏 輯PEL只能刻畫信息變化，但是，這種信息不包括高階信息，概率動態(tài)認知邏輯 是將概率邏輯和動態(tài)認知邏輯相結合的邏輯。本文的主要目的就是嘗試處理有關 變化的概率、信息、以及高階信息的邏輯推理，并證明其可靠性和完全性。 第一部分：首先介紹認知邏輯，認知邏輯善于處理多主體的信息，即高階信 息，但是它不能處理關于信息變化的推理。動態(tài)認知邏輯DEL是認知邏輯的擴充， 能處理關于信息和信息變化的推理，同時指出它的不足――不能描述新接收信息 的變化對主體信念度的影響。接著介紹概率認知邏輯理論一EL，它雖然能反映 主體信念變化的過程，但并不能處理高階信息，因此將二者結合起來，形成一個新 的邏輯：概率動態(tài)認知邏輯PDEL，即可處理有關變化的概率、信息及高階信息的 邏輯推理。 第二部分：給出概率認知模型。在此基礎上，將概率認知邏輯語言解釋到該 模型上，并介紹概率認知邏輯的動態(tài)轉向。 第三部分：介紹概率動態(tài)認知邏輯的語言、語義，，給出在特殊情況下構造PDEL 模型的方法，并對其可靠性和完全性給予證明。最后給出PDEL的應用：斗牛士 游戲。 第四部分：對PDEL做出評價，指出不足之處，并指明在未來需要進一步研 究的問題。 關鍵詞：動態(tài)認知邏輯高階信息公開宣告 貝葉斯更新 概率動態(tài)認知邏輯 兩南入學碩十’≯何論文 Abstract A on ofProbabilistic PreliminaryStudy Logic DynamicEpistemic Maj Author：Li or：Logic Cheng Supervisor：ProfessorPeng Z

  本文關鍵詞：概率動態(tài)認知邏輯初探，由筆耕文化傳播整理發(fā)布。