论文部分内容阅读
分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．
The limitations of conventional nonmonotonic logic are analyzed. By introducing nonmonotonic logic with priority and accumulating default logic, it is pointed out that nonmonotonic logic not only needs to be prioritized but also based on arguments. Proposed prioritized nonmonotonic logic based on arguments, which can deal with nonmonotonic reasoning more efficiently.