基于动态时序描述逻辑的动作理论

发布时间：2017-10-03 10:15

  本文关键词：基于动态时序描述逻辑的动作理论

  更多相关文章： 动态时序描述逻辑 动作推理 动态域 动作理论

【摘要】：动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。
【作者单位】： 中山大学逻辑与认知研究所;仲恺农业工程学院信息科学与技术学院;
【关键词】： 动态时序描述逻辑 动作推理 动态域 动作理论
【基金】：国家自然科学基金项目(61272059) 教育部基地重大项目(11JJD7200020)资助
【分类号】：TP393.09;TP301
【正文快照】： 1引言语义Web服务等新型动态应用的出现,对动作知识表示和推理形式的可判定性和表达能力提出新的要求,传统动作形式面临两难困境。例如:情景演算[1]和流演算[2]包含了完全一阶逻辑,有足够强的表达能力描述语义Web服务,然而其推理一般不可判定,其他基于一阶动态逻辑和一阶时态

【相似文献】

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

1 吴琴霞;赵红丹;;基于本体语言OWL逻辑语义与推理的研究[J];软件导刊;2008年12期

2 宋峻峰,张维明,肖卫东,唐九阳;基于本体的信息检索模型研究[J];南京大学学报(自然科学版);2005年02期

3 王淞昕;;基于描述逻辑的图像检索框架[J];吉林大学学报(理学版);2010年02期

4 张明宝;王涛;施秀丽;王莉莉;;描述逻辑在智能化信息检索中的应用[J];情报学报;2011年03期

5 张彪;文坤梅;许家伟;;一种基于缺省规则的推理算法[J];微电子学与计算机;2011年03期

6 靳瑞霞;刘延;寇志谦;;基于描述逻辑的图像检索[J];软件导刊;2011年08期

7 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期

8 刘磊;张波;;基于语义关键词的本体特征指数获取方法研究[J];计算机技术与发展;2008年12期

9 裘江南;王磊;王宁;;基于描述逻辑的概念检索模型[J];辽宁工程技术大学学报(自然科学版);2009年03期

10 赵燕伟,胡坚,张国贤;基于OWL本体建模的概念产品配置[J];中国机械工程;2004年19期

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

1 王真星;吕腾;;本体的描述逻辑到框架表示的转换[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

2 张杨;房斌;徐传运;;基于本体和描述逻辑的图像语义识别[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

3 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年

4 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

5 叶枫;曹敬;李晓芳;;水环境特定业务的语义及其应用研究[A];第三届全国水力学与水利信息学大会论文集[C];2007年

6 吴善明;沈建京;;本体驱动的分布式地理信息网络服务链[A];2007中国控制与决策学术年会论文集[C];2007年

7 吴伟蔚;陈力华;徐兆坤;刘长虹;;基于语义Web的交通信息系统[A];2007年中国智能自动化会议论文集[C];2007年

8 许勇;王智学;李宗勇;;基于图形化的本体一致性检查[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

9 石翌轶;叶志红;乔可春;;基于OWL的多粒度异构数据集成技术研究[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年

10 刘广艳;孙莹;黄保海;林培光;;基于本体方法的改进VSM语义检索模型[A];第二十四届中国数据库学术会议论文集（技术报告篇）[C];2007年

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

1 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年

2 冯莎莎;本体逻辑差的研究[D];吉林大学;2011年

3 方流;描述逻辑推理优化技术研究[D];浙江大学;2008年

4 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院（软件研究所）;2002年

5 付相君;基于本体和Semantic Web技术的产品知识集成基础研究[D];浙江大学;2005年

6 叶艳兵;广义质量驱动的工程项目定义系统研究[D];华中科技大学;2006年

7 高曙;网格环境下面向服务的分布式可视化研究与实现[D];武汉理工大学;2007年

8 郭炜;面向领域的语义信息检索与支撑技术[D];天津大学;2007年

9 文坤梅;基于本体知识库推理的语义搜索研究[D];华中科技大学;2007年

10 赵晓非;基于描述逻辑的数据仓库系统元数据一致性问题的研究[D];南京航空航天大学;2007年

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

1 郭昊;描述逻辑在空间推理中的应用[D];吉林大学;2008年

2 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年

3 王勇红;描述逻辑εL循环术语集的保守扩充[D];广西师范大学;2012年

4 张富;基于描述逻辑的模糊语义数据库模型的表示与推理[D];东北大学;2008年

5 江莉莉;描述逻辑在智能化信息检索中的应用研究[D];南京航空航天大学;2012年

6 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年

7 汪洋;基于描述逻辑的推理机设计实现及其分布化研究[D];北京邮电大学;2007年

8 张银平;描述逻辑在构件检索以及Web服务组合上的应用[D];吉林大学;2008年

9 王艳光;基于粗糙描述逻辑的语义网的研究[D];吉林大学;2013年

10 蔡凤真;汉语通用数据库接口的研究与实现[D];中国石油大学;2007年

，

本文编号：964616