| 基于模糊命题模态逻辑的形式推理系统 |
| |
| 作者姓名： | 张再跃 眭跃飞 曹存根 |
| |
| 作者单位： | 江苏科技大学,计算机科学与技术系,智能计算联合实验室,江苏,镇江,212003;中国科学院,计算机技术研究所,智能信息处理重点实验室,北京,100080 |
| |
| 基金项目： | Partially Supported by the National Natural Science Foundation of China under Grant No.60310213 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No. G1999032701 (国家重点基础研究发展规划(973)); the second author was partially supported by the National Laboratory of Software Development Environment (国家软件发展环境重点实验室) |
| |
| 摘 要： | 探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.
|
| 关 键 词： | 命题模态逻辑 模糊推理 形式系统 |
| 收稿时间： | 2004-03-06 |
| 修稿时间： | 2005-02-03 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
