作　　者： ; ; ;

机构地区： 江苏科技大学

出　　处： 《软件学报》 2005年第8期1359-1365,共7页

摘　　要： 探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性. The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered,and the description of the associated Kripke semantics is given. The fuzzy constraint is introdu ced and used as a basic expression, the set of reasoning rules based on fuzzy constraint is given and a formal reasoning system is established, and in which the notation of the satisfiability is introduced. The relationship between the fuzzy reasoning and the satisfiability of the associated fuzzy constraints set is studied, and the soundness and completeness of the fuzzy reasoning based on satisfiability are proved.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]