基于(∮)*系统的一种非单调推理系统

• 作者: 吴洪博 马巧云
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 非单调逻辑 (∮)*系统 CM系统 P系统 后承关系
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 4-8
• 页数: 5页
• 分类号: O141.1
• 字数: 3734字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2004.04.002

摘要

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统(∮)*,在(∮)*系统中定义了后承关系|～:A|～B当且仅当A2├ B,证明了在(∮)*系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在(∮)*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	马巧云	陕西师范大学数学与信息科学学院	6	10	2.0	2.0