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

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