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

摘要：

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

关键词：命题模态逻辑、模糊推理、形式系统

所属期刊栏目：16

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60310213;国家重点基础研究发展计划973计划G1999032701;国家重点实验室基金

在线出版日期：2005-09-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1359-1365