概率動態(tài)認(rèn)知邏輯初探.pdf

1、認(rèn)知邏輯是一種關(guān)于知識和信念包括高階信息推理的模態(tài)邏輯，概率認(rèn)知邏輯PEL只能刻畫信息變化，但是，這種信息不包括高階信息，概率動態(tài)認(rèn)知邏輯是將概率邏輯和動態(tài)認(rèn)知邏輯相結(jié)合的邏輯。本文的主要目的就是嘗試處理有關(guān)變化的概率、信息、以及高階信息的邏輯推理，并證明其可靠性和完全性。 第一部分：首先介紹認(rèn)知邏輯，認(rèn)知邏輯善于處理多主體的信息，即高階信息，但是它不能處理關(guān)于信息變化的推理。動態(tài)認(rèn)知邏輯DEL是認(rèn)知邏輯的擴(kuò)充，能處理關(guān)于信息和

2、信息變化的推理，同時指出它的不足—不能描述新接收信息的變化對主體信念度的影響。接著介紹概率認(rèn)知邏輯理論-PEL，它雖然能反映主體信念變化的過程，但并不能處理高階信息，因此將二者結(jié)合起來，形成一個新的邏輯：概率動態(tài)認(rèn)知邏輯：PDEL，即可處理有關(guān)變化的概率、信息及高階信息的邏輯推理。 第二部分：給出概率認(rèn)知模型。在此基礎(chǔ)上，將概率認(rèn)知邏輯語言解釋到該模型上，并介紹概率認(rèn)知邏輯的動態(tài)轉(zhuǎn)向。 第三部分：介紹概率動態(tài)認(rèn)知邏輯的語