| 一般术语公理下的模糊描述逻辑FALCN推理 |
| |
| 引用本文： | 李言辉,徐宝文,陆建江,康达周. 一般术语公理下的模糊描述逻辑FALCN推理[J]. 软件学报, 2008, 19(3): 594-604. DOI: 10.3724/SP.J.1001.2008.00594 |
| |
| 作者姓名： | 李言辉 徐宝文 陆建江 康达周 |
| |
| 作者单位： | 东南大学,计算机科学与工程系,江苏南京,210096;江苏省软件质量研究所,江苏南京,210096;解放军理工大学,指挥自动化学院,江苏南京,210007 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of Chinaunder Grant Nos.60373066,60425206,90412003(国家自然科学基金);the National Basic Research Program of China under Grant No.2002CB312000(国家重点基础研究发展计划(973));the Jiangsu High-Tech Research Project of China under Grant No.20020286004(高等学校博士学科点专项科研基金) |
| |
| 摘 要： | 分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.
|
| 关 键 词： | 模糊 描述逻辑 语义Web 一般术语公理 知识表示 |
| 收稿时间： | 2006-05-08 |
| 修稿时间： | 2006-09-30 |
Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN |
| |
| LI Yan-Hui,XU Bao-Wen,LU Jian-Jiang and KANG Da-Zhou. Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN[J]. Journal of Software, 2008, 19(3): 594-604. DOI: 10.3724/SP.J.1001.2008.00594 |
| |
| Authors: | LI Yan-Hui XU Bao-Wen LU Jian-Jiang KANG Da-Zhou |
| |
| Abstract: | This paper analyzes that the main difficulty in reasoning with general terminological axioms is that the membership degrees of fuzzy interpretations are not discrete, but continous in [0,1]. To remove this obstacle difficulty, this paper proposes a discretization method of fuzzy interpretation to translate membership degrees into discrete values in a finite set. Based on this discretization, it gives a discrete Tableau reasoning technique for FALCN reasoning problems with general terminological axioms, which consists of the definition of discrete Tableaus, a construction algorithm for discrete Tableaus and the proof of soundness, completeness and complexity of this algorithm. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
