安东尼·科恩（Anthony G.Cohn）。 多种排序逻辑的更具表现力的公式。 （英语） Zbl 0642.68166号 J.汽车。推理 3, 113-200 (1987). 在普通的一阶逻辑中，简单的事实可以获得长表示公式；部分原因是缺少关于对象和谓词的排序信息。因此，许多排序逻辑是一种工具，可以在人工智能中实现更紧凑的知识表示，并减少自动演绎中的搜索空间。在本文中，作者介绍了一种多分类逻辑，他称之为LLAMA（至少“缺少有意义的首字母缩写的逻辑”这个名称不应该被认真对待）。基本概念是排序域和排序函数。排序由排序符号子集集的布尔格表示。排序函数用于对函数和谓词符号进行排序；给出了几种为逻辑连接词（特别是为\（\vee）\）定义排序函数的替代方法。从形式上讲，与四值逻辑有一些相似之处，因为除了TRUE和FALSE之外，我们还有值“TRUE或FALSE”和“无意义”（然而，这些是排序值，而不是真值）。一个关键概念是排序数组的概念，它是一个为公式分配排序的工具。通过将排序数组与公式F相关联，可以在排序环境中获得F的排序（（=变量排序赋值））；给出了一种在排序环境中确定公式排序的算法。对LLAMA的语义进行了形式化定义，并引入了许多排序推理规则，其中包括许多子句形式的排序解析。最后，作者与其他方法进行了详细的比较，特别是与关闭的方法C.沃尔特[一种基于分辨率和副调制的多分类微积分，Proc.IJCAI-83，Karlsruhe，William Kaufmann，882-899（1983；关于这些程序的一般审查，请参见Zbl 0536.68074号)]. 以“舒伯特蒸汽压路机”为例，说明了LLAMA的强大威力；这个问题只由3个子句表示（相比之下，普通一阶逻辑中有27个子句，沃尔特逻辑中有12个子句）。审核人：A.莱奇 引用于15文件 理学硕士： 68吨15 定理证明（演绎、解析等）（MSC2010） 03年10月 经典一阶逻辑 关键词：多态性;控制;知识表示;多排序逻辑;洛杉矶;排序;排序数组;舒伯特蒸汽压路机 引文：兹伯利0536.68074 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn}，J.Autom。推理3113--200（1987；Zbl 0642.68166） 全文： 内政部