欢迎来到中文知识站!
>
提出了带优先级的基于论据的非单调逻辑,从而能更有效地处理非单调推理。
借助于归纳推理的局部合理*推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
图文推荐
相关文章