基于时间区间的模糊描述逻辑的Tableau算法

• 作者: 昌霞
• 来源期刊: 现代信息科技
• 关键词: 时间区间 模糊描述逻辑 隶属度
• 年，卷（期）: 2021,（8）
• 所属期刊栏目: 计算机技术|Computer Technology
• 页码范围: 119-121,124
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.19850/j.cnki.2096-4706.2021.08.033

摘要

基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑.TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充.研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性.