米哈伊拉·卢佩阿 DARR-约束和有理缺省逻辑的定理证明器。 （英语） Zbl 1118.68663号 Babeș-Bolyai大学学生，Inform。 47，第1期，45-53（2002）. 概要：缺省逻辑代表了一类重要的非单调形式主义。这些逻辑系统使用简单而强大的推理规则（称为缺省值），对“在没有信息的情况下与（点）相反”的形式的推理模式进行建模，从而将缺省推理形式化，这是一种特殊类型的非单调推理。在本文中，我们提出了一个称为DARR的自动化系统，它由两个组件组成：命题定理证明器和约束和有理命题缺省逻辑的定理证明器。使用改进的语义表方法实现命题证明器。此外，这种定理证明方法适用于计算扩展，因为其目的之一是生成模型，而扩展是默认理论描述的世界模型。 MSC公司： 68T27型 人工智能中的逻辑 68层37 人工智能背景下的不确定性推理 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：DARR公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Lupea}，Babeș-Bolyai大学学生，Inform。47，第1号，45-53（2002；Zbl 1118.68663）