| 一种基于vague集的模糊描述逻辑 |
| |
| 引用本文： | 马宗民,王海龙,严丽,赵法信.一种基于vague集的模糊描述逻辑[J].东南大学学报,2007,23(3):399-402. |
| |
| 作者姓名： | 马宗民 王海龙 严丽 赵法信 |
| |
| 作者单位： | 东北大学信息科学与工程学院 沈阳110004 |
| |
| 基金项目： | Program for New Century Excellent Talents in University （No： NCET-05-0288）. |
| |
| 摘 要： | 为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.
|
| 关 键 词： | 语义web 描述逻辑 模糊逻辑 vague集 tableau算法 |
| 修稿时间： | 2007-05-18 |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
