Tuning Fuzzy Logic Programs with Symbolic Execution
模糊逻辑程序设计是一个不断发展的声明性范例，旨在将模糊逻辑集成到逻辑程序设计中。当指定一个模糊逻辑程序时，最困难的任务之一是确定每个规则的正确权重，以及最合适的模糊连接词和运算符。在本文中，我们介绍了一个符号扩展的模糊逻辑程序，其中一些参数可以是未知的，使用户可以很容易地看到他们可能的价值观的影响。此外，给定多个测试用例，可以自动计算这些参数的最合适的值。
2016-08-16 cs.LO cs.PL
Predicate Specialization for Definitional Higher-order Logic Programs
高阶逻辑编程是传统逻辑编程的一个有趣的扩展，它允许谓词作为参数出现，并在谓词通常出现的地方使用变量。高阶特性确实是理想的，但另一方面，它们的支持通常也更昂贵。在本文中，我们提出了一个程序专业化技术的基础上，部分评估，可以适用于一个温和的，但有用的类高阶逻辑程序，并可以将它们转换为一阶程序，而无需引入额外的数据结构。由此产生的一阶程序可以由传统的逻辑编程解释器执行，并受益于其他可能可用的优化。我们提供了一个实施和实验结果，表明转换的效率。
2018-12-01 cs.LO cs.PL
Composing Programs in a Rewriting Logic for Declarative Programming
基于构造器的条件重写逻辑是一个集成一阶泛函和逻辑程序设计的通用框架，它为非确定性泛函-逻辑程序提供了一种代数语义。在这种形式主义的背景下，我们引入了一个简单的概念，程序模块作为一个开放的程序，可以扩展与几种机制结合起来。这些机制是基于一组减少的操作。然而，这些操作的高表达性使我们能够以简单的方式为程序模块化建模典型的构造，如隐藏，导出/导入，泛型/实例化和继承。我们还通过引入一个直接结果运算符来处理该建议的语义方面，并在逻辑编程的路线上研究基于该运算符的程序模块的几种替代语义：运算符本身，它的最小不动点（模块的最小模型），其前缀定点的集合（模块的术语模型）和一些其他变体，以便找到一个组合的和完全抽象的语义wrt的操作集和一个自然的可观察性概念。
2002-03-04 cs.LO cs.PL
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
本卷是第26届函数和逻辑编程国际研讨会（WFLP 2018）的预录。它是由程序委员会选出的在研讨会上发表的论文组成的。经过研讨会的讨论，项目委员会将选择一些论文邀请第二轮评审和选择的正式程序。
2018-10-01 cs.LO cs.PL
A Three-Valued Semantics for Typed Logic Programming
逻辑编程中的类型一方面关注常规类型对程序语义的保守近似，另一方面关注基于为类型化程序定义的规定语义的类型系统。在本文中，我们定义了一个新的语义逻辑编程，程序评估为真，假，并称为错误的一个新的语义值，对应于一个运行时类型错误。这样我们就有了一种具有分离的类型语义的类型语言。最后，我们定义了一个类型系统的逻辑编程，并证明它是语义上的声音相对于程序和类型之间的语义关系，如果一个程序有一个类型，那么它的语义是没有错的。我们的工作遵循米尔纳的方法类型的函数语言的语义程序是独立的类型的语义，类型系统被证明是健全的两个语义之间的关系。
2019-09-18 cs.LO cs.PL
An Expressive Trace Logic for Recursive Programs
本文提出一种基于迹公式的可表达逻辑，为递归程序提供组合式指称语义和证明演算，并建立程序与公式间的 Galois 连接，揭示程序构造与逻辑连接词的对应关系。
2024-11-20 cs.LO cs.SE
Defining Rough Sets by Extended Logic Programs
我们展示了如何明确的扩展逻辑程序可以用于定义和推理粗糙集。此外，粗糙集特定的查询语言和应答算法的概述。因此，我们不仅展示了一个可能的应用程序的次协调逻辑领域的粗糙集，因为我们也建立了粗糙集理论和逻辑编程之间的联系，使两个领域之间的专业知识转移。
2002-07-25 cs.LO cs.PL
The Logic of Logic Programming
本文主张逻辑编程的本质是归纳定义逻辑而非经典逻辑的 Horn 子句子逻辑，并以此解释 Prolog 程序与数学归纳定义的根本相似性，为相关语义问题提供自然解答。
2023-04-26 cs.LO
Extensional Higher-Order Logic Programming
University of Athens（雅典大学）；University of Victoria（维多利亚大学）
我们提出了一个纯粹的扩展语义高阶逻辑编程。在这个语义中，程序谓词表示有序元组的集合，两个谓词相等当且仅当它们作为集合相等。此外，每个程序都有唯一的最小Herbrand模型，它是程序所有Herbrand模型的最大下界，也是直接结果算子的最小不动点。我们还提出了一个SLD分辨率证明程序，这是证明的声音和完整的最小模型语义。换句话说，我们提供了一个纯粹的扩展的理论框架，高阶逻辑编程的经典（一阶）逻辑编程的熟悉的理论。
2011-06-17 cs.AI cs.LO cs.PL
Program Logics for Homogeneous Generative Run-Time Meta-Programming
本文提供了同构生成运行时间元编程的第一个程序逻辑-使用Davies和Pfenning的MiniML变体作为其底层Meta程序设计语言。我们证明了我们的方法的适用性推理的例子元程序从文献。我们还证明了我们的逻辑是相对完整的库克意义上，使归纳推导的特征公式，并准确地捕捉观察属性诱导的操作语义。
2017-03-29 cs.LO
Logic Programming Semantics for Causal Processes
German University Of Digital Science Potsdam（德国波茨坦数字科学大学）
研究逻辑程序设计语义与因果过程最终状态的关系，指出正逻辑程序稳定模型对应特定过程最终状态，支持模型描述任意起点可达状态，为逻辑程序设计语义讨论提供新视角及时间维度。
2026-07-24 cs.AI cs.LO cs.PL
Category theoretic semantics for theorem proving in logic programming: embracing the laxness
命题逻辑程序$P$可以用程序中的原子命题集合上的$P_fP_f$ -余代数来标识。相应的$C(P_fP_f)$ -余代数，其中$C(P_fP_f)$是$P_fP_f$上的余自由余代数，描述了归结导子.使用宽松的语义，这种对应关系可以扩展到一类没有存在变量的一阶逻辑程序。由此产生的扩展捕获逻辑编程中的术语匹配分辨率的证明。完善宽松的方法，我们进一步扩展到任意逻辑程序。我们还展示了一个完善的Bonchi和Zanasi的饱和语义逻辑编程，补充宽松的语义。
2016-02-17 cs.LO
Stable models and an alternative logic programming paradigm
在本文中，我们重新审视的地方和作用的稳定模型语义在逻辑编程和对比，它与最少Herbrand模型的方法霍恩程序。我们证明了稳定模型语义的固有特征自然会导致一个逻辑编程系统，提供了一个有趣的替代更传统的逻辑编程风格的霍恩逻辑编程，分层逻辑编程和逻辑编程与良好的基础语义。所提出的方法是基于程序条款的约束的解释。在这种情况下，程序不描述一个单一的预期模型，而是一系列稳定的模型。这些稳定的模型编码解决方案的约束满足的问题所描述的程序。我们的方法对逻辑程序的语法施加了限制。特别是，函数符号被从语言中删除。我们认为，由此产生的逻辑编程系统是很好地协调NP类的问题，有一个定义明确的应用领域，和一个新兴的编程方法。我们指出，是什么使整个方法可行的算法来计算命题逻辑程序的稳定模型的实现的最新进展。
1998-09-18 cs.AI cs.LO
Syntax and semantics of multi-adjoint normal logic programming
本文提出了多伴随正规逻辑程序，通过在底层格中引入否定算子扩展了原有框架，并给出了其语法语义及确保稳定模型存在性与唯一性的充分条件。
2024-09-24 cs.LO math.LO
Logic programs with monotone cardinality atoms
我们研究的MCA程序，即逻辑程序的条款建立的单调基数原子的形式kX，其中k是一个非负整数和X是一个有限的命题原子集。我们发展了一个多学科计算机辅助设计的理论。我们证明了一步可证明性算子的操作概念可以推广到mca-程序，但是推广涉及到不确定性。我们的主要结果表明，MCA程序的形式主义是一个共同的推广（1）正常的逻辑程序设计与其语义的模型，支持的模型和稳定的模型，（2）逻辑程序设计与基数原子和语义的稳定模型，定义的Niemela，Simons和Soininen，（3）析取逻辑程序设计与Sakama和井上的可能模型语义。
2003-10-31 cs.LO
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
该研究证明稳定模型语义下逻辑程序的射影Beth可定义性定理，提出通过一阶Craig插值构造强等价程序的方法，并通过原型实现验证其可行性，推动可定义性与插值方法向回答集编程的迁移应用。
2024-04-28 cs.LO
A Logic for Recursive Quantum Programs
大多数现代（经典）程序设计语言都支持递归。递归也被成功地应用于几种量子算法的设计，并被引入到几种量子程序设计语言中。因此，可以预期递归将成为量子编程的基本范式之一。已经开发了几种程序逻辑用于验证非递归量子程序。然而，在量子计算中，还没有通用的方法来推理递归过程。我们填补了空白，本文提出了一个递归量子程序的逻辑。该逻辑是量子While程序的量子霍尔逻辑的推广。证明了该逻辑的（相对）完备性，并通过一个运行的例子：不动点Grover搜索证明了其有效性。
2018-12-10 cs.LO
P$ρ$Log: a system for rule-based programming
在本文中，我们给出了一个简短的概述，基于规则的编程系统，称为P $ρ$日志，并说明其功能。
2021-09-03 cs.LO
Extended multi-adjoint logic programming
本研究提出扩展多伴随逻辑程序设计范式，纳入约束与特殊聚合算子，给出语法语义，并提出转换为多伴随正规逻辑程序的机制，建立稳定模型关联，实现相关理论的迁移应用。
2024-10-07 cs.LO math.LO
Foundations of logic programming in hybrid-dynamic quantum logic
本文提出一种简单且富有表达力的混合动态逻辑用于描述量子程序，研究其中的 Horn 子句并证明初始语义定理，进而通过证明 Herbrand 定理变体奠定了该逻辑片段中量子程序逻辑编程的基础。
2024-06-04 cs.LO
Binary Non-Termination in Term Rewriting and Logic Programming
该研究提出一种新的句法准则，可在包含简化项重写与逻辑编程的抽象场景中实现非终止性的自动检测。
2023-07-21 cs.LO
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
本卷构成了第28届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2018），于2018年9月4日至6日在美因河畔法兰克福举行，德国，并与第20届声明式编程原则和实践国际研讨会同地举行（PPDP 2018）和第26届函数和逻辑编程国际研讨会（WFLP 2018）。
2018-09-11 cs.LO
Logic programs with monotone abstract constraint atoms
本文介绍并研究了子句由单调约束原子构成的逻辑程序。我们表明，一步证明算子的操作概念推广到单调约束原子的程序，但推广涉及非确定性。我们的主要结果表明，我们的形式化是一个共同的推广（1）正常的逻辑编程与其语义的模型，支持的模型和稳定的模型，（2）逻辑程序与重量原子（lparse程序）的语义的稳定模型，定义的Niemela，Simons和Soininen，（3）析取逻辑编程与可能的模型语义的Sakama和井上。
2006-08-25 cs.AI cs.LO
Tractable reasoning about Agent Programming in Dynamic Preference Logic
虽然在Agent编程领域已经提出了几种BDI逻辑，但尚不清楚这些逻辑如何连接到它们应该指定的Agent程序。更重要的是，这些逻辑中的推理问题，基于模态逻辑，一般来说是不容易处理的，限制了它们的使用来解决现实世界的问题。在这项工作中，我们使用的动态偏好逻辑BDI代理程序设计语言提供了一个语义基础，并调查这个逻辑的易处理的表达片段的原因代理程序。有了这一点，我们的目标是提供一种实现语义接地代理程序设计语言与易处理的推理周期的方式。
2019-11-14 cs.LO cs.MA
An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions
LMU München（慕尼黑大学）
概率逻辑编程是统计关系型人工智能的重要组成部分，其中将逻辑和概率方法结合在一起，在不确定性环境中推理和学习关系域。然而，跨可变域大小的统计关系表示的行为是复杂的，并且将推理和学习扩展到大型域仍然是一个重大挑战。近年来，域大小依赖、提升推理和从抽样子群体中学习之间出现了联系。统计关系表示的渐近行为已经受到审查，和投影被调查的最强形式的域大小的依赖，其中查询边际是完全独立的域大小。在这篇文章中，我们证明了每一个概率逻辑程序下的分布语义是渐近等价于一个非循环的概率逻辑程序只包括确定条款的概率事实。我们的结论是，每一个概率逻辑程序诱导一个投影族的分布，实际上是处处等价于一个程序从这个片段，我们调查的后果，为投影族的分布概率逻辑程序表示。为了方便应用的经典结果从有限模型理论，我们引入了抽象的分布语义，定义为一个任意的逻辑理论概率事实。这弥合了与概率逻辑编程基础的分布语义之间的差距。在这种表示中，确定性逻辑程序对应于无量词理论，使得渐近量词消去结果可用于概率逻辑编程的设置。本文件正在考虑被TPLP接受。
2021-08-18 cs.AI cs.LO cs.PL
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning
介绍了一种称为N^4的一阶逻辑的模型理论。N^4并不像经典逻辑那样消除双重否定，而是减少了四重否定。N^4非常接近经典逻辑：N^4有两个真值; N^4中的蕴涵是实质性的，就像在经典逻辑中一样;否定分布在N^4中的复合公式中，就像在经典逻辑中一样。结果表明，正规逻辑程序的语义可以方便地用N^4形式化：经典逻辑Herbrand解释可以直接推广到N^4;正逻辑程序的经典最小Herbrand模型与其唯一的最小N^4 Herbrand模型一致;正规逻辑程序的稳定模型与其所谓的完全最小N^4 Herbrand模型一致.
2002-07-25 cs.LO
Coalgebraic Semantics for Probabilistic Logic Programming
本文提出概率逻辑编程的余代数语义，通过函子F的余代数建模程序，并利用余自由余代数给出推导树与可能世界两种语义，可恢复分布语义，并扩展至加权逻辑编程。
2021-04-09 cs.LO
An SMT-Based Concolic Testing Tool for Logic Programs
Concolic测试混合了符号和具体执行，以有效地生成覆盖路径的测试用例。它的好处已经证明了超过15年的测试迫切的程序。其他编程范式，如逻辑编程，受到的关注较少。本文提出了一种基于concolic的逻辑程序测试生成方法。我们的方法利用SMT解决约束决议。然后，我们描述了一个concolic的Prolog测试工具的实现，并验证它在一些选定的基准。
2020-02-17 cs.LO
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
Termination Proofs for Logic Programs with Tabling
表格逻辑编程在逻辑编程社区中越来越受到关注。它避免了SLD执行的许多缺点，并为逻辑程序提供了一种更灵活且通常非常有效的执行机制。特别地，逻辑程序的表格执行比基于SLD解析的执行更频繁地终止。在这篇文章中，我们介绍了两个概念的通用终止逻辑编程与Tabling：准终止和（更强的概念）LG终止。我们提出了这两个概念的终止，即准可接受性和LG-可接受性的充分条件，我们表明，这些条件也是必要的情况下，制表是精心挑选的。从这些条件出发，我们给出了模终止证明，即，证明能够组合单独程序的终止证明以获得组合程序的终止证明。最后，在模式信息的存在下，我们陈述了充分条件，这些条件构成了以基于约束的方式自动证明终止的基础。
2000-03-09 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
On syntactically similar logic programs and sequential decompositions
本文从逻辑程序的序列分解出发构建语法相似性的定性与代数概念，证明其可通过一步归约实现跨领域查询解答，推动了逻辑程序代数理论的发展。
2023-12-11 cs.AI cs.LO
Logic programming: laxness and saturation
命题逻辑程序$P$可以用程序中的原子命题集合上的$P_fP_f$ -余代数来标识。相应的$C(P_fP_f)$ -余代数，其中$C(P_fP_f)$是$P_fP_f$上的余自由余代数，描述了归结导子.这种对应关系已经发展到两种方式，松散的语义和饱和的语义，局部有序的范畴和右Kan扩展的基础上，分别建模一阶程序。我们统一了这两种方法，展示它们作为互补而不是竞争，反映了逻辑编程的定理证明和证明搜索方面。在保持这种统一性的同时，我们进一步改进了松弛语义，给出了具有存在变量的逻辑程序的有限模型，并在逻辑程序中的变量和局部状态的世界之间建立了精确的语义关系。
2016-08-30 cs.LO
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
将程序作为数据处理是函数和逻辑编程的成功之一。高阶函数，如函数式编程中的程序处理程序，以及元程序，如逻辑编程中的元程序，是广泛使用的声明式编程技术。在逻辑编程中，元编程实践与其理论之间存在差距：元编程的形式化并没有明确地解决其不可预测性，并且并不充分。本文旨在克服这种不令人满意的情况，讨论的相关性impredictivity元编程，通过重新审视以前的形式化元编程和定义反射谓词逻辑，一阶逻辑的保守扩展，它提供了一个简单的形式化元编程。
2020-04-18 cs.LO
Optimizing Probabilities in Probabilistic Logic Programs
本文提出概率可优化逻辑程序，并给出算法，在满足约束下优化随机变量概率赋值，以解决概率逻辑编程中的概率优化问题。
2021-08-06 cs.LO
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
CIFASIS-CONICET（国家科学和技术研究委员会联邦应用科学研究所）
{log}通过扩展成为形式验证环境，实现了从约束逻辑编程语言到自动证明系统的无缝集成。
2026-03-12 cs.LO
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
本卷包含了在第19届研讨会上提出的论文基于逻辑的方法在编程环境（WLPE'09），这是在帕萨迪纳举行，美国，2009年7月14日。WLPE旨在为研究基于逻辑的方法和工具的研究人员提供一个非正式会议，以支持程序开发和分析。今年，我们继续并巩固了从逻辑编程的环境工具到一般编程的基于逻辑的环境工具的重点转移，因此这个研讨会可能对更广泛的科学界感兴趣。所有提交给WLPE'09的论文都经过了仔细的同行评审，每篇论文至少经过三次评审，随后在项目委员会进行了深入讨论。
2010-02-24 cs.LO
Learning logic programs by combining programs
University of Oxford（牛津大学）
针对归纳逻辑程序设计难以学习多规则、多文字程序的问题，本文提出先学习小型不可分离程序再加以组合的约束驱动 ILP 方法，支持最优、递归程序及谓词发明，并在多领域显著提升准确率与学习速度。
2023-08-17 cs.AI cs.LG cs.LO
Propositional satisfiability in answer-set programming
我们表明，命题逻辑及其扩展可以支持答案集编程的方式一样，稳定的逻辑编程和析取逻辑编程。为此，我们介绍了一个逻辑的基础上的逻辑命题图式和封闭世界假设的一个版本。我们称之为CWA（PS+，符号）命题图式的扩展逻辑。这种逻辑的一个重要特征是它支持对集合基数的约束进行显式建模。在本文中，我们刻画了一类问题，可以解决的有限PS+理论。我们实现了一个基于PS+逻辑的编程系统，并在PS+中设计和实现了一个处理理论的求解器。我们提出了令人鼓舞的性能结果，我们的方法-我们表明，它是有竞争力的模型，一个国家的最先进的答案集编程系统的基础上稳定的逻辑编程。
2001-07-19 cs.AI cs.LO
DeepStochLog: Neural Stochastic Logic Programming
KU Leuven（鲁汶大学）；Örebro University（厄勒布鲁大学）
神经符号学习的最新进展，如DeepProbLog，用神经谓词扩展了概率逻辑程序。像图形模型一样，这些概率逻辑程序定义了可能世界上的概率分布，对于这种概率分布，推理在计算上是困难的。我们提出了DeepStochLog，一个替代的神经符号框架的基础上随机确定子句语法，一种类型的随机逻辑程序，它定义了一个概率分布在可能的推导。更具体地说，我们将神经语法规则引入到随机定冠词语法中，以创建一个可以端到端训练的框架。我们发现，推理和学习神经随机逻辑编程规模远远优于神经概率逻辑程序。此外，实验评估表明，DeepStochLog在具有挑战性的神经符号学习任务上取得了最先进的结果。
2021-06-23 cs.AI cs.LO
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
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
答案集编程是一个突出的声明式编程范式，用于制定组合搜索问题和实现不同的知识表示形式主义。对于一个给定的问题，通常会有几个相关但又有很大不同的答案集程序。有时这些编码可能会显示出显著不同的性能。揭示这些程序之间精确的形式联系通常很重要，但远非微不足道。本文提出了正式的结果仔细有关一些有趣的程序重写。为了提高效率，本文还对系统Projector自动重写程序的正确性进行了证明。逻辑程序设计理论与实践（TPLP）
2021-09-07 cs.AI cs.LO
Learning logic programs by finding minimal unsatisfiable subprograms
University of Oxford（牛津大学）
针对归纳逻辑编程的搜索问题，提出通过识别极小不可满足子程序剪枝搜索空间的方法，在多领域实验中可将学习时间减少99%。
2024-01-29 cs.LG cs.LO
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
University of Corunna, Spain（科鲁纳大学）；University of Angers, France（昂热大学）；University of Barcelona, Spain（巴塞罗那大学）；University of Potsdam, Germany（波茨坦大学）
本文通过时态平衡逻辑探讨时态答案集编程的逻辑基础，将直觉逻辑与时态逻辑编程相结合，提出新的研究方向。
2026-03-16 cs.AI cs.LO
Generating Random Logic Programs Using Constraint Programming
University of Edinburgh（爱丁堡大学）；Alan Turing Institute（艾伦·图灵研究所）
在广泛的问题实例中测试算法对于确保任何关于一种算法优于另一种算法的说法的有效性至关重要。然而，当涉及到概率逻辑程序的推理算法时，实验评估仅限于少数程序。现有的生成随机逻辑程序的方法仅限于命题程序，并且通常施加严格的语法限制。提出了一种利用约束编程生成随机逻辑程序和随机概率逻辑程序的新方法，引入了一个新的约束来控制底层概率分布的独立结构.我们还提供了一个组合参数的模型的正确性，显示模型的规模与参数值，并使用该模型来比较概率推理算法在一系列的合成问题。我们的模型允许推理算法开发人员在广泛的实例中评估和比较算法，提供其（比较）优势和劣势的详细信息。
2020-09-11 cs.AI cs.LO
Relativized hyperequivalence of logic programs for modular programming
University of Kentucky（肯塔基大学）；Technische Universität Wien（维也纳工业大学）
最近的框架相对化hyperequivalence的程序提供了一个统一的推广强和一致的等价。它似乎特别适合于程序优化和模块化编程中的应用，因为它的灵活性允许我们在上下文程序中相互独立地限制头部和主体字母表。本文研究了逻辑程序的稳定、支持和支持最小模型的三种语义的相对化超等价性。对于每一种语义，我们确定四种类型的上下文，这取决于头部和身体字母是直接给出的还是作为给定集合的补充。超等价相对于上下文的头部和身体字母直接指定已经研究过。在本文中，我们建立了相对于其他三种类型的上下文程序决定相对化超等价的复杂性。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
2009-07-23 cs.AI cs.LO
Abstract argumentation and answer set programming: two faces of Nelson's logic
University of Nebraska Omaha（内布拉斯加大学奥马哈分校）；IRIT（图卢兹计算机科学研究所）；Université de Toulouse（图卢兹大学）；CNRS（法国国家科学研究中心）
在这项工作中，我们表明，逻辑编程和抽象的论证框架可以解释纳尔逊的建设性逻辑N4。在这种逻辑中，我们通过形式化两个原则来做到这一点，我们称之为非矛盾推理和加强的封闭世界假设：第一个原则指出，任何信念都不能基于矛盾的证据，而后者则迫使未知和矛盾的证据都被视为错误。使用这些原则，逻辑程序设计和抽象论证框架都以模块化的方式并使用对象语言转换为构造性逻辑。逻辑程序蕴涵和抽象论证支持在翻译中遵循不矛盾推理原则成为新的蕴涵连接词。然后，攻击通过将这个新的蕴涵与强否定相结合来表示。逻辑程序设计理论与实践（TPLP）
2022-03-27 cs.AI cs.LO
Learning MDL logic programs from noisy data
University of Oxford（牛津大学）；University of Helsinki（赫尔辛基大学）
针对归纳逻辑程序设计难以处理含噪数据的问题，提出从噪声中学习含递归结构的 MDL 程序的方法，并在多领域实验中取得更高预测准确率和适度噪声鲁棒性。
2023-08-18 cs.LG cs.LO
Loop Formulas for Description Logic Programs
Guizhou University（贵州大学）；University of Alberta（阿尔伯塔大学）
Eiter等人提出的描述逻辑程序（DL-programs）为语义Web提供了一种简洁而强大的形式化方法，用于集成回答集编程和描述逻辑。本文将逻辑程序的完备化和循环公式的概念推广到描述逻辑程序，并证明了dl-程序的完备化和循环公式的模型可以精确地捕捉到dl-程序的回答集。此外，我们提出了一个新的，替代的语义DL-程序，称为{ \em规范答案集语义}，这是由模型定义的完成，满足所谓的规范循环公式。规范答案集的一个理想性质是它们没有循环论证。本文还探讨了规范答案集的一些性质。
2010-07-23 cs.AI cs.LO
Memoization for Unary Logic Programming: Characterizing PTIME
我们给出了确定性多项式时间计算的一个特征的基础上的代数结构称为决议半环，其元素可以被理解为逻辑程序或一阶项重写规则集。更确切地说，我们研究的限制，这个框架的条款（和逻辑程序，重写规则）只使用一元符号。我们证明了它是完全的多项式时间计算，使用下推自动机的编码。然后，我们引入记忆化技术的代数对应物，以表明其PTIME的合理性。最后，我们将我们的方法和复杂性的结果，逻辑编程的复杂性。作为我们的技术的应用，我们展示了一个PTIME完整性的结果，一类逻辑编程查询只使用一元函数符号。
2015-02-04 cs.CC cs.LO math.LO
