本文關鍵詞：子集空間下的鄰域擴張

  更多相關文章： 子集空間邏輯 知識更新 認知邏輯 逐步構造法

【摘要】：子集空間邏輯是刻畫知識及其在證據(jù)支持度提升時發(fā)生變化的一種具有拓撲邏輯風格的簡單架構的模態(tài)認知邏輯。與關系語義學不同,子集空間邏輯的語義學借助"鄰域"而非"可通達關系"來表達不確定性區(qū)間。鄰域的縮小體現(xiàn)不確定性的減少;在認知語境下,這種不確定性的減少就表現(xiàn)為知識的增長。子集空間邏輯主要刻畫鄰域的縮小。與鄰域縮小相對應的鄰域擴張同樣具有理論研究的價值,然而卻沒有在子集空間邏輯中得到刻畫。本文在子集空間邏輯的框架下探討鄰域的擴張。主要成果是給出帶有鄰域擴張算子的子集空間邏輯,為其引入關系語義學和公理系統(tǒng),并證明該系統(tǒng)的完全性。
【作者單位】： 浙江大學語言與認知研究中心;
【基金】：國家社科基金重大項目(批準號:11&ZD088)
【分類號】：B815.3
【正文快照】： 1引言子集空間邏輯(Subset Space Logic)的研究始于摩斯(L.S.Moss)和帕里克(R.Parikh)。([19])其初始研究動機是找到一個相對比較簡單的架構用以刻畫認知努力,該架構最終采用了拓撲邏輯的風格。然而,與模態(tài)邏輯的經典拓撲語義學([16,17])不同的是,子集空間邏輯所使用的“拓撲

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 姚京;;融合設計的風向標[J];繽紛家居;2005年08期

2 ;茅關興:我要做我們能做的東西[J];華東科技;2005年Z1期

3 潘發(fā)生;;“神川”考[J];西藏研究;1993年01期

4 張博文;;中亞草原上的三國演義[J];大科技(百科探索);2008年06期

5 路琳娜;張寬;;陽光遠照育棟梁——記著名結構力學專家王光遠院士[J];教育;2008年32期

6 石泉森;試論科學主義不可能之所在[J];新疆社科論壇;2001年03期

7 唐瀟霖;梁建章 攜程旅行網CEO 用理性思維做感性服務[J];互聯(lián)網周刊;2005年03期

8 杜含秀;故鄉(xiāng),那悠遠的歷史——讀邢秀玲的小說《望月》[J];青海師專學報;1996年03期

9 方唐;楊蔚;;清平樂·題《世紀之戰(zhàn)》[J];同舟共進;1997年02期

10 胡維平,黎友;現(xiàn)代企業(yè)多元化經營戰(zhàn)略研究[J];高等函授學報(哲學社會科學版);1999年06期

中國重要會議論文全文數(shù)據(jù)庫 前4條

1 ;加快無線增值業(yè)務發(fā)展 構建和諧信息化應用環(huán)境[A];四川省通信學會2007年學術年會論文集[C];2007年

2 劉志超;李偉銘;;我國零售企業(yè)競爭劣勢表象、根源與對策[A];珠江三角洲經濟發(fā)展與流通現(xiàn)代化研討會論文集[C];2005年

3 王維嘉;;律師事務所的合并與聯(lián)盟——律師事務所可持續(xù)發(fā)展的新階段[A];規(guī)劃·規(guī)范·規(guī)則——第六屆中國律師論壇優(yōu)秀論文集[C];2006年

4 鄭燕偉;盧江海;;論全球商品鏈中的“義烏商圈”——以“義烏商圈”的家庭來料加工現(xiàn)象為例[A];中國地理學會2007年學術年會論文摘要集[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 ;聯(lián)手世界巨頭 同人華塑建材領域擴張[N];中國高新技術產業(yè)導報;2004年

2 北京錫恩企業(yè)管理顧問有限公司 姜汝祥;房地產如何進行地域擴張[N];經濟觀察報;2011年

3 通訊員 葛繼中　馮振生 記者 楊倩 馬朝麗;石家莊槐底村實施資本跨地域擴張[N];河北日報;2010年

4 中國社會科學院旅游研究中心 劉德謙;關于旅游規(guī)劃修編的地域擴張與效益擴張戰(zhàn)略[N];華東旅游報;2006年

5 貝塔策略工作室合伙人 杜麗虹;城商行：尋求地域擴張與業(yè)務拓展的最佳配合[N];上海證券報;2007年

6 伊曉霞;深發(fā)行：適度向證券相關領域擴張[N];民營經濟報;2007年

7 王小明;九年松動 美亞獲準進京[N];21世紀經濟報道;2008年

8 ;三九為何敗[N];中國高新技術產業(yè)導報;2004年

9 文/李洋;緊跟迅馳二代 VAIO再添新丁[N];計算機世界;2005年

10 ;許繼電氣（000400）獲得巨額生產定單[N];深圳商報;2005年

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

1 李成舉;多輸入多輸出無線通信系統(tǒng)中的空時編碼技術[D];南京航空航天大學;2010年

2 余親;CTCS-3中AES算法研究與軟件實現(xiàn)[D];北京交通大學;2009年

3 許蓓;珠三角報業(yè)跨地域經營現(xiàn)狀分析[D];暨南大學;2006年

4 代婷;有理數(shù)域上特征標環(huán)的同構[D];華中師范大學;2009年

5 黃崢;新辦報紙市場介入策略研究[D];武漢大學;2005年

6 張晉陽;論民事訴訟中的誠實信用原則[D];中國政法大學;2001年

7 馬春娟;黑社會（性質）組織犯罪研究[D];鄭州大學;2003年

8 周曉芳;中國銀行業(yè)分業(yè)經營及其風險性問題的研究[D];吉林大學;2004年

9 李淼;當代零售業(yè)建筑與零售空間的演變與發(fā)展[D];天津大學;2004年

10 姚春宇;函數(shù)域上Witt擴張的Zeta函數(shù)計算[D];解放軍信息工程大學;2004年

，

本文編號：1210348