Vague ALC(D):一种基于vague集的模糊描述逻辑

摘要：

针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.

关键词：语义Web、描述逻辑、vague集、具体域、vague ALC(D)、tableaux算法

所属期刊栏目：29

分类号：TP18(自动化基础理论)

资助基金：教育部新世纪优秀人才支持计划项目NCET-05-0288

在线出版日期：2009-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1556-1559,1580