中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 期刊论文
题名:
描述逻辑系统FLEN中概念的最小公共包含算法研究
作者: 张维 ; 侯金宏 ; 曹发生 ; 王驹 ; 蒋运承
关键词: 描述逻辑 ; 非标准推理 ; 概念描述树 ; 最小公共包含 ; 算法
刊名: 计算机研究与发展
发表日期: 2010
期: 6, 页:1053-1059
部门归属: 黔南民族师范学院数学系;广西师范大学数学科学学院;毕节学院逻辑与应用逻辑研究所;广西师范大学计算机科学与信息工程学院;华南师范大学计算机学院;中国科学院软件研究所计算机科学国家重点实验室;
摘要: 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/10000
Appears in Collections:计算机科学国家重点实验室 _期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
描述逻辑系统FLεN中概念的最小公共包含算法研究.pdf(509KB)----限制开放-- 联系获取全文

Recommended Citation:
张维,侯金宏,曹发生,等. 描述逻辑系统FLEN中概念的最小公共包含算法研究[J]. 计算机研究与发展,2010-01-01(6):1053-1059.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张维]'s Articles
[侯金宏]'s Articles
[曹发生]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张维]‘s Articles
[侯金宏]‘s Articles
[曹发生]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace