| 基于L~*系统的一种非单调推理系统 |
| |
| 引用本文： | 吴洪博,马巧云.基于L~*系统的一种非单调推理系统[J].陕西师范大学学报,2004(4). |
| |
| 作者姓名： | 吴洪博 马巧云 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院，陕西师范大学数学与信息科学学院 陕西西安710062，陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(10471083)，陕西师范大学重点科研基金资助项目(995130) |
| |
| 摘 要： | 研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.
|
| 关 键 词： | 模糊逻辑 非单调逻辑 L系统 CM系统 P系统 后承关系 |
A kind of nonmonotonic inference system based on system L~* |
| |
| WU Hong-bo,MA Qiao-yun.A kind of nonmonotonic inference system based on system L~*[J].Journal of Shaanxi Normal University: Nat Sci Ed,2004(4). |
| |
| Authors: | WU Hong-bo MA Qiao-yun |
| |
| Abstract: | |
| |
| Keywords: | fuzzy logic nonmonotonic inference L~* system CM system P system consequence relation |
| 本文献已被 CNKI 等数据库收录！ |
