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

摘要：

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

关键词：模糊逻辑、非单调逻辑、(∮)*系统、CM系统、P系统、后承关系

所属期刊栏目：32

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金10471083;陕西师范大学校科研和教改项目995130

在线出版日期：2005-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：4-8