一般术语公理下的模糊描述逻辑FALCN推理  

Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN

作　　者：李言辉[1] 徐宝文[1] 陆建江[2] 康达周[1] 

机构地区：[1]东南大学计算机科学与工程系 [2]解放军理工大学指挥自动化学院,江苏南京210007

出　　处：《软件学报》2008年第3期594-604,共11页Journal of Software

基　　金：Supported by the National Natural Science Foundation of China under 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的构造算法,并证明了算法的正确性、完备性和复杂度.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.

关 键 词：模糊 描述逻辑 语义WEB 一般术语公理 知识表示 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]