达尔

DARR——一个约束和理性缺省逻辑的定理证明器。缺省逻辑是非单调形式主义的一个重要类。使用简单的强大推理规则,称为默认值,这些逻辑系统对“没有信息与点相反”形式的推理模式进行建模,从而将默认推理形式化为一种特殊类型的非单调推理。在本文中,我们提出了一个自动化的系统,称为DARR,有两个组成部分:命题定理证明器和定理证明器的约束和理性命题默认逻辑。使用改进的语义表方法实现命题证明器。此外,该定理证明方法适用于计算扩展,因为它的目的之一是产生模型,并且扩展是世界的模型所描述的默认理论。

ZBMaX中的参考文献(1)中提到的1标准条款

显示1的结果1。
按年份排序(引文

  1. Lupea,MiHeela:DARR——一个约束和理性缺省逻辑的定理证明器(2002)