侯金宏
- 作品数:2 被引量:5H指数:1
- 供职机构:广西师范大学数学科学学院更多>>
- 发文基金:中国科学院计算机科学国家重点实验室开放课题基金国家自然科学基金贵州省科学技术基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 描述逻辑系统FLEN中概念的最小公共包含算法研究被引量:5
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
- 张维侯金宏曹发生王驹蒋运承
- 关键词:描述逻辑
- 最大不动点模型下的描述逻辑系统FL<,0>的有穷基
- 形式概念分析作为形式化的数学方法,对于一个给定的形式背景,为数据分析提供有效的工具。在形式概念分析中,对于一个给定形式背景,存在属性探测算法来计算属性蕴含集的基。但是,在这篇文章中,考虑的形式概念不仅仅是经典形式概念分析...
- 侯金宏
- 关键词:描述逻辑
- 文献传递