单调逻辑造句

提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理。

借助于归纳推理的局部合理*推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。