收藏本站
《广西师范大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

描述逻辑及其模态扩充的模型

余泉  
【摘要】: 本文主要讨论描述逻辑及其模态扩充的模型,分两方面进行:其一是考虑循环ALCN的Tbox具有模型的条件,指出了文献[1]中命题2.9的错误,并对命题2.9进行了一些修改;另一部分是对描述逻辑ALC进行模态扩充,定义其语法与语义,把ALC的模态扩充记为MALC,讨论其模型的不同构造方法。文献[1]中命题2.9为(为了使用方便,下文中用命题2.9代指文献[1]中命题2.9 ): Let T be a terminology such that each cycle in GT contains an even number of negative arcs , then T is monotone. 本文的主要工作分为如下几部分: ⑴指出并且证明了命题2.9的错误,并作了修改,给出ALCN的Tbox具有模型的一些条件。 ⑵定义了一般意义上的描述逻辑的模态扩充,给出扩充后所得的模态描述逻辑MALC的语法与语义。 ⑶定义了模态描述逻辑MALC的不交并模型、生成子模型,并且证明了它们具有的性质。 本文的主要结论如下: 定理5.2.6如果一个TboxT的定义式中的所有的name symbol只出现在偶数个的作用域内,则TboxT单调,从而该TboxT是存在最大、最小语义不动点模型。 定理5.2.7如果一个TboxT满足命题2.9的条件,记该TboxT的所有模型组成的集合为Λ,则定义在Λ上的映射TJ单调,从而Λ中存在TboxT的最大、最小语义不动点模型。 定理6.1.2假设M i是模态描述逻辑MALC模型族中的任一模型,则对任意的合式公式, w∈Mi,有: M i,w ,当且仅当∪i∈n Mi,w。定理6.2.5设M =(W , ,D,I )和M 1=( W1 , 1,D1, I1 )是模态 描述逻辑MALC的两个模型,并M 1是M的生成子模型,则对MALC的合式公式, w∈M1,有: M 1,w ,当且仅当M ,w。 定理6.3.2设M =(W , ,D,I )和M 1=( W1 , 1,D1, I1 )是模态描述逻辑MALC的两个模型, M i=( Wi , 1,D1, I i) ( i∈n)是MALC的一簇模型,则: ⑴对i∈n, w∈Mi有: M ,w∪i∈n Mi,w; ⑵如果M 1是M的生成子模型,则对w∈M1,有: M 1,w M ,w
【学位授予单位】:广西师范大学
【学位级别】:硕士
【学位授予年份】:2007
【分类号】:O142

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑:信息科学;2004年10期
【共引文献】
中国期刊全文数据库 前10条
1 高晓兵;李佳;曹发生;;一种格值的模糊动态描述逻辑[J];毕节学院学报;2010年04期
2 冯彦波;;组合逻辑:一种新的逻辑研究方法[J];重庆工学院学报(社会科学版);2009年07期
3 李佳;;模糊描述逻辑系统L-ALCN中的形式概念格[J];电脑知识与技术;2009年25期
4 万长林;韩旭;牛温佳;王文杰;史忠植;;基于动态描述逻辑的服务组合及质量模型[J];电子学报;2010年08期
5 张大鹏;王文杰;史忠植;;一种基于主体的可信网构软件设计方法[J];电子学报;2010年11期
6 刘宗妹;李卫华;谭健欣;;OWL本体映射到复合元的研究[J];广东工业大学学报;2009年04期
7 高申;古天龙;;基于OBDD的εL~(¬)本体判定算法[J];桂林电子科技大学学报;2010年02期
8 常亮;;基于逻辑的行动理论综述[J];桂林电子科技大学学报;2010年05期
9 朱创录;;OWL DL的知识表示与推理研究[J];甘肃科技;2010年04期
10 王静;张健沛;杨静;程丽丽;;面向矛盾问题的动态描述逻辑扩展研究[J];哈尔滨工程大学学报;2009年07期
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 陈一稀;基于关系数据库的遗留系统向语义Web移植的研究[D];浙江大学;2010年
3 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年
4 汤华茂;基于语义的产业链网络化协同设计模式及关键技术研究[D];重庆大学;2010年
5 黄河;语义Web中知识服务的研究[D];中国科学院研究生院(计算技术研究所);2006年
6 程勇;基于本体的不确定性知识管理研究[D];中国科学院研究生院(计算技术研究所);2005年
7 郑骁庆;语义万维网的不确定知识表示与信任计算[D];浙江大学;2007年
8 刘芳;基于过程本体的异质Agent协作技术研究[D];国防科学技术大学;2006年
9 刘平峰;基于知识网格的电子商务智能推荐理论方法研究[D];武汉理工大学;2006年
10 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 罗斐;基于本体的Deep Web数据源分类和查询接口模式抽取[D];南京航空航天大学;2010年
2 袁佳乐;描述逻辑归结推理的研究[D];华东交通大学;2009年
3 张会平;基于语义Web的教育资源共享平台的构建[D];武汉大学;2005年
4 杨柳;基于文本的中文本体知识获取的研究[D];中国科学院研究生院(计算技术研究所);2006年
5 张春国;基于知识管理的办公自动化系统研究[D];山东科技大学;2006年
6 甘晓丽;基于描述逻辑的概念建模研究[D];广西师范大学;2006年
7 凌志辉;用户行为描述及跟踪机制的研究与实现[D];东南大学;2005年
8 樊小虎;基于语义模块的本体匹配框架的研究与实现[D];中南大学;2007年
9 都婧;基于Ontology的Web多媒体内容安全分析[D];西安电子科技大学;2008年
10 田光辉;使用控制理论及应用研究[D];西北大学;2008年
【二级参考文献】
中国期刊全文数据库 前2条
1 董明楷,蒋运承,史忠植;一种带缺省推理的描述逻辑[J];计算机学报;2003年06期
2 倪洪涛;;依申请信息公开诉讼周年年度调查报告——基于透明中国网刊载的40宗涉诉案的考察[J];行政法学研究;2009年04期
【相似文献】
中国期刊全文数据库 前10条
1 周祯祥;模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统[J];自然辩证法通讯;1997年03期
2 范荣强;;缺省模态逻辑[J];广东技术师范学院学报;1993年04期
3 李永礼,范荣强;缺省模态逻辑[J];兰州大学学报(自然科学版);1994年03期
4 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期
5 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期
6 刘奋荣;;概念分析的奠基与发展[J];自然辩证法研究;2011年04期
7 余泉;王驹;;模态描述逻辑的模型[J];南京大学学报数学半年刊;2007年02期
8 赵军;刘伟伟;;克里普克语义学及其指称关联[J];科学技术与辩证法;2009年01期
9 马海斌;王国俊;;模态R_0代数与模态滤子的若干性质[J];陕西师范大学学报(自然科学版);2009年04期
10 李芸,董克诚;模态逻辑系统S5的本原运算子集[J];河北大学学报(自然科学版);1997年04期
中国重要会议论文全文数据库 前9条
1 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年
3 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
4 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年
5 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年
6 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年
7 金承光;;从法律逻辑学的视角审视规范逻辑[A];边缘法学论坛[C];2005年
8 马跃峰;;一种形式化的面向对象数据库方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
9 徐长征;王清贤;颜学雄;;基于历史时序的访问控制模型研究[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
中国重要报纸全文数据库 前2条
1 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年
2 陈慕泽;多主体系统中的互知[N];光明日报;2000年
中国博士学位论文全文数据库 前10条
1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
2 史璟;非良基集与模态逻辑[D];南开大学;2009年
3 张力锋;模态逻辑和本质主义[D];北京大学;2004年
4 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
5 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
6 徐悦竹;机会发现算法及其应用研究[D];哈尔滨工程大学;2010年
7 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
8 吕宗磊;对聚类及聚类评价若干问题的研究[D];南京航空航天大学;2009年
9 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年
10 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年
中国硕士学位论文全文数据库 前10条
1 余泉;描述逻辑及其模态扩充的模型[D];广西师范大学;2007年
2 赵磊;模糊粗糙理论及其模态逻辑的研究[D];电子科技大学;2001年
3 邓玉琼;现代汉语或然模态逻辑初探[D];广西师范大学;2006年
4 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年
5 李晶;基于能力与思维的协商公理体系多Agent 系统模型[D];云南师范大学;2003年
6 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年
7 唐玉斌;本质主义和必然性问题的研究[D];华南师范大学;2005年
8 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年
9 陈辉辉;试析克里普克的本质主义[D];西南大学;2009年
10 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026