带有不同否定的模糊命题逻辑的形式演绎系统

• 作者: 张胜礼
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 模糊逻辑 矛盾否定 对立否定 中介否定 中介模糊公式
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 494-505
• 页数: 12页
• 分类号: TP18
• 字数: 13737字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1306006

摘要

对于模糊知识及其否定关系，潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系，并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom（fuzzy sets with contradictory negation， opposite negation and medium negation），随后建立了一种改进的模糊集IFScom（improved FScom）。为给模糊集FScom及其改进IFScom提供一种逻辑工具，提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom，并在给定无穷值语义赋值模型以及可满足性定义下，证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。