DOI：10.19850/j.cnki.2096-4706.2021.08.033

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

关键词：时间区间;模糊描述逻辑;隶属度

中图分类号：TP301  文献标识码：A    文章编号：2096-4706（2021）08-0119-04

Tableau Algorithm of Fuzzy Description Logic Based on Time Interval

CHANG Xia

（Academy of Business Information，Yunnan Land and Resources Vocational College，Kunming  652501，China）

Abstract：Fuzzy description logic TFDL based on time interval is a new description logic that limits the time of fuzzy description logic discuss. TFDL uses vague sets to describe the fuzzy membership grade of individuals，concepts and relationships. Its syntax is an extension of the syntax of fuzzy description logic ALCN. On the basis of its syntax and semantics，the corresponding knowledge base is given，and the Tableau decision algorithm of TFDL is given. The algorithm inherits the basic characteristics of the description logic Tableau algorithm，and proves its satisfiability by constructing the interpretation model of the expression in the knowledge base.

Keywords：time interval;fuzzy description logic;membership grade

0  引  言

在人工智能与知识表示领域中，随着研究的不断深入，描述逻辑以其語义知识表示的优势应用在现实生活中的许多领域，通过概念来完成知识表示，建立模型进行推理。

模糊描述逻辑从研究模糊性出发，它把元素属于集合的观念模糊化，承认论域上存在着既非完全属于某集合，又非完全不属于某集合的元素。考虑到模糊逻辑在表达知识的过程中并没有与时间相关联，本文通过分析模糊描述逻辑，将时间属性以隶属区间的形式加入模糊描述逻辑中，构建出新的基于时间区间的模糊描述逻辑——TFDL。

1  基于时间区间的模糊描述逻辑——TFDL

1.1  TFDL的语法和语义

TFDL的语法是模糊描述逻辑ALCN的语法的扩充。TFDL对个体，概念和关系的模糊隶属度是用vague集来描述，即对于论域上的某个元素u将其隶属度函数限定到[0，1]的子区间[t_v（u），1-f_v（u）]上。相关定义在冉婕等《一种模糊时态描述逻辑》^[1]中已完整给出。

1.2  TFDL的知识库及其解释……