本文關(guān)鍵詞：公開(kāi)更新邏輯

  更多相關(guān)文章： 公開(kāi)更新邏輯 群體知識(shí) 公共知識(shí) 群體隱含知識(shí) 公開(kāi)替換

【摘要】： 公開(kāi)宣告邏輯中關(guān)于現(xiàn)實(shí)世界的信息是不變的。但實(shí)際上現(xiàn)實(shí)世界是時(shí)時(shí)刻刻充滿(mǎn)變化的，主體關(guān)于世界本身的信息也相應(yīng)地會(huì)發(fā)生變化。這要求主體必須根據(jù)這些變化不斷地更新自己的知識(shí)。因此，如何形式化處理世界信息變化成為近年來(lái)動(dòng)態(tài)認(rèn)知邏輯研究領(lǐng)域中的一個(gè)熱點(diǎn)問(wèn)題。 Barteld Kooi[2006]根據(jù)H van Ditmarsch[2004b]的思路建立了可以處理世界信息變化的公開(kāi)宣告邏輯。由于主體之間的影響和互動(dòng)很多是建立在群體知識(shí)的基礎(chǔ)上，所以群體知識(shí)在動(dòng)態(tài)認(rèn)知邏輯研究中也是十分重要的。郭美云博士在他[2006]的博士論文中建立了包含公共知識(shí)和群體隱含知識(shí)的公開(kāi)宣告邏輯系統(tǒng)PAL(RC，D，E)。本文在他們研究的基礎(chǔ)上，通過(guò)引入公開(kāi)替換算子得到PAL(RC，D，E)的一個(gè)擴(kuò)充系統(tǒng)——公開(kāi)宣告邏輯PUL。 在完全性證明中，我們采用Barteld Kooi[2006]中的證明思路，，通過(guò)歸約公理將PUL的完全性歸約到PAL(RC，D，E)的完全性上。歸約的方法不僅使我們很容易得到完全的證明系統(tǒng)而且還使我們很清楚地看到公開(kāi)替換算子的引入并沒(méi)有增強(qiáng)語(yǔ)言的表達(dá)力。 最后我們對(duì)論文進(jìn)行了總結(jié)和討論。
【學(xué)位授予單位】：西南大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2007
【分類(lèi)號(hào)】：B81

【相似文獻(xiàn)】

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 熊立文;;邏輯理性與構(gòu)建和諧社會(huì)——“2005·學(xué)術(shù)前沿論壇”北京市邏輯學(xué)會(huì)專(zhuān)場(chǎng)綜述[A];和諧社會(huì)：社會(huì)公正與風(fēng)險(xiǎn)管理——2005學(xué)術(shù)前沿論壇論文集（上卷）[C];2005年

2 吳翠花;萬(wàn)威武;;基于自主創(chuàng)新的組織知識(shí)創(chuàng)造機(jī)制研究[A];首屆中國(guó)科技政策與管理學(xué)術(shù)研討會(huì)2005年論文集（下）[C];2005年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 華東師范大學(xué)公共管理學(xué)院教育部中學(xué)校長(zhǎng)培訓(xùn)中心 張俊華;教育寬容的四種境界[N];中國(guó)教育報(bào);2008年

2 尹國(guó)先;試談企業(yè)形象的塑造[N];中國(guó)機(jī)電日?qǐng)?bào);2000年

3 王悅;工程咨詢(xún)：既要“防守”又要“進(jìn)攻”[N];經(jīng)濟(jì)參考報(bào);2003年

4 張寶生;做好殘疾人工作 促進(jìn)和諧四平建設(shè)[N];四平日?qǐng)?bào);2007年

5 李強(qiáng);當(dāng)家做主鑄豐碑[N];山西日?qǐng)?bào);2004年

6 陳華文;凝聚力量搞科研[N];中國(guó)礦業(yè)報(bào);2002年

7 楊文俊　宋紅權(quán);現(xiàn)代金融如何實(shí)現(xiàn)人才增值[N];臨汾日?qǐng)?bào);2010年

8 邸永君;清代滿(mǎn)蒙翰林群體的歷史定位和研究?jī)r(jià)值[N];中國(guó)社會(huì)科學(xué)院院報(bào);2005年

9 明亮;幫大學(xué)生克服創(chuàng)業(yè)心理障礙[N];中國(guó)勞動(dòng)保障報(bào);2009年

10 本報(bào)記者 王國(guó)星　梁瀟;商洛血庫(kù)告急僅僅是一個(gè)偶發(fā)現(xiàn)象[N];陜西日?qǐng)?bào);2010年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 郭美云;帶有群體知識(shí)的動(dòng)態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

2 吳楊;團(tuán)隊(duì)知識(shí)創(chuàng)新過(guò)程及其管理研究[D];哈爾濱工業(yè)大學(xué);2009年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 蔣軍利;公開(kāi)更新邏輯[D];西南大學(xué);2007年

2 蕭瑤;信念修正邏輯初探[D];西南大學(xué);2008年

3 何飛祥;企業(yè)中個(gè)體知識(shí)共享研究[D];華東師范大學(xué);2006年

4 劉永新;中學(xué)教師知識(shí)共享的策略研究[D];南京師范大學(xué);2008年

5 鐘劍;我國(guó)商業(yè)銀行零售業(yè)務(wù)風(fēng)險(xiǎn)管理問(wèn)題研究[D];西南農(nóng)業(yè)大學(xué);2005年

6 肖雪;公共圖書(shū)館對(duì)弱勢(shì)群體知識(shí)援助的理論與方法[D];武漢大學(xué);2005年

7 鮑賢清;概念圖在課堂協(xié)作知識(shí)建構(gòu)中的應(yīng)用研究[D];上海師范大學(xué);2006年

8 廖文來(lái);大壩安全巡視檢查信息綜合評(píng)價(jià)方法研究[D];武漢大學(xué);2005年

9 劉芳;“和合型”教研團(tuán)隊(duì)構(gòu)建研究[D];華東師范大學(xué);2010年

10 任之丁;基于知識(shí)管理理念的教師網(wǎng)絡(luò)學(xué)習(xí)共同體構(gòu)建[D];河北大學(xué);2010年

本文編號(hào)：1177448