王驹
- 作品数：77 被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西青年科学基金更多>>
- 相关领域：自动化与计算机技术理学经济管理哲学宗教更多>>
- 一种模糊动态描述逻辑被引量：13
- 2007年
- 分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。
- 王驹蒋运承唐素勤
- 关键词：动态描述逻辑逻辑基础知识
- 循环ALCN-Tbox的模型构造被引量：1
- 2008年
- 从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。
- 余泉甘晓丽王驹
- 关键词：描述逻辑
- 描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
- 2012年
- 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。
- 张维曹发生余泉王驹
- 关键词：描述逻辑同态
- Y_CΩ_(2n)是易项
- 1998年
- 证明了如下结果 :对任意的n≥ 1,YCΩ2n是易项 ,即对任λ项M ,λβ +YCΩ2n=M是协调的 .其中YC 是Curry不动点组合子 ,Ω2n=ω2nω2n,ω2n=λx .xx…x(λx之后x有 2n次出现 ) .从而 ,部分证明了Ja copini提出的如下问题 :对任意的n≥ 2 ,YCΩn是易项 .
- 赵希顺王驹
- 关键词：易项不动点
- 基于描述逻辑的CIM模型
- 2007年
- 分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。
- 蒋运承汤庸王驹周生明
- 关键词：描述逻辑CIM模型
- 面向语义Web语义表示的模糊描述逻辑被引量：47
- 2007年
- 分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.
- 蒋运承史忠植汤庸王驹
- 关键词：语义WEB描述逻辑语义表示
- P2P环境下基于描述逻辑的信息集成
- 2007年
- 分析了描述逻辑与信息集成的关系,以及描述逻辑在信息集成中的研究现状和存在的问题。在DCal-vanese的工作基础上,进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制,提出了基于DLR的P2P信息集成系统的形式化定义,重点研究了如何将P2P信息集成系统转化为一个统一的描述逻辑系统GDL,并证明了该转化方法的正确性,给出了P2P环境下基于DLR的信息查询方法及其实现方法。
- 蒋运承王驹
- 关键词：描述逻辑P2P信息集成
- 事件常识的获取方法研究被引量：3
- 2015年
- 在动态语义学的基础上,以事件的语义、文法和常识为标准构建多层次的事件分类体系,并使用该分类体系提取事件的常识知识。事件采用框架的方式来表示,称为事件框架。事件框架的内容包括事件的定义、事件之间的关系、事件的文法表达、事件的谓词表示、事件的例句、事件的前提常识和后果常识。利用事件框架的内容提取事件的常识。为了说明该方法的实用性,以事件分类体系中典型的"交易类"事件为例来描述事件常识的获取方法。
- 王亚陈龙曹聪王驹曹存根
- 关键词：事件管理
- 溯因推理问题的碰集求解方法被引量：2
- 2015年
- 溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法.
- 余泉李承乾申宇铭王驹
- 含传递角色和存在限制描述逻辑系统的匹配推理
- 2014年
- 分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。
- 张维郑添健王驹
- 关键词：描述逻辑
