基于模糊命题模态逻辑的形式推理系统

• 作者: 张再跃 曹存根 眭跃飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 命题模态逻辑 模糊推理 形式系统
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1359-1365
• 页数: 7页
• 分类号: TP301
• 字数: 3411字
• 语种: 中文

摘要

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞		3	11	2.0	3.0
2	曹存根		3	25	2.0	3.0