基于一阶模态逻辑的模糊推理

• 作者: 张再跃 张晓如 眭跃飞 黄智生
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模态逻辑 模糊推理 形式系统 模糊约束 可满足性
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 3170-3178
• 页数: 9页
• 分类号: TP18
• 字数: 3554字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.03170

摘要

研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞		3	11	2.0	3.0
2	张晓如		1	3	1.0	1.0
3	张再跃		1	3	1.0	1.0