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

• 作者: 裴道武 邱晓春
• 来源期刊: 高校应用数学学报A辑
• 学科: 数学
• 关键词: 模糊描述逻辑 修正的Kleene蕴涵 可满足性 一致性 Tableau算法
• 年，卷（期）: 2013,（4）
• 页码范围: 457-465
• 页数: 9页
• 分类号: O159
• 字数: 6588字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴道武	浙江理工大学理学院	50	195	8.0	13.0
2	邱晓春	浙江理工大学理学院	1	0	0.0	0.0