罗伯特·韦洛夫；沃斯，拉里 关联推理原理。一： 正式待遇。 （英语） Zbl 0754.68102号 J.汽车。推理 8，第2期，213-274（1992）. 本文介绍了链接推理原理的形式化处理。这一原则允许获得各种关联推理规则的公式。链接推理规则是一种推理类型，它将多个较小的步骤组合成一个较大的步骤。链接推理规则是一种推理方式，使用户可以控制各种参数，例如推理步骤的大小、程序允许进行的搜索的力度以及结论的语义性质。使用链接推理规则可以更自然地表示问题。链接推理规则的目标是选择一组从句推理，并以使文字成对、统一和取消的方式找到和应用统一器。来自\（S\）的子句可以划分为不相交集：核心、附属和链接（如果链接集为空，则获得标准推理规则）。链接子句与nucleus和satellites共享属性。提出了一系列链接推理规则：链接（UR）分解、链接超分解、链接二进制分解，每一个都推广了相应的众所周知的标准推理规则。给出了实验结果和大量实例。审核人：N.Zamov（喀山） 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：分区策略；目标战略；深度战略；链接推理规则 软件：AURA公司；水獭 PDF格式BibTeX公司 XML格式引用 \textit{R.Veroff}和\textit{L.Wos}，J.Autom。推理8，No.2，213--274（1992；Zbl 0754.68102） 全文： 内政部