首页 | 本学科首页   官方微博 | 高级检索  
     检索      

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

关 键 词:非单调推理  非单调逻辑  正确性维护系统
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号