發(fā)布時(shí)間：2021-09-19 12:30

　　命題模態(tài)邏輯是命題邏輯增加模態(tài)算子后的擴(kuò)充,常用于刻畫(huà)多agent認(rèn)知所遵循的邏輯規(guī)律。信息事件的發(fā)生會(huì)導(dǎo)致agent認(rèn)知的改變,為了刻畫(huà)諸如此類(lèi)多agent認(rèn)知的動(dòng)態(tài)變化所遵循的內(nèi)在邏輯規(guī)律,學(xué)術(shù)界提出精化的概念。最近,Laura Bazzelli等人提出了精化模態(tài)邏輯系統(tǒng),在對(duì)象語(yǔ)言層次上以一種全局的外在的觀點(diǎn)考察了精化量詞的邏輯性質(zhì)。精化模態(tài)邏輯在命題模態(tài)邏輯基礎(chǔ)上增加了與精化相關(guān)的量詞?（及?）,直觀上?（?）表示所有（存在）精化模型滿足性質(zhì)。這種類(lèi)型量詞的引入為agent認(rèn)知及形式化建模中相關(guān)問(wèn)題的形式描述提供了表達(dá)機(jī)制。精化概念要求模型之間的模擬隨著狀態(tài)之間的可達(dá)關(guān)系（或轉(zhuǎn)換關(guān)系）始終持續(xù)保持,但在實(shí)際應(yīng)用中的一些場(chǎng)合（如,對(duì)抽象成帶量化信息轉(zhuǎn)換系統(tǒng)的控制系統(tǒng)和實(shí)時(shí)系統(tǒng)的分析推理）,考慮的往往是精化關(guān)系的有限近似,后者在數(shù)學(xué)上抽象成所謂的n-精化關(guān)系。本文將針對(duì)n-精化關(guān)系,構(gòu)建并研究相應(yīng)的n-精化模態(tài)邏輯。主要工作內(nèi)容包括:（1）給出n-精化模態(tài)邏輯的語(yǔ)法及語(yǔ)義,及其相應(yīng)的公理系統(tǒng),證明其可靠性并通過(guò)證明每個(gè)n-精化模態(tài)公式可證等價(jià)于一個(gè)K-公式,給出系統(tǒng)的完備性證明。（... 

【文章來(lái)源】：南京航空航天大學(xué)江蘇省 211工程院校

【文章頁(yè)數(shù)】：73 頁(yè)

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

【部分圖文】：

模型N與模型M精化已在理論研究和工程實(shí)踐中被廣泛應(yīng)用

圖 3.4 點(diǎn)模型 、 有 ，則 0 。 及 K 系統(tǒng)的完備性[5]可知，存在模型M (S,R,V)及狀態(tài)s S證明 N ( , , )如下： , 如果 ( , ) ∪ ,如果 ) s′ ∪ ( ) ，其中s′ {s′ ,如果 s V(p),如果 s V(p)。t N(s′)都存在 使得 N(s′)使得 ，即


本文編號(hào)：3401616