基于修正的Kleene蕴涵的模糊描述逻辑

Fuzzy description logic based on the revised Kleene implication

基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题.

The t-norm based fuzzy description logic makes fuzzy description logic framework more general. In this paper, based on the t-norm based fuzzy description logic and the revised Kleene implication, the fuzzy description logic based on the revised Kleene implication is proposed. In this logic the related theories of the nilpotent minimum fuzzy logic and fuzzy description logic are combined organically, and the corresponding properties, such as syntax, semantics and reasoning problems are discussed in detail.