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

Fuzzy description logic based on the revised Kleene implication

作　　者：邱晓春[1] 裴道武[1] 

机构地区：[1]浙江理工大学理学院,浙江杭州310018

出　　处：《高校应用数学学报（A辑）》2013年第4期457-465,共9页Applied Mathematics A Journal of Chinese Universities(Ser.A)

基　　金：国家自然科学基金(11171308)

摘　　要：基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的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.

关 键 词：模糊描述逻辑 修正的Kleene蕴涵 可满足性 一致性 TABLEAU算法 

分 类 号：O159[理学—数学]