| 一类具有3种否定的模糊模态命题逻辑 |
| |
| 引用本文： | 陈成,潘正华,吕永席.一类具有3种否定的模糊模态命题逻辑[J].计算机科学,2017,44(4):263-268. |
| |
| 作者姓名： | 陈成 潘正华 吕永席 |
| |
| 作者单位： | 江南大学理学院 无锡214122,江南大学理学院 无锡214122,江南大学理学院 无锡214122 |
| |
| 基金项目： | 本文受国家自然科学基金(60973156,4),中央高校基本科研业务费专项资金(JUSRP51317B)资助 |
| |
| 摘 要： | 对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论。基于FLCOM和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑MKCOM及其扩充系统MTCOM,MS4COM和MS5COM；讨论了MKCOM的语义和语法解释,并证明了MKCOM的可靠性定理和完备性定理。
|
| 关 键 词： | 模糊命题逻辑形式系统 中介模态逻辑 模糊模态命题逻辑 |
| 收稿时间： | 2016/3/15 0:00:00 |
| 修稿时间： | 2016/8/1 0:00:00 |
Fuzzy Modal Propositional Logic with Three Kinds of Negation |
| |
| CHEN Cheng,PAN Zheng-hua and LV Yong-xi.Fuzzy Modal Propositional Logic with Three Kinds of Negation[J].Computer Science,2017,44(4):263-268. |
| |
| Authors: | CHEN Cheng PAN Zheng-hua and LV Yong-xi |
| |
| Affiliation: | School of Science,Jiangnan University,Wuxi 214122,China,School of Science,Jiangnan University,Wuxi 214122,China and School of Science,Jiangnan University,Wuxi 214122,China |
| |
| Abstract: | In the fuzzy knowledge processing,it is a basic theory for distinguishing,expressing,reasoning and calculating for different negative knowledge.The fuzzy propositional logic formal system FLCOM with contradictory negation,opposition negation and medium negation is a theory which can fully describe the different negation with its relation and law in fuzzy knowledge.In this paper,a fuzzy modal propositional logic system MKCOM with three kinds of negation was proposed based on FLCOM and the medium modal propositional logic MK,as well as the expansion system MTCOM,MS4COM and MS5COM of MKCOM.Then the interpretation of semantics and syntax about MKCOM was discussed,and the reliability and completeness theorems of MKCOM were proved. |
| |
| Keywords: | Fuzzy propositional logic formal system Medium modal propositional logic Fuzzy modal propositional logic |
|
|
点击此处可从《计算机科学》下载全文 |
|
