平衡理论和答案集程序的推理能力比较.docxVIP

平衡理论和答案集程序的推理能力比拟抽象 答案集编程（ASP）是人工智能中一种完善的逻辑方法，广泛用于知识表示和解决问题。均衡逻辑将答案集语义扩展到更一般 的程序和理论类。当在ASP中或以更一般的均衡逻辑形式研究理论间关系时，它们通常以答案集的比拟或理论或程序的平衡模 型的形式来理解。强而均匀的等价性及其相对化和投射版本就是这种情况。但是，ASP有许多潜在的应用领域与查询应答相关, 并且根据可以从中推断的内容对程序进行比拟可能很重要。我们制定和研究一些自然等价和蕴涵的概念，用于以推理和查询回 答的方式表达的程序和理论。我们说明，在大多数情况下，这些新的理论间关系与它们的模型理论对应物相吻合。我们还扩展 了以前关于理论和新连接词（称为。水）的投影蕴涵的一些结果。 关键字:答案集编程;平衡逻辑;宗教间关系;投射性内涵;ASP中的分叉1.引言 答案集编程（ASP）是人工智能中知识表示和解决问题的流行环境。由于高效的答案集求解器，现在该技术在不同领域有 许多应用。均衡逻辑⑺为ASP提供了逻辑基础，并将稳定模型语义扩展到任意命题和一阶理论。它还被证明有助于在答案集语 义下为时间和认识推理生成新的扩展。答案集程序通常用于以模型或答案集的形式提供问题解决方案的一个或多个表示形式。 与Prolog不同，ASP传统上不是被设计为用作查询应答系统。因此，从［2］开始的对程序之间逻辑关系的研究主要集中在它们的 答案集的比拟上。这就是强和均匀等价的主关系以及它们的相对化和射影版本是如何理解的［2, 3, 4, 5］o在Datalog域中首先 考虑了强而均匀的等价性［6, 7］;从那时起，在这方面已经研究了许多非单调形式主义，包括默认逻辑网，因果逻辑［9］,论证框 架［10, 11］和基于偏好的形式主义［12, 13, 14］,仅举儿个例子。强等价性和相关概念的结果己被证明在许多不同的上下文中是 有用的，例如程序简化［15］或忘记［16］。 但是，查询应答在许多可以应用ASP的域中非常重要。在这种情况下，我们有兴趣比拟不同程序的逻辑结果，例如，看 看他们在回答查询时同意什么条件。这激发了定义和分析以推理和查询答案方式制定的程序之间的等效性和蕴涵关系的挑战。 类似的概念出现在其他基于逻辑的推理系统中。在Datalog中，有一个众所周知的查闻包金概念［17］。在对本体进行推理的描 述逻辑中，标在.查询不可分割性怛概念（参见例如［18］）洞样，在抽象论证中，已经研究了纶证宏受方面的强等同性［11］。 在ASP中，如果两个程序具有相同的稳定模型，那么称它们等双;如果它们在添加任何新规那么集下保持等效状态，那么称为 强等或［2］。如果只能添加新的事实，那么该关系称为一致等价。此外，可以定义强而统一等同的的对空版本，以涵盖新添加的规 那么或事实使用特定语言的情况。投再等价是适当的概念，以防我们对程序的受限子语言的模型等价感兴趣。所有这些关系都在 文献中得到了研究和描述（如上所述）。在［19］中，还定义了超序N/%的弱和强形式。在这种情况下，我们关心的是理论的相对 强度Q 在本文的其余局部，我们基于推理制定了新的理论间和程序间关系，并说明在大多数情况下，它们与众所周知的模型理论 对应物一致。这意味着可以使用熟悉的概念和技术来研究它们。我们始终在非经典逻辑中工作HT这里初那隹，这为均衡逻辑 提供了基础，从而为ASP的稳定模型语义提供了基础。HT在这种情况下特别重要，因为HT模型与理论等价有关.在第2节 中，我们回顾了HT和均衡逻辑，我们为均衡理论定义了三种类型的后果关系。第3节涉及强而统一的等价关系，展示了标准 概念与根据推理公式化的对应概念相比方何。相对化等价的类似程序在第4节中遵循。在第5节中，我们转向理论之间的蕴涵 关系。换句话说，我们从理论的稳定模型和问答能力的角度来处理理论的相对隔至第6节审查投射蕴涵和等价关系;在这里， 我们概括了在以前的工作中获得的一些特征。我们包括标准逻辑程序的投射蕴涵和等价性，并且还涵盖了另外两种情况。一个 引理2. 设M为平衡模型（在）和B的子语言.然后,对于任何B公式①，. 定义11 （8-后果）。 为 （一） 我们说是比后果之，在符号中，如果对于任何B公式6,. （二）我们说和是比不可分割（对于3）,在符号中如果和. 8结果和不可分割性的强版本以明显的方式获得。 定义12 （强8后果）。为： 我们写《对于强烈的8-后果）如果对于任何V\和B公式（p,. ■同样适用于强B形别离性:如果对于任何八和B公式①,和. 相对化版本很容易获得,例如,强8-结果，相对于4 在符号中,当对于A公式和B公式的任何集合口?，. 同样,相对于＞4表示为. 我们之前的相对化强等价概念有一个直截了当的投射版本。 定义13? 让和是理论。和起相对于投影到8上