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

• 作者: 吕永席 潘正华 陈成
• 来源期刊: 计算机科学
• 学科: 数学
• 关键词: 模糊命题逻辑形式系统 中介模态逻辑 模糊模态命题逻辑
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 263-268
• 页数: 6页
• 分类号: O142
• 字数: 6506字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.04.055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘正华	江南大学理学院	45	217	9.0	13.0
2	陈成	江南大学理学院	3	4	1.0	2.0
3	吕永席	江南大学理学院	3	1	1.0	1.0