###
DOI:
Journal of Software:2008.19(3):594-604

一般术语公理下的模糊描述逻辑FALCN推理
李言辉,徐宝文,陆建江,康达周
(东南大学 计算机科学与工程系,江苏 南京 210096; 江苏省软件质量研究所,江苏 南京 210096;解放军理工大学 指挥自动化学院,江苏 南京 210007)
Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN
LI Yan-Hui,XU Bao-Wen,LU Jian-Jiang,KANG Da-Zhou
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2940   Download 3211
Received:May 08, 2006    Revised:September 30, 2006
> 中文摘要: 分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.
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.
文章编号:     中图分类号:    文献标志码:
基金项目: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(高等学校博士学科点专项科研基金) 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(高等学校博士学科点专项科研基金)
Foundation items:
Reference text:

李言辉,徐宝文,陆建江,康达周.一般术语公理下的模糊描述逻辑FALCN推理.软件学报,2008,19(3):594-604

LI Yan-Hui,XU Bao-Wen,LU Jian-Jiang,KANG Da-Zhou.Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN.Journal of Software,2008,19(3):594-604