A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories
The University of Texas at Dallas（得克萨斯大学达拉斯分校）
我们提出了一个聚类和降级为基础的算法称为Kmeans-FOLD诱导非单调逻辑程序从正面和负面的例子。我们的算法改进上，并受到启发的FOLD算法。FOLD算法本身是对FOIL算法的改进。与FOLD算法相比，我们的算法生成更简洁的逻辑程序。我们的算法使用基于K-means的聚类方法聚类的输入正样本之前，应用FOLD算法。在中间步骤中被部分学习的程序覆盖的正例不像在FOLD算法中那样被丢弃，而是被降级，即，它们的权重在算法的后续迭代中减小。我们在UCI数据集上的实验表明，K-Means聚类和我们的降级策略相结合，对具有多个正例聚类的数据集产生了显着的改善。由此产生的诱导程序也更简洁，因此更容易理解的FOLD和ALEPH系统相比，两个国家的最先进的归纳逻辑程序设计（ILP）系统。
2021-09-26 cs.AI
A note on the Declarative reading(s) of Logic Programming
本文分析了逻辑程序设计的说明性阅读。逻辑编程--以及作为失败的否定--没有唯一的声明性阅读。一个普遍的观点是，逻辑编程是默认推理的逻辑，默认逻辑或自动认知逻辑的子形式主义。在这种观点中，作为失败的否定是一个模态算子。在另一种观点中，逻辑程序被解释为定义。在这种观点中，作为失败的否定是经典的客观否定。从常识的角度来看，这两种观点肯定是有区别的。令人惊讶的是，这两种类型的声明性阅读都导致了相同的模型语义。本说明调查了这一情况的原因。
2000-03-13 cs.AI cs.LO
Default reasoning over domains and concept hierarchies
W.C.圆和G。- Q. Zhang（2001）提出研究一种推广到代数域的析取逻辑编程形式。该系统允许推理的信息是分层结构，并形成一个（合适的）域。我们扩展这个框架，包括推理与默认否定，从而产生一个新的非单调推理框架的层次知识，其中包括答案集编程与扩展的析取逻辑程序。我们还表明，层次结构的知识，编程在这种模式下可以做的，产生非常自然的正式概念分析。总之，我们得到了一个默认的推理范式的概念知识，这是根据非单调推理的主流发展。
2004-09-01 cs.AI cs.LO
Probabilistic Logic Programming under Inheritance with Overriding
我们提出了概率逻辑编程下的继承覆盖。这种方法是基于新的概念蕴涵推理的条件约束，这是从经典的概念逻辑蕴涵通过添加继承与覆盖的原则。这是通过使用最近的方法概率默认推理与条件约束。我们分析了新蕴涵关系的语义特性。我们还提出了概率逻辑编程的算法继承覆盖，程序转换，以提高效率。
2013-01-10 cs.AI
Disjunctive Logic Programs versus Normal Logic Programs
University of Western Sydney（西悉尼大学）
本文主要研究在有限、无限或任意结构上的稳定模型语义下，析取和常规逻辑程序的表达能力。本文提出了一种从析取逻辑程序到普通逻辑程序的转换，并证明了这种转换在无限结构上是合理的。证明了两类逻辑程序对任意结构的表达能力的等价性与对有限结构的表达能力的等价性是一致的，并且与NP在补下是否闭的等价性是一致的。在有限结构上，证明了在辅助谓词和辅助函数的性质有界的条件下，从析取逻辑程序到正常逻辑程序的不可译性。
2013-04-02 cs.AI
A Compiler for Ordered Logic Programs
本文描述了一个在回答集语义下将有序逻辑程序编译成标准逻辑程序的系统PLP。在有序逻辑程序中，规则由唯一的术语命名，规则之间的偏好由一组专用原子给出。一个有序的逻辑程序被转换成第二个规则的扩展的逻辑程序，其中偏好被考虑，因为在转换的理论中获得的答案集与原始理论的优选答案集相对应。由于翻译的结果是一个扩展的逻辑程序，现有的逻辑编程系统可以用作底层的推理引擎。特别是，PLP被认为是逻辑编程系统dlv和models的前端。
2000-03-08 cs.AI
The Probability of a Possibility: Adding Uncertainty to Default Rules
University of British Columbia（不列颠哥伦比亚大学）
我们提出了一个语义添加不确定性的条件逻辑默认推理和信念修订。我们能够将条件句视为条件概率的陈述，并表达修改规则，例如“如果A被相信，那么B将被相信为p度。“这种修改方法通过允许概率为零的句子进行有意义的修改来扩展条件化。这是通过使用反事实概率来实现的。因此，我们的系统占定性方法的更新（特别是，AGM理论的修订）和概率方法的最佳性能。我们还展示了如何我们的系统可以被看作是一个统一的概率论和可能性理论，突出其正交性，并提供了一种手段来表达概率的可能性。我们还展示了连接到刘易斯的成像方法。
2013-03-06 cs.AI
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
众所周知，在某些条件下，可以在稳定的模型语义下分割逻辑程序，即，将这样的程序划分为多个不同的“级别”，使得整个程序的模型可以通过为每个级别递增地构造模型来构造。类似的结果也存在于其他非单调形式主义，如自认知逻辑和缺省逻辑。在这项工作中，我们提出了一个一般的，代数分裂理论的逻辑与不动点语义。再加上近似理论的框架，一个一般的不动点理论的任意运营商，这给了我们一个统一的和强大的方式得出分裂结果的每一个逻辑与不动点语义。我们证明了这些结果的有用性，通过推广现有的结果为逻辑编程，自动认知逻辑和默认逻辑。
2006-10-26 cs.AI cs.LO
Joint Tabling of Logic Program Abductions and Updates
Universidade Nova de Lisboa（里斯本新大学）；Universitas Indonesia（印度尼西亚大学）
溯因逻辑程序提供了一种形式主义来声明性地表示和推理各种领域的问题：诊断，决策，假设推理等。另一方面，逻辑程序更新使我们能够表达知识的变化，无论是内部（或自我）和外部（或世界）的变化。溯因逻辑程序和逻辑程序更新因此自然地共存于易受关于变化的假设推理影响的问题中。以此为动机，在本文中，我们集成了溯因逻辑程序和逻辑程序更新，共同利用表功能的逻辑编程。这种集成是基于我们以前分别设计的两种实现技术，即，用于逻辑程序更新的查询驱动传播的表化溯因和增量表化。用XSB Prolog语言实现了一个集成系统的原型。
2014-05-08 cs.AI
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
Open Universiteit（开放大学）；Tel-Aviv Academic College（特拉维夫学术学院）；Vrije Universiteit Brussel（布鲁塞尔自由大学）
近似不动点理论（AFT）是研究非单调逻辑语义的一个抽象而通用的代数框架。它提供了对非单调推理的不同形式主义的语义的统一研究，例如逻辑编程、默认逻辑和自认识逻辑。在本文中，我们将AFT扩展到处理非确定性结构，允许处理不确定的信息，例如由析取公式表示。这是通过将AFT的主要构造和相应结果推广到非确定性算子来完成的，其范围是元素的集合而不是单个元素。这种概括的适用性和有用性的上下文中说明的析取逻辑编程。
2022-12-01 cs.AI
Logic Programs with Compiled Preferences
我们描述了一种方法，编译成逻辑程序下的回答集语义的偏好。有序逻辑程序是一种扩展的逻辑程序，其中规则由唯一项命名，并且其中规则之间的偏好由一组专用原子给出。有序的逻辑程序被转换成第二个、规则的、扩展的逻辑程序，其中偏好被尊重，因为在转换后的理论中获得的答案集与原始理论的优选答案集相对应。我们的方法允许规范的静态排序（在大多数以前的工作中发现），其中的偏好是外部的一个逻辑程序，以及排序的规则集。在很大程度上，我们感兴趣的是描述一个通用的方法，统一纳入逻辑程序的偏好信息。由于我们的翻译结果是一个扩展的逻辑程序，我们可以利用现有的实现，如dlv和models。为此，我们开发了一个编译器，可在网络上，作为这些编程系统的前端。
2000-03-08 cs.AI
Non Deterministic Logic Programs
非确定性应用出现在许多领域，包括随机优化、多目标优化、随机规划、偶然随机规划、强化学习、部分可观测马尔可夫决策过程中的强化学习和条件规划。我们提出了一个逻辑编程框架，称为非确定性逻辑程序，以及声明性语义和定点语义，允许表示和推理固有的非确定性的现实世界的应用程序。对非确定性逻辑程序语言框架进行了非单调否定扩展，定义了两种可供选择的语义：稳定非确定性模型语义和良基非确定性模型语义，并研究了它们之间的关系。这些语义继承了确定性正常逻辑程序的确定性稳定模型语义和确定性良基语义，并将其归结为确定性逻辑程序的无否定语义。我们展示了应用程序的非确定性逻辑程序框架的条件规划问题。
2013-04-26 cs.AI
Logic Programming with Ordered Disjunction
具有有序析取的逻辑程序（LPOD）结合了定性选择逻辑（Brewka et al. KR 2002）和答案集编程的基本思想。在回答集语义下的逻辑程序设计中引入了一种新的连接词--有序析取。新的连接词允许我们在规则的头部表示问题解决方案的替代性、排名选项：A \times B直观地意味着：如果可能，A，但如果A不可能，那么至少B。具有有序析取的逻辑程序的语义是基于答案集上的偏好关系。LPOD对于设计和配置中的应用是有用的，并且可以作为定性决策的基础。
2002-07-11 cs.AI
Practical Methods for Proving Termination of General Logic Programs
体原子取反的逻辑程序（这里称为一般逻辑程序）的终止是一个重要的课题。一个原因是许多用于处理否定原子的计算机制，如克拉克的否定失败和陈的建设性否定，都是基于终止条件。本文介绍了一种证明一般逻辑程序可终止性的方法。Prolog选择规则其思想是根据程序的终止是否依赖于选择规则来区分程序的各个部分。为此，低，弱向上，向上可接受的程序的概念被引入。我们使用这些概念来开发一种方法来证明终止一般逻辑程序，并显示如何有趣的问题，在非单调推理可以形式化和实现的方式终止一般逻辑程序。
1996-04-01 cs.AI
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
本卷包含Arg-LPNMR 2016上发表的论文：第一届逻辑编程和非单调推理论证国际研讨会，于2016年7月8日至10日在纽约州纽约市举行。
2016-11-08 cs.AI
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
Department of Computer Science, Open Universiteit, the Netherlands（开放大学计算机科学系）；Department of Computer Science, University of Cape Town, South-Africa（开普敦大学计算机科学系）；School of Computer Science, Tel-Aviv Academic College, Israel（特拉维夫学术学院计算机科学学院）
本文扩展了基于假设的论证与逻辑程序的对应关系，证明其可表示析取逻辑程序及扩展，并建立析取推理规则与程序规则头部析取处理的对应。
2025-07-08 cs.AI
A Plausibility Semantics for Abstract Argumentation Frameworks
University of Luxembourg（卢森堡大学）
我们提出并研究了一个简单的排名措施为基础的扩展语义抽象的论证框架的基础上，其通用的实例化默认的知识库和排名结构语义的默认推理。在这种情况下，我们考虑从结构化到逻辑到浅语义实例化的路径。由此产生的合理的JZ扩展语义偏离更传统的方法。
2014-07-16 cs.AI
Controlled Natural Languages and Default Reasoning
Stony Brook University（石溪大学）
受控自然语言是知识表示和推理的有效语言。它们是基于某些自然语言设计的，具有受限的词汇和语法。CNL与它们的基础语言相比是明确和简单的。它们保持了自然语言的表达性和连贯性。在这份报告中，我们专注于一类CNLs，称为面向机器的CNLs，它具有定义良好的语义，可以确定性地翻译成形式语言，如Prolog，做逻辑推理。在过去的20年里，出现了许多面向机器的CNL，并已被用于许多应用领域的问题解决和问答。然而，很少有人支持非单调推理。在我们的工作中，我们提出了非单调扩展CNL支持可废止推理。在本报告的第一部分，我们调查CNLs和比较三个有影响力的系统：尝试控制英语（ACE），可处理英语（PENG）和计算机可处理英语（CPL）。我们比较他们的语言设计，语义解释和推理服务。在本文的第二部分，我们首先分析了自然语言中典型的非单调性，如缺省、例外和会话含义。然后，我们提出了他们的CNL表示和相应的形式化形式的可废止推理称为逻辑程序设计与推理和论证理论（LPDA）。
2019-05-11 cs.AI cs.CL
A Framework for Compiling Preferences in Logic Programs
我们介绍了一种方法和框架下的回答集语义表示一般偏好信息的逻辑编程。有序逻辑程序是一种扩展的逻辑程序，其中规则由唯一的术语命名，并且其中规则之间的偏好由形式s < t的一组原子给出，其中s和t是名称。一个有序的逻辑程序被转换成第二个规则的扩展逻辑程序，其中优先权被考虑，因为在转换后的程序中获得的答案集对应于原始程序的优先答案集。我们的方法允许规范的动态排序，其中偏好可以出现在一个程序中任意。静态排序（其中首选项在逻辑程序外部）是一般动态情况的一个微不足道的限制。首先，我们开发了一种特定的方法来推理的偏好，其中的偏好排序指定的规则被应用的顺序。然后，我们展示了我们的框架的广泛的适用性，通过展示如何其他方法，其中包括Brewka和Eiter，可以在我们的框架内捕获。由于这些转换的结果都是一个扩展的逻辑程序，我们可以利用现有的实现，如dlv和models。为此，我们已经开发了一个公开可用的编译器作为这些编程系统的前端。
2002-03-05 cs.AI
Enablers and Inhibitors in Causal Justifications of Logic Programs
University of Corunna（拉科鲁尼亚大学）
出现在逻辑编程理论与实践（TPLP）中。在本文中，我们提出了一个扩展的逻辑编程（LP），其中每个默认文字来自良好的基础模型相关联的理由表示为一个代数表达式。这个表达式包含因果解释（以规则标签构建的证明图的形式）和否定范围内的术语，这些术语代表启用或禁用因果规则应用的条件。使用一些例子，我们讨论了这些新的条件，我们分别称之为“使能”和“抑制剂”，是密切相关的默认否定，并有一个本质上不同的性质，从定期的因果关系。最重要的结果是一个正式的比较，最近的代数方法的理由在LP：“为什么不种源”（WESTERN）和“因果图”（CG）。我们表明，目前的方法扩展了WESTERN和CG的理由下的基础良好的语义，作为副产品，我们还建立了这两种方法之间的正式关系。
2016-02-22 cs.AI cs.LO
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
K.U. Leuven（鲁汶大学）；University of Kentucky（肯塔基大学）
一个事实显然没有观察到以前的文献中的非单调推理是赖特，在他的默认逻辑论文，没有直接形式化的非正式默认。相反，他将一个缺省翻译成某种自然语言命题，并提供了后者的形式化。几年后，摩尔注意到，像赖特使用的命题从根本上不同于默认，并表现出一定的自我认识性质。因此，赖特发展了他的缺省逻辑，作为自我认识命题的形式化，而不是缺省。本文的第一个目标是表明，一些问题的Reiter的默认逻辑作为一种正式的方式来推理非正式默认直接归因于默认逻辑的自认识性质和非正式默认之间的不匹配和Reiter的正式默认，后者是一个正式的表达的自认识命题Reiter作为一个代表的非正式默认。我们的论文的第二个目标是比较赖特和摩尔的工作。虽然他们每个人都试图形式化的自认识命题，在各自的逻辑推理模式是不同的。我们重温摩尔和赖特的直觉，并从自定理的角度提出它们，其中理论可以包括涉及理论自身定理的命题。然后，我们讨论了形式化的这一观点的逻辑摩尔和赖特，分别使用统一的语义框架默认和自认知逻辑，我们以前开发的。我们认为，赖特的默认逻辑是一个更好的形式化摩尔的直觉比摩尔自己的autoepistemic逻辑的autoepistemic命题。
2011-08-16 cs.AI
Embedding Default Logic in Propositional Argumentation Systems
在本文中，我们提出了一个转换的有限命题默认理论到所谓的命题论证系统。这种转换允许表征所有概念的赖特的默认逻辑的框架内的论证系统。因此，计算扩展，或确定是否一个给定的公式属于一个扩展或所有扩展可以回答，而不离开经典命题逻辑领域。所提出的转换是线性的默认值的数量。
2002-07-16 cs.AI
Complexity of Prioritized Default Logics
在缺省推理中，通常不是所有可能的解决缺省规则之间冲突的方法都是可接受的。表达解决冲突的可接受方式的标准可以在推理机制中硬连线，例如继承推理中的特异性可以以这种方式处理，或者它们可以抽象地作为默认规则的排序。在这篇文章中，我们调查形式化的后一种方法在赖特的默认逻辑。我们的目标是分析和比较三个这样的形式化的计算复杂性的计算特性：优先默认逻辑的Baader和Hollunder，和Brewka，优先默认逻辑是基于词典比较。分析位于这些逻辑的第二和第三层次的多项式的命题变体，并确定了边界之间的听话和棘手的推理优先级默认理论的限制类。
2011-05-27 cs.AI
Prioritised Default Logic as Argumentation with Partial Order Default Priorities
我们表示Brewka的优先默认逻辑（PDL）的论证使用ASPIC+。通过将PDL表示为论证并设计一个考虑论证结构的论证偏好关系，我们证明了合理论证的结论对应于PDL扩展。我们将首先假设默认的优先权是总的，然后推广到它是偏序的情况。这提供了一个特征的非单调推理在PDL作为一个交换的论点和反论点，提供了一个基础上的分布式非单调推理的对话形式。
2016-08-25 cs.AI
Uniform semantic treatment of default and autoepistemic logics
我们重新审视了非单调推理中两种主要形式主义之间的联系：自认知逻辑和缺省逻辑。对于每个逻辑，我们开发了一个全面的语义框架的基础上的概念的信念对。所有信念对的集合与所谓的知识排序一起形成一个完整的格。对于每一个逻辑，我们介绍了几个语义的信念对格上的运营商的不动点。我们的研究结果阐明了各自的语义结构的基本同构。特别是，我们表明，由Konolige提出的模态公式的默认值的解释，使我们能够代表所有的语义默认逻辑的相应的语义的自认识逻辑。因此，我们的研究结果最终确定，默认逻辑确实可以被视为一个片段的自我认知逻辑。然而，正如我们还证明的那样，Moore和Reiter的语义是由不同的运算符给出的，并且在其相应的语义族中占据不同的位置。这一结果解释了长期以来难以将这两种语义正式联系起来的原因。在本文中，我们还讨论了近似怀疑推理与自认知和默认逻辑，并建立建设性的原则背后的这种近似。
2000-02-03 cs.AI
The Logic Programming Paradigm and Prolog
这是一个关于逻辑编程和Prolog的教程，适合于熟悉命令式编程的学生的程序设计语言课程。
2001-07-12 cs.AI cs.PL
Expert Systems with Logic#. A Novel Modeling Framework for Logic Programming in an Object-Oriented Context of C#
IU International University of Applied Sciences（IU国际应用科学大学）
我们提出了一种新的方法如何逻辑编程的专家系统可以直接声明在一个面向对象的语言。
2022-05-16 cs.AI cs.PL
Learning Possibilistic Logic Theories from Default Rules
Cardiff University（卡迪夫大学）；KU Leuven（鲁汶大学）
我们介绍了一个设置学习可能性逻辑理论的默认形式“如果阿尔法，然后通常β”。我们首先从机器学习理论的角度来分析这个问题，确定VC维度的可能性分层以及相关的学习问题的复杂性，之后，我们提出了一个启发式学习算法，可以很容易地扩展到数千个默认值。我们的方法的一个重要属性是，它本质上能够处理嘈杂和冲突的默认设置。除此之外，这使我们能够从众包数据中学习可能性逻辑理论，并使用启发式MAP求解器来近似命题马尔可夫逻辑网络。我们目前的实验结果表明，这种方法的有效性。
2016-04-18 cs.AI
Stable models and an alternative logic programming paradigm
在本文中，我们重新审视的地方和作用的稳定模型语义在逻辑编程和对比，它与最少Herbrand模型的方法霍恩程序。我们证明了稳定模型语义的固有特征自然会导致一个逻辑编程系统，提供了一个有趣的替代更传统的逻辑编程风格的霍恩逻辑编程，分层逻辑编程和逻辑编程与良好的基础语义。所提出的方法是基于程序条款的约束的解释。在这种情况下，程序不描述一个单一的预期模型，而是一系列稳定的模型。这些稳定的模型编码解决方案的约束满足的问题所描述的程序。我们的方法对逻辑程序的语法施加了限制。特别是，函数符号被从语言中删除。我们认为，由此产生的逻辑编程系统是很好地协调NP类的问题，有一个定义明确的应用领域，和一个新兴的编程方法。我们指出，是什么使整个方法可行的算法来计算命题逻辑程序的稳定模型的实现的最新进展。
1998-09-18 cs.AI cs.LO
Logic Programming with Satisfiability
本文提出了一个Prolog接口的MiniSat可满足性求解器。具有可满足性的逻辑程序- ming结合了两种范式的优势：一方面将搜索问题编码为可满足性的逻辑编程，另一方面有效地求解SAT。这两者之间的协同作用暴露了一个编程范式，我们在这里提出的逻辑编程珍珠。为了说明逻辑编程与SAT解决我们给出了一个例子Prolog程序解决部分MAXSAT的实例。
2007-02-13 cs.AI cs.PL
A Rational Entailment for Expressive Description Logics via Description Logic Programs
ISTI - CNR（意大利国家研究委员会信息科学与技术研究所）；CAIR - University of Cape Town（开普敦大学CAIR）
Lehmann和Magidor的有理闭包被认为是非单调逻辑领域的一个里程碑，它也在描述逻辑（DL）的背景下被重新表述。我们在这里展示了如何建模的合理形式的蕴涵表达DL，如SROIQ，提供了一种新的推理过程，编译成一个描述逻辑程序（DL程序）的非单调DL知识库。
2021-06-28 cs.AI cs.LO
Speedup of Logic Programs by Binarization and Partial Deduction
二进制逻辑程序可以通过二进制化变换从普通逻辑程序获得。在大多数情况下，以这种方式获得的二进制程序的效率低于原始程序。（Demoen，1992）展示了一个有趣的逻辑程序的例子，当它被转换成二进制程序，然后通过部分演绎进行专门化时，它的计算行为得到了改善。定义了B-分层逻辑程序类。它表明，对于每一个B-分层逻辑程序，二进制化和随后的部分演绎产生一个二进制程序，不包含变量的连续二进制化介绍。这样的程序通常比原来的程序有更好的计算性能。二值化和部分演绎都可以很容易地自动化。与其他相关的方法程序转换的比较。
2003-12-15 cs.AI cs.PL
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
嵌套逻辑程序最近被引入，以便允许在答案集语义下的逻辑程序规则的头部和主体中的任意嵌套公式。嵌套表达式可以不受限制地使用合取、析取以及作为失败操作符的否定来形成。这为知识表示和推理提供了一个非常灵活和紧凑的框架。已有的结果表明，嵌套逻辑程序可以初等地转化为标准（非嵌套）析取逻辑程序，只需对体文字应用否定作为失败算子.这是非常实际的相关性，因为它允许我们评估嵌套的逻辑程序的手段，现成的析取逻辑编程系统，如DLV。然而，事实证明，这种简单的转换在最坏的情况下会导致指数爆破，尽管复杂性结果表明两种形式主义之间存在多项式转换。在本文中，我们接受了这一挑战，并提供了一个多项式的逻辑程序与嵌套表达式转换为析取逻辑程序。此外，我们表明，这种翻译是模块化的和（强）忠实。我们已经实现了简单的和高级的转换;生成的编译器作为DLV的前端，并在Web上公开提供。
2002-07-19 cs.AI cs.LO
The Complexity of Circumscription in DLs
University of Naples Federico II（那不勒斯费德里科二世大学）；University of Bremen（不来梅大学）；University of Liverpool（利物浦大学）
作为一阶逻辑的一部分，描述逻辑不具有可废止继承和缺省规则等非单调特性。由于许多应用程序将受益于这些功能的可用性，已经开发了几个家庭的非单调DL，主要是基于默认逻辑和自认知逻辑。在本文中，我们认为限制作为一个有趣的替代方法，非单调的DL，特别是，支持可废止的继承在一个自然的方式。我们研究了在不同的语言限制和不同的约束条件下扩展的DLs的最小化，固定和变化的谓词集，并查明确切的计算复杂性的推理DLs范围从ALC ALCIO和ALCQO。当最小化谓词和固定谓词只包括概念名称但不包括角色名称时，则NExpTime^NP的推理完成。对于NP^NExpTime，当最小化谓词和固定谓词的数量由一个常数限制时，它就成为完备的。如果角色可以被最小化或固定，那么复杂性范围从NExpTime^NP到不可判定性。
2014-01-15 cs.AI cs.LO
Argumentation Semantics for Prioritised Default Logic
King’s College London（伦敦国王学院）
利用结构化论证的ASPIC+框架，赋予优先缺省逻辑（PDL）以论证语义，并证明了论证的结论就是优先缺省扩展. PDL的论证语义将允许论证博弈证明理论应用于PDL中的推理过程，使得接受结论的原因透明，推理过程更直观。这也开辟了基于辩论的分布式推理和代理人之间的沟通与PDL表示的心理态度的可能性。
2015-07-01 cs.AI
Logic Programming for Describing and Solving Planning Problems
一个逻辑编程范式，表示解决问题的稳定模型，最近已被提升为一个声明性的方法来解决各种组合和搜索问题，包括规划问题。在这种范式中，所有的程序规则被认为是约束和解决方案是稳定的模型的规则集。这与逻辑编程的标准范式有着相当大的不同。在本文中，我们重新溯因逻辑编程，并认为它允许一种编程风格，这是声明性的编程基于稳定的模型。然而，在溯因逻辑编程中，有两种规则。一方面是谓词定义（可能依赖于可溯物），它只不过是标准的逻辑程序（当包含否定时，具有非单调语义）;另一方面是约束可溯物模型的规则。在这个意义上，溯因逻辑编程是逻辑编程标准范式的平滑扩展，而不是彻底的背离。
2000-03-08 cs.AI cs.LO
Logic programs with monotone abstract constraint atoms
本文介绍并研究了子句由单调约束原子构成的逻辑程序。我们表明，一步证明算子的操作概念推广到单调约束原子的程序，但推广涉及非确定性。我们的主要结果表明，我们的形式化是一个共同的推广（1）正常的逻辑编程与其语义的模型，支持的模型和稳定的模型，（2）逻辑程序与重量原子（lparse程序）的语义的稳定模型，定义的Niemela，Simons和Soininen，（3）析取逻辑编程与可能的模型语义的Sakama和井上。
2006-08-25 cs.AI cs.LO
Bayesian Logic Programs
贝叶斯网络提供了一个优雅的形式主义表示和推理的不确定性使用概率论。它们是命题逻辑的概率扩展，因此继承了命题逻辑的一些局限性，例如难以表示对象和关系。我们引入了贝叶斯网络的一般化，称为贝叶斯逻辑程序，以克服这些限制。为了表示对象和关系，它通过在基础原子和随机变量之间建立一对一的映射，将贝叶斯网络与确定性子句逻辑相结合。我们表明，贝叶斯逻辑程序结合了确定子句逻辑和贝叶斯网络的优点。这包括模型的定量和定性方面的分离。此外，贝叶斯逻辑程序推广贝叶斯网络以及逻辑程序。所以，很多想法
2001-11-23 cs.AI cs.LO
Proceedings 40th International Conference on Logic Programming
University of Texas at Dallas（德克萨斯大学达拉斯分校）
该论文集收录第40届国际逻辑程序设计会议（ICLP）的技术内容，涵盖逻辑程序设计的语义、语言设计、程序分析及实现方法学等领域，展现该领域的最新研究成果。
2025-02-11 cs.AI cs.LO
Proceedings 38th International Conference on Logic Programming
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2022的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
2022-08-04 cs.AI cs.LO
An Unfolding-Based Semantics for Logic Programming with Aggregates
本文给出了具有聚集的逻辑程序的回答集的两个等价定义。这些定义建立在聚集体展开的概念上，它们旨在创建将具有聚集体的逻辑程序转换为正常逻辑程序或正程序的方法，其回答集语义可以用于定义原始程序的语义。第一个定义提供了另一种观点的语义逻辑编程与聚合描述Pelov等人。第二个定义是类似于传统的回答集定义正常的逻辑程序，在这一点上，给定一个逻辑程序与聚合和解释，展开过程产生一个积极的程序。本文展示了如何将这一定义扩展到考虑聚集在头部的规则。所提出的具有聚集的逻辑编程的观点是简单的，并且与最终稳定模型语义以及大类程序的其他语义表征（例如，具有单调聚集的程序和聚集分层的程序）。此外，它可以直接用于支持使用可用的答案集求解器的实现。本文描述了一个名为ASP^A的系统，该系统能够计算具有任意（例如，递归定义的）聚集。
2006-05-09 cs.AI cs.SE
Every Formula-Based Logic Program Has a Least Infinite-Valued Model
Universität Tübingen（图宾根大学）；Wilhelm-Schickard-Institut（威廉·席卡德研究所）
每一个确定的逻辑程序都有一个关于程序独立排序“集合包含”的最小Herbrand模型作为其意义。在正常的逻辑程序的情况下，一般不存在最小模型。然而，根据Rondogiannis和Wadge最近的一种方法，他们考虑了无限值模型，每个正常的逻辑程序都有一个关于程序独立排序的最小模型。我们表明，这种方法可以扩展到基于公式的逻辑程序（即，A \leftarrowF形式的规则的有限集合，其中A是原子，F是任意的一阶公式）。我们为给定的程序P构造了一个解释M_P，并表明它是P的所有模型中最小的。关键词：逻辑编程、程序语义、失败即否定、无限值逻辑、集合论
2011-08-31 cs.AI cs.LO
Rules, Belief Functions and Default Logic
Queen Mary and Westfield College（玛丽女王与韦斯特菲尔德学院）
本文描述了一个基于信念函数的规则自然框架，它包括数值规则、缺省规则、允许和不允许对位的规则。特别是它证明了使用的Dempster-Shafer理论代表一个特定的类别的规则，信念计算是一个较低的概率给定一定的独立性假设的基础空间。它显示了如何一个信念函数框架可以推广到其他逻辑，包括一般的蒙特卡罗算法计算信念，以及如何一个版本的赖特的默认逻辑可以被视为一个限制情况下的信念函数形式主义。
2013-03-27 cs.AI
Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
Vienna University of Technology（维也纳工业大学）
该研究针对命题Krom逻辑程序，给出了其最小模型、包含关系与一致等价的代数刻画结果。
2023-12-11 cs.AI cs.LO
Introduction to the 26th International Conference on Logic Programming Special Issue
IMDEA Software Institute（IMDEA软件研究所）；U. Politécnica de Madrid (UPM)（马德里理工大学）；University of Potsdam（波茨坦大学）
这是第26届逻辑程序设计国际会议特刊的序言
2010-08-10 cs.AI cs.LO
On syntactically similar logic programs and sequential decompositions
本文从逻辑程序的序列分解出发构建语法相似性的定性与代数概念，证明其可通过一步归约实现跨领域查询解答，推动了逻辑程序代数理论的发展。
2023-12-11 cs.AI cs.LO
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2021的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
2021-09-15 cs.AI cs.LO
Extremal problems in logic programming and stable model computation
本文研究如下问题：给定一类逻辑程序C，确定C程序的最大稳定模型数。我们建立了最大值的类的所有逻辑程序与最多n个条款，并为类的所有逻辑程序的大小最多n。我们还表征的方案，达到最大值。我们得到了类似的结果为类的所有析取逻辑程序与最多n个条款，每个长度最多m，和类的所有析取逻辑程序的大小最多n。我们在逻辑程序上的结果对于设计计算稳定模型的算法有直接的意义。几个这样的算法，在精神上类似的戴维斯-普特南程序，在本文中描述。我们的结果意味着，有一个算法，找到所有的稳定模型的程序与n个条款后，考虑搜索空间的大小为O（3^{n/3}）的最坏情况。我们的研究结果也提供了一些见解的可表示性问题的家庭的集合作为家庭的稳定模型的逻辑程序。
1999-01-25 cs.AI cs.LO
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
Università di Pisa（比萨大学）；Imperial College London（帝国理工学院）；University of Amsterdam（阿姆斯特丹大学）
给出了带约束的溯因逻辑程序设计的CIFF证明过程，并证明了其正确性。CIFF是溯因逻辑编程的IFF证明过程的扩展，放松了对变量量化（允许条件）的原始限制，并结合了约束求解器来处理约束逻辑编程中的数值约束。最后，我们描述了CIFF系统，将其与最先进的溯因系统和答案集求解器进行比较，并展示了如何使用它来编程一些应用程序。(To《逻辑程序设计理论与实践》（Theory and Practice of Logic Programming，TPLP）
2009-06-05 cs.AI cs.LO
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Universidad Politécnica de Madrid（马德里理工大学）；Technische Universität Wien（维也纳技术大学）
平衡逻辑是一种非单调推理的方法，它扩展了逻辑程序的稳定模型和答案集语义。特别是，它包括嵌套逻辑程序的一般情况下，任意布尔组合是允许在头部和身体的规则，作为特殊类型的理论。在本文中，我们提出了多项式减少的主要推理任务与平衡逻辑和嵌套的逻辑程序到量化命题逻辑，扩展经典命题逻辑的原子公式的量化是允许的。我们不仅为决策问题提供约简，而且为平衡逻辑和嵌套逻辑程序的中心语义概念提供约简。特别是，我们的编码映射一个给定的决策问题到一些公式，后者是有效的，正是在前者举行。我们在这里处理的基本任务是一致性问题，勇敢推理和怀疑推理。此外，我们还提供了编码测试等价的理论或程序下的不同概念的等价性，即普通，强，一致等价。对于所有考虑的推理任务，我们分析了它们的计算复杂性，并给出了严格的复杂性界限。
2009-06-13 cs.AI cs.LO
Introduction to the 28th International Conference on Logic Programming Special Issue
Univ. di Udine（乌迪内大学）；CRACS（高级计算研究中心）；INESC-TEC（葡萄牙系统与计算机工程研究所-技术与科学）；Univ. do Porto（波尔图大学）
我们很自豪地介绍这期《逻辑编程理论与实践杂志》（TPLP）的特刊，致力于第28届逻辑编程国际会议（ICLP）的论文全文。ICLP会议于1982年在马赛开始，此后成为介绍和讨论逻辑编程领域工作的主要场所。
2012-10-15 cs.AI cs.PL
Interdefinability of defeasible logic and logic programming under the well-founded semantics
Wright State University（莱特州立大学）；The University of Georgia（佐治亚大学）
我们提供了一种将努特的可废止逻辑理论转化为逻辑程序的方法，以及相应的反方向的翻译。在一定的自然约束下，歧义传播可废止逻辑ADL下的可废止理论的结论与正常逻辑程序的良基语义的结论是一致的，这说明这两种形式主义是密切相关的。使用逻辑程序到可废止理论的相同翻译，用于歧义性阻塞可废止逻辑NDL的语义可以被视为间接地为逻辑程序提供歧义性阻塞语义。我们还提供反单调算子的ADL和NDL，每个基于Gelfond-Lifschitz（GL）运营商的逻辑程序。对于没有规则上的失败者或优先级的可废止理论，ADL的运算符对应于GL运算符，因此可以被视为根据ADL部分捕获结果。类似地，NDL的运算符根据NDL捕获结果，尽管在这种情况下对理论没有限制。这两个算子都可以用来定义可废止理论的稳定模型语义。
2011-06-10 cs.AI cs.LO
Propositional theories are strongly equivalent to logic programs
本文给出了在回答集语义下命题理论的一个性质（一般语法称为均衡逻辑）：任何理论总是可以被重新表示为强等价的析取逻辑程序，可能在头部带有否定。我们提供了两个不同的证明这一结果：一个涉及到一个句法转换，和一个，构建一个程序从这里和那里的中间逻辑的理论的反模型。
2007-01-16 cs.AI cs.LO
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation
Institute of Philosophy II, Ruhr Universität Bochum（波鸿鲁尔大学第二哲学研究所）；Ruhr Universität Bochum（波鸿鲁尔大学）
在本文中，我们作出的贡献，统一的形式模型的可废止推理。我们提出了几个翻译之间的正式论证框架和非单调逻辑推理合理的假设。更具体地说，我们将自适应逻辑转换为基于推理的论证，将ASPIC+、ASPIC+转换为基于推理的论证，将基于推理的论证的一个片段转换为自适应逻辑。自适应逻辑与梅金森的默认假设密切相关，并且与KLM和Shoham的偏好语义传统中的一类重要系统密切相关。因此，我们的研究结果也提供了正式的论证和后者的方法之间的密切联系。
2016-04-01 cs.AI cs.LO
