基于最大不动点模型的描述逻辑系统FLε的有穷基 |
| |
引用本文: | 唐素勤, 蔡自兴, 王驹, 蒋运承. 基于最大不动点模型的描述逻辑系统FLε的有穷基[J]. 计算机研究与发展, 2010, 47(9): 1514-1521. |
| |
作者姓名: | 唐素勤 蔡自兴 王驹 蒋运承 |
| |
作者单位: | 1. 中南大学信息科学与工程学院,长沙,410083;广西师范大学计算机科学与信息工程学院,广西桂林,541004 2. 中南大学信息科学与工程学院,长沙,410083 3. 广西师范大学计算机科学与信息工程学院,广西桂林,541004 4. 广西师范大学计算机科学与信息工程学院,广西桂林,541004;计算机科学国家重点实验室(中国科学院软件研究所),北京,100190 |
| |
基金项目: | 广西教育科学"十一五"规划基金项目(桂教科学[2010]8)国家自然科学基金项目,计算机科学国家重点实验室开放课题基金项目,高等学校博士学科点专项科研基金项目,湖南省院士基金项目,广西自然科学基金项目,广西教育厅科研项目,广西教育科学"十一五"规划基金项目 |
| |
摘 要: | 研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.
|
关 键 词: | 描述逻辑 有穷基 形式概念分析 蕴含 最大不动点 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
|