格哈德·布鲁卡 首选子主题：默认推理的扩展逻辑框架。 （英语） Zbl 0713.68053号 IJCAI 89，程序。国际会议，密歇根州底特律，美国1989年，1043-1048（1989）。 [关于整个系列，请参见Zbl 0707.68001号.]形式化非单调（尤其是默认）推理的标准方法从一组一致的前提开始，并扩展推理关系，例如通过添加二阶公式（J.McCarthy），或通过引入非标准推理规则（R.Reiter）等。本文考虑了另一种观点：将默认推理视为不一致处理的一种特殊情况（Wolfgang Bibel也提出了这一观点），并基于首选最大一致子集的概念指定策略。结合David Poole的理论主义方法来进行默认推理，作者提出了Poole系统的两个推广：首先，考虑代表不同可靠度的几层可能的假设，第二，基于在前提之间建立偏序来区分或多或少可靠的公式。在这两种方法中，如果有可能在最可靠的假设基础上为公式构造一致的论点，那么公式在理论上是可以证明的。审核人：N.Curteanu公司 引用于1审查引用于82文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：默认推理;前提的优选最大一致子集 引文：Zbl 0707.68001号 PDF格式BibTeX公司 XML格式