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

文檔介紹：
西南大學(xué)碩士學(xué)位論文概率動(dòng)態(tài)認(rèn)知邏輯初探姓名:程莉申請(qǐng)學(xué)位級(jí)別:碩士專(zhuān)業(yè):邏輯學(xué)指導(dǎo)教師:彭自強(qiáng)20090501兩南人學(xué)碩+學(xué)位論文摘要III| IIII曼蔓概率動(dòng)態(tài)認(rèn)知邏輯初探邏輯學(xué)專(zhuān)業(yè)碩士研究生程莉指導(dǎo)教師彭自強(qiáng)教授摘要認(rèn)知邏輯是一種關(guān)于知識(shí)和信念包括高階信息推理的模態(tài)邏輯,概率認(rèn)知邏輯PEL只能刻畫(huà)信息變化,但是,這種信息不包括高階信息,概率動(dòng)態(tài)認(rèn)知邏輯是將概率邏輯和動(dòng)態(tài)認(rèn)知邏輯相結(jié)合的邏輯。本文的主要目的就是嘗試處理有關(guān)變化的概率、信息、以及高階信息的邏輯推理,并證明其可靠性和完全性。第一部分:首先介紹認(rèn)知邏輯,認(rèn)知邏輯善于處理多主體的信息,即高階信息,但是它不能處理關(guān)于信息變化的推理。動(dòng)態(tài)認(rèn)知邏輯DEL是認(rèn)知邏輯的擴(kuò)充,能處理關(guān)于信息和信息變化的推理,同時(shí)指出它的不足——不能描述新接收信息的變化對(duì)主體信念度的影響。接著介紹概率認(rèn)知邏輯理論一EL,它雖然能反映主體信念變化的過(guò)程,但并不能處理高階信息,因此將二者結(jié)合起來(lái),形成一個(gè)新的邏輯:概率動(dòng)態(tài)認(rèn)知邏輯PDEL,即可處理有關(guān)變化的概率、信息及高階信息的邏輯推理。第二部分:給出概率認(rèn)知模型。在此基礎(chǔ)上,將概率認(rèn)知邏輯語(yǔ)言解釋到該模型上,并介紹概率認(rèn)知邏輯的動(dòng)態(tài)轉(zhuǎn)向。第三部分:介紹概率... 內(nèi)容來(lái)自轉(zhuǎn)載請(qǐng)標(biāo)明出處.

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