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

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 06,2004
  • Revised:February 03,2005
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063