| 本文已被：浏览 4749次 下载 7135次 |
码上扫一扫！ |
|
|
| 一般术语公理下的模糊描述逻辑FALCN推理 |
|
李言辉1,2, 徐宝文1,2, 陆建江3, 康达周1,2
|
|
1.东南大学 计算机科学与工程系,江苏 南京 210096;2.江苏省软件质量研究所,江苏 南京 210096;3.解放军理工大学 指挥自动化学院,江苏 南京 210007
|
|
| 摘要: |
| 分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度. |
| 关键词: 模糊 描述逻辑 语义Web 一般术语公理 知识表示 |
| DOI： |
| 分类号: |
| 基金项目: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(高等学校博士学科点专项科研基金) |
|
| Reasoning with General Terminological Axioms in Fuzzy Description Logic FALCN |
|
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. |
| Key words: fuzzy description logic semantic Web general terminological axiom knowledge representation |
