子集空间下的邻域扩张

发布时间：2017-11-21 09:00

  本文关键词：子集空间下的邻域扩张

  更多相关文章： 子集空间逻辑 知识更新 认知逻辑 逐步构造法

【摘要】：子集空间逻辑是刻画知识及其在证据支持度提升时发生变化的一种具有拓扑逻辑风格的简单架构的模态认知逻辑。与关系语义学不同,子集空间逻辑的语义学借助"邻域"而非"可通达关系"来表达不确定性区间。邻域的缩小体现不确定性的减少;在认知语境下,这种不确定性的减少就表现为知识的增长。子集空间逻辑主要刻画邻域的缩小。与邻域缩小相对应的邻域扩张同样具有理论研究的价值,然而却没有在子集空间逻辑中得到刻画。本文在子集空间逻辑的框架下探讨邻域的扩张。主要成果是给出带有邻域扩张算子的子集空间逻辑,为其引入关系语义学和公理系统,并证明该系统的完全性。
【作者单位】： 浙江大学语言与认知研究中心;
【基金】：国家社科基金重大项目(批准号:11&ZD088)
【分类号】：B815.3
【正文快照】： 1引言子集空间逻辑(Subset Space Logic)的研究始于摩斯(L.S.Moss)和帕里克(R.Parikh)。([19])其初始研究动机是找到一个相对比较简单的架构用以刻画认知努力,该架构最终采用了拓扑逻辑的风格。然而,与模态逻辑的经典拓扑语义学([16,17])不同的是,子集空间逻辑所使用的“拓扑

【相似文献】

中国期刊全文数据库 前10条

1 姚京;;融合设计的风向标[J];缤纷家居;2005年08期

2 ;茅关兴:我要做我们能做的东西[J];华东科技;2005年Z1期

3 潘发生;;“神川”考[J];西藏研究;1993年01期

4 张博文;;中亚草原上的三国演义[J];大科技(百科探索);2008年06期

5 路琳娜;张宽;;阳光远照育栋梁——记著名结构力学专家王光远院士[J];教育;2008年32期

6 石泉森;试论科学主义不可能之所在[J];新疆社科论坛;2001年03期

7 唐潇霖;梁建章 携程旅行网CEO 用理性思维做感性服务[J];互联网周刊;2005年03期

8 杜含秀;故乡,那悠远的历史——读邢秀玲的小说《望月》[J];青海师专学报;1996年03期

9 方唐;杨蔚;;清平乐·题《世纪之战》[J];同舟共进;1997年02期

10 胡维平,黎友;现代企业多元化经营战略研究[J];高等函授学报(哲学社会科学版);1999年06期

中国重要会议论文全文数据库 前4条

1 ;加快无线增值业务发展 构建和谐信息化应用环境[A];四川省通信学会2007年学术年会论文集[C];2007年

2 刘志超;李伟铭;;我国零售企业竞争劣势表象、根源与对策[A];珠江三角洲经济发展与流通现代化研讨会论文集[C];2005年

3 王维嘉;;律师事务所的合并与联盟——律师事务所可持续发展的新阶段[A];规划·规范·规则——第六届中国律师论坛优秀论文集[C];2006年

4 郑燕伟;卢江海;;论全球商品链中的“义乌商圈”——以“义乌商圈”的家庭来料加工现象为例[A];中国地理学会2007年学术年会论文摘要集[C];2007年

中国重要报纸全文数据库 前10条

1 ;联手世界巨头 同人华塑建材领域扩张[N];中国高新技术产业导报;2004年

2 北京锡恩企业管理顾问有限公司 姜汝祥;房地产如何进行地域扩张[N];经济观察报;2011年

3 通讯员 葛继中　冯振生 记者 杨倩 马朝丽;石家庄槐底村实施资本跨地域扩张[N];河北日报;2010年

4 中国社会科学院旅游研究中心 刘德谦;关于旅游规划修编的地域扩张与效益扩张战略[N];华东旅游报;2006年

5 贝塔策略工作室合伙人 杜丽虹;城商行：寻求地域扩张与业务拓展的最佳配合[N];上海证券报;2007年

6 伊晓霞;深发行：适度向证券相关领域扩张[N];民营经济报;2007年

7 王小明;九年松动 美亚获准进京[N];21世纪经济报道;2008年

8 ;三九为何败[N];中国高新技术产业导报;2004年

9 文/李洋;紧跟迅驰二代 VAIO再添新丁[N];计算机世界;2005年

10 ;许继电气（000400）获得巨额生产定单[N];深圳商报;2005年

中国硕士学位论文全文数据库 前10条

1 李成举;多输入多输出无线通信系统中的空时编码技术[D];南京航空航天大学;2010年

2 余亲;CTCS-3中AES算法研究与软件实现[D];北京交通大学;2009年

3 许蓓;珠三角报业跨地域经营现状分析[D];暨南大学;2006年

4 代婷;有理数域上特征标环的同构[D];华中师范大学;2009年

5 黄峥;新办报纸市场介入策略研究[D];武汉大学;2005年

6 张晋阳;论民事诉讼中的诚实信用原则[D];中国政法大学;2001年

7 马春娟;黑社会（性质）组织犯罪研究[D];郑州大学;2003年

8 周晓芳;中国银行业分业经营及其风险性问题的研究[D];吉林大学;2004年

9 李淼;当代零售业建筑与零售空间的演变与发展[D];天津大学;2004年

10 姚春宇;函数域上Witt扩张的Zeta函数计算[D];解放军信息工程大学;2004年

，

本文编号：1210348