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

• 作 者: 张再跃 眭跃飞 曹存根
• 机 构: 江苏科技大学计算机科学与技术系智能计算联合实验室,中国科学院计算机技术研究所智能信息处理重点实验室,中国科学院计算机技术研究所智能信息处理重点实验室 江苏镇江212003,北京100080,北京100
• 出 处: 软件学报
• 发表日期: 2005年08期
• 关键词: 模态逻辑 模糊推理 推理系统 逻辑语法 模态命题 形式系统 reasoning constraints 可满足性 约束集

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

This paper discusses the formal reasoning of fuzzy propositional modal logic based on credibility and gives the relevant fuzzy Kripke semantic description.The purpose of this research is to solve the problem of feasible behavior of fuzzy inference based on modal propositional logic.In the research process and method, In a completely formalized way, the syntax and semantics of fuzzy modal logic are unified in a formal system, fuzzy constraints are taken as the basic expressions, the reasoning rules are given, and the corresponding fuzzy reasoning formal systems are established. The fuzzy constraints Set satisfiability to represent the effectiveness of fuzzy reasoning makes the process of fuzzy reasoning easy, which will lay the foundation for the final implementation of fuzzy reasoning based on modal logic in computer.The main conclusion is to prove that based on the satisfiability The Reliability and Completeness of Fuzzy Reasoning System.