您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

描述逻辑FL_0概念及术语公理集的表达能力刻画

发布时间:2019-04-24 05:30 来源:未知 编辑:admin

  表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。

  :广东外语外贸大学思科信息学院;广东省委党校信息技术教研部;广西师范大学计算机科学与信息工程学院;高可信软件技术教育部重点实验室;

  王驹;蒋运承;申宇铭;;描述逻辑系统vL循环术语集的可满足性及推理机制[J];中国科学(F辑:信息科学);2009年02期

  常亮;史忠植;陈立民;牛温佳;;一类扩展的动态描述逻辑[J];软件学报;2010年01期

  申宇铭;王驹;唐素勤;;描述逻辑εLU概念及术语公理集的表达能力刻画[J];软件学报;2014年08期

  张维;曹发生;余泉;;描述逻辑系统εLN中的概念包含推理算法研究[J];毕节学院学报;2010年08期

  胡媛媛;;利用软集成设计实时网络程序框架[J];电子技术;2011年10期

  朱玲玲;;动态ABoxes的描述逻辑推理[J];福建电脑;2009年01期

  常亮;;基于逻辑的行动理论综述[J];桂林电子科技大学学报;2010年05期

  冯佳捷;王瑞;;描述逻辑中概念的匹配推理研究现状和存在的问题[J];电脑知识与技术;2013年14期

  聂登国;曹发生;;描述逻辑VL的保守扩充[J];毕节学院学报;2013年08期

  冉婕;黄吉亚;高琴;;一种模糊时态描述逻辑[J];电子设计工程;2013年17期

  聂登国;张维;;描述逻辑ALC的公理化方法研究[J];毕节学院学报;2014年04期

  王勇红;段高华;聂登国;;描述逻辑EVL模拟关系及其性质[J];毕节学院学报;2014年04期

  黎明;徐德智;余志强;;一种扩展DL角色描述能力的方法[J];计算机工程与应用;2012年12期

  宋英杰;开放环境下本体演化语义冲突的检测与诊断研究[D];大连海事大学;2013年

  覃明文;基于服务操作的细粒度服务发现机制研究与应用[D];重庆大学;2011年

  侯金宏;最大不动点模型下的描述逻辑系统FL_0的有穷基[D];广西师范大学;2009年

  康旺强;轻量级描述逻辑FL_0的保守扩充[D];广西师范大学;2012年

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

  荣先球;基于描述逻辑的UML行为图的形式化研究[D];兰州理工大学;2012年

  刘华鹏;基于多主体和用户QoS偏好的语义Web服务组合方法研究[D];新疆大学;2013年

  苏静;本体调试中标签有序化及公理的扩展选择[D];吉林大学;2014年

  ;Satisfiability and reasoning mechanism of terminological cycles in description logic vL[J];Science in China(Series F:Information Sciences);2008年09期

  常亮;史忠植;邱莉榕;林芬;;动态描述逻辑的Tableau判定算法[J];计算机学报;2008年06期

  史忠植;常亮;;基于动态描述逻辑的语义Web服务推理[J];计算机学报;2008年09期

  李言辉;徐宝文;陆建江;康达周;;支持数量约束的扩展模糊描述逻辑复杂性研究[J];软件学报;2006年05期

  蒋运承;史忠植;汤庸;王驹;;面向语义Web语义表示的模糊描述逻辑[J];软件学报;2007年06期

  康达周;徐宝文;陆建江;李言辉;;支持术语公理约束的扩展模糊描述逻辑推理[J];软件学报;2007年07期

  蒋运承;王驹;史忠植;汤庸;;描述逻辑εLN循环术语集的不动点语义及推理[J];软件学报;2009年03期

  常亮;史忠植;陈立民;牛温佳;;一类扩展的动态描述逻辑[J];软件学报;2010年01期

http://39-5963.net/gongliyuyi/9.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有