摘 要：基于时间区间的模糊描述逻辑 TFDL 是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL 对个体，概念和关系的模糊隶属度用 vague 集来进行描述，其语法是在模糊描述逻辑 ALCN 的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库，给出 TFDL 的 Tableau 判定算法，该算法继承了描述逻辑 Tableau 算法的基本特征，通过构造知识库中表达式的解释模型来证明其可满足性。
关键词：时间区间；模糊描述逻辑；隶属度
DOI:10.19850/j.cnki.2096-4706.2021.08.033
中图分类号：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
参考文献：
[1] 冉婕，黄吉亚，高琴 . 一种模糊时态描述逻辑 [J]. 电子设 计工程，2013，21（17）：1-3.
[2] 王国俊 . 非经典数理逻辑与近似推理 [M]. 北京：科学出 版社，2000.
[3] 王驹，蒋运承，唐素勤 . 一种模糊动态描述逻辑 [J]. 计算 机科学与探索，2007（2）：216-227.
[4] 张健 . 逻辑公式的可满足性判定 [M]. 北京：科学出版社， 2000.
[5] 360 百科 . 描述逻辑 [M].[2021-02-19].https://baike. so.com/doc/8636258-8957452.html.
[6] 王永庆 . 人工智能原理与方法 [M]. 西安：西安交通大学 出版社，1998.
[7] 文斌 . 基于描述逻辑的语义 Web 知识推理研究 [D]. 昆明： 云南师范大学，2005.
[8] 史忠植，常亮 . 基于动态描述逻辑的语义 Web 服务推理 [J]. 计算机学报，2008（9）：1599-1611.
作者简介：昌霞（1987—），女，汉族，湖北仙桃人，讲师， 理学硕士，研究方向：数理逻辑，计算机网络