计算机科学

计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 263-268.doi: 10.11896/j.issn.1002-137X.2017.04.055

• 人工智能 • 上一篇    下一篇

一类具有3种否定的模糊模态命题逻辑

陈成,潘正华,吕永席   

  1. 江南大学理学院 无锡214122,江南大学理学院 无锡214122,江南大学理学院 无锡214122
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受国家自然科学基金(60973156,4),中央高校基本科研业务费专项资金(JUSRP51317B)资助

Fuzzy Modal Propositional Logic with Three Kinds of Negation

CHEN Cheng, PAN Zheng-hua and LV Yong-xi   

  • Online:2018-11-13 Published:2018-11-13

PDF (PC)

653

摘要： 对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论。基于FLCOM和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑MKCOM及其扩充系统MTCOM,MS4COM和MS5COM；讨论了MKCOM的语义和语法解释,并证明了MKCOM的可靠性定理和完备性定理。

关键词: 模糊命题逻辑形式系统,中介模态逻辑,模糊模态命题逻辑

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.

Key words: Fuzzy propositional logic formal system,Medium modal propositional logic,Fuzzy modal propositional logic

[1] ZHANG Z Y,SUI Y F,CAO C G.Based on the Fuzzy Inference System in the Form of Propositional Modal Logic[J].Journal of Software,2005,16(8):1359-1365.
[2] WANG D G,GU Y D,LI H X.Fuzzy Modal Proposition Logic and its Generalized Tautologies[J].ACTA Electronica Sinica,2007,5(2):261-264.(in Chinese) 汪德刚,谷云东,李洪兴.模糊模态命题逻辑及其广义重言式[J].电子学报,2007,35(2):261-264.
[3] WAN X L.Unary Operator Logic Theory of three Agents--Special Function Relativity under the View of Modern Modal Logic[J].Journal of Huazhong University of Science and Technology (Social Science Edition),2012,26(3):38-47.(in Chinese) 万小龙.一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑[J].华中科技大学学报(社会科学版),2012,26(3):33-39.
[4] ZHAO X.Research Progress of Multi Modal Logic[J].Philosophical Trends,2013(2):92-96.(in Chinese) 赵贤.多模态逻辑研究进展[J].哲学动态,2013(2):92-96.
[5] ZHU W J,XIAO X.An Extension of the Propositional Calculus System of Medium Logic (I)[J].Journal of Nanjing University (Natural Sciences Edition),1990,26(4):564-578.
[6] ZHU W J,XIAO X.Propositional Calculus System of Medium logic (II)[J].J Math Res & Exposition,1988,8(3):457-466.
[7] ZOU J,QUI W.Medium Modal Logic Formal System and Semantics[C]∥Proc 19th Intern Symp Multiple-Valued Logic.1989.
[8] GONG N S,ZHANG D M,ZHU W J.Theory and Implementation of the Medium Automatic Reasoning (IV) - a kind of Modal Logic System based on Medium Logic[J].Pattern Recognition and Artificial Intelligence,1995,8(1):1-8.(in Chinese) 宫宁生,张东摩,朱梧槚.中介自动推理的理论与实现(IV)一类基于中介逻辑的模态逻辑系统[J].模式识别与人工智能,1995,8(1):1-8.
[9] ZHANG D M,GONG N S.Theory and Implementation of theMedium Automatic Reasoning (V)-the table deduction system of the medium modal logic MK[J].Pattern Recognition and Artificial Intelligence,1995,8(2):114-120.(in Chinese) 张东摩,宫宁生.中介自动推理的理论与实现(V)—中介模态逻辑MK的表推演系统[J].模式识别与人工智能,1995,8(2):114-120.
[10] PAN Z H.A Logical Description of Different Negative Relation in Knowledge[J].Progress in Natural Science,2008,18(11):66-74.
[11] PAN Z H.Three Kinds of Negation of Fuzzy Knowledge and Their Base of Set[J].Chinese Journal of Computers,2012(7):1421-1428.
[12] PAN Z H.Fuzzy Propositional Logic System of distinguish between three kinds of Negation and its Application[J].Journal of Software,2014,25(6):1255-1272.(in Chinese) 潘正华.区分3种否定的模糊命题逻辑系统及其应用[J].软件学报,2014,25(6):1255-1272.
No related articles found!
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发