达尔

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

zbMATH中的参考文献,1标准件)

显示结果1/1。
按年份排序(引用)

  1. Lupea,Mihaiela:DARR-约束和有理缺省逻辑的定理证明者(2002)