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