基于模糊命题模态逻辑的形式推理系统
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

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 (国家软件发展环境重点实验室)


Formal Reasoning System Based on Fuzzy Propositional Modal Logic
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    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.

    参考文献
    相似文献
    引证文献
引用本文

张再跃,眭跃飞,曹存根.基于模糊命题模态逻辑的形式推理系统.软件学报,2005,16(8):1359-1365

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2004-03-06
  • 最后修改日期:2005-02-03
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号