节点文献
带优先级的基于论据的非单调逻辑
Prioritized JustificationBased Nonmonotonic Logic
【摘要】 分析了常规非单调逻辑的局限性,通过介绍带优先级的非单调逻辑和累积缺省逻辑,指出非单调逻辑不仅需引入优先级而且须基于论据.提出了带优先级的基于论据的非单调逻辑,从而能更有效地处理非单调推理.
【Abstract】 The limitations of conventional nonmonotonic logics are analysed. By the discussion of prioritized nonmonotonic logics and cumulative default logic, it is known that nonmonotonic logics should be not only prioritized but also justificationbased. A prioritized justificationbased nonmonotonic logic is presented which can deal with nonmonotonic reasoning more generally and effectively.
【关键词】 非单调推理;
非单调逻辑;
正确性维护系统;
【Key words】 nonmonotonic reasoning; nonmonotonic logic; truth maintenance system;
【Key words】 nonmonotonic reasoning; nonmonotonic logic; truth maintenance system;
【基金】 国家自然科学基金
- 【文献出处】 上海交通大学学报 ,JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY , 编辑部邮箱 ,1998年01期
- 【分类号】TP18
- 【被引频次】1
- 【下载频次】76