一种基于vague集的模糊描述逻辑

• 作者: 严丽 王海龙 赵法信 马宗民
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 语义web 描述逻辑 模糊逻辑 vague集 tableau算法
• 年，卷（期）: 2007,（3）
• 页码范围: 399-402
• 页数: 4页
• 分类号: TP311
• 字数: 2399字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2007.03.019

摘要

为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑--vague ALC.首先介绍了vague 集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vague ALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague 集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵法信	东北大学信息科学与工程学院	9	89	4.0	9.0
2	马宗民	东北大学信息科学与工程学院	85	820	15.0	24.0
3	严丽	东北大学信息科学与工程学院	26	216	8.0	13.0
4	王海龙	东北大学信息科学与工程学院	9	62	4.0	7.0