带优先级的基于论据的非单调逻辑

Prioritized JustificationBased Nonmonotonic Logic

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．

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 justificationbased. A prioritized justificationbased nonmonotonic logic is presented which can deal with nonmonotonic reasoning more generally and effectively.