带优先级的基于论据的非单调逻辑 |
| |
引用本文: | 杨杰,陆正刚.带优先级的基于论据的非单调逻辑[J].上海交通大学学报,1998,32(1):18-21. |
| |
作者姓名: | 杨杰 陆正刚 |
| |
作者单位: | 上海交通大学图象处理及模式识别研究所 |
| |
摘 要: | 分析了常规非单调逻辑的局限性,通过介绍带优先级的非单调逻辑和累积缺省逻辑,指出非单调逻辑不仅需引入优先级而且须基于论据.提出了带优先级的基于论据的非单调逻辑,从而能更有效地处理非单调推理.
|
关 键 词: | 非单调推理 非单调逻辑 正确性维护系统 |
本文献已被 CNKI 维普 等数据库收录! |
|