首页/论文/cs/0511041

arXiv cs/05110412005-11-10cs.LO

具有缺省、弱和严格否定的逻辑程序设计

Logic Programming with Default, Weak and Strict Negations

Susumu Yamasaki

备注：: 14 pages, to appear in Theory and Practice of Logic Programming (TPLP)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文讨论了逻辑程序设计中的三种否定：缺省否定、弱否定和严格否定。讨论了具有三种否定的逻辑程序的三值逻辑模型理论。该过程是为否定而构造的，因此，根据三值逻辑模型理论，该过程是可靠的。

英文摘要：

This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于逻辑程序设计的说明性阅读的一点注记

A note on the Declarative reading(s) of Logic Programming

本文分析了逻辑程序设计的说明性阅读。逻辑编程--以及作为失败的否定--没有唯一的声明性阅读。一个普遍的观点是，逻辑编程是默认推理的逻辑，默认逻辑或自动认知逻辑的子形式主义。在这种观点中，作为失败的否定是一个模态算子。在另一种观点中，逻辑程序被解释为定义。在这种观点中，作为失败的否定是经典的客观否定。从常识的角度来看，这两种观点肯定是有区别的。令人惊讶的是，这两种类型的声明性阅读都导致了相同的模型语义。本说明调查了这一情况的原因。

2000-03-13cs.AIcs.LO

再论应答集程序设计中的显式否定

Revisiting Explicit Negation in Answer Set Programming

Universidade da Coruña（拉科鲁尼亚大学）；University of Toulouse（图卢兹大学）；CNRS（法国国家科学研究中心）；Universität Potsdam（波茨坦大学）；Universidad Politécnica de Madrid（马德里理工大学）

答案集编程中的一个共同特征是使用第二个否定，比默认否定更强，有时称为显式，强或经典否定。这种显式否定通常用于原子前面，而不允许将其用作常规运算符。本文考虑了Lifschitz、Tang和Turner定义的显式否定与嵌套表达式的任意组合。我们扩展了这个新的语法的简化的概念，然后证明它可以被捕获的扩展平衡逻辑与这第二个否定。我们研究了这个变体的一些性质，并与已知的平衡逻辑与纳尔逊的强否定的组合进行了比较。正在考虑接受TPLP。

2019-07-26cs.AIcs.LO

领域和概念层次上的缺省推理

Default reasoning over domains and concept hierarchies

W.C.圆和G。- Q. Zhang（2001）提出研究一种推广到代数域的析取逻辑编程形式。该系统允许推理的信息是分层结构，并形成一个（合适的）域。我们扩展这个框架，包括推理与默认否定，从而产生一个新的非单调推理框架的层次知识，其中包括答案集编程与扩展的析取逻辑程序。我们还表明，层次结构的知识，编程在这种模式下可以做的，产生非常自然的正式概念分析。总之，我们得到了一个默认的推理范式的概念知识，这是根据非单调推理的主流发展。

2004-09-01cs.AIcs.LO

逻辑程序因果证明中的使能因子和抑制因子

Enablers and Inhibitors in Causal Justifications of Logic Programs

University of Corunna（拉科鲁尼亚大学）

出现在逻辑编程理论与实践（TPLP）中。在本文中，我们提出了一个扩展的逻辑编程（LP），其中每个默认文字来自良好的基础模型相关联的理由表示为一个代数表达式。这个表达式包含因果解释（以规则标签构建的证明图的形式）和否定范围内的术语，这些术语代表启用或禁用因果规则应用的条件。使用一些例子，我们讨论了这些新的条件，我们分别称之为“使能”和“抑制剂”，是密切相关的默认否定，并有一个本质上不同的性质，从定期的因果关系。最重要的结果是一个正式的比较，最近的代数方法的理由在LP：“为什么不种源”（WESTERN）和“因果图”（CG）。我们表明，目前的方法扩展了WESTERN和CG的理由下的基础良好的语义，作为副产品，我们还建立了这两种方法之间的正式关系。

2016-02-22cs.AIcs.LO

在 s(CASP) 目标导向谓词回答集编程系统中建模道义模态逻辑

Modeling Deontic Modal Logic in ASP

The University of Texas at Dallas（德克萨斯大学达拉斯分校）；CETINIA, Universidad Rey Juan Carlos（CETINIA，雷耶·胡安·卡洛斯大学）

本文利用回答集编程中的默认否定和强否定直接表达道义模态算子，并通过全局约束表示义务、禁止和许可，解决了道义模态逻辑的经典悖论，并支持条件义务和条件禁止的知识表示。

2026-07-23cs.AIcs.LO

扩展逻辑程序设计的参数化论证语义层次及其在良基语义中的应用

A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics

论证已被证明是一个有用的工具，在定义基于论证的推理的形式语义时，将证明视为一个过程，在这个过程中，支持者和反对者通过削弱（攻击论点的前提）和反驳（攻击论点的结论）来攻击对方的论点。在本文中，我们制定了各种概念的攻击扩展的逻辑程序的底切和反驳的组合，并定义了一个一般层次的论证语义参数化的攻击的概念选择的支持者和对手。我们证明了语义之间的等价和子集关系，并检查了一些基本性质的一致性和连贯原则，它涉及默认否定和显式否定。最重要的是，我们把现有的语义在我们的层次结构中的文献中提出的，并确定一个特定的论证语义，我们证明等价的次协调有根据的语义明确否定，WFSX $_p$。最后，我们提出了一个一般的证明理论，基于对话树，并表明它是健全的和完整的论证语义。

2003-11-08cs.AIcs.LO

更多相关论文收起更多论文

从论证框架到逻辑程序设计的语义学转换

Transfer of semantics from argumentation frameworks to logic programming A preliminary report

有各种有趣的语义（扩展）的论证框架设计。它们能够赋予一个含义，例如，到奇数周期。我们的主要动机是通过缺省否定将Baroni，Giacomin和Guida提出的奇长循环结构的语义转换为奇长循环的逻辑程序。发达的建设更加强大。对于一个给定的逻辑程序的论证框架的定义。该构造使得能够将所得到的论证框架的每个语义转换为给定逻辑程序的语义。建设的弱点进行了讨论，并概述了这种方法的一些未来的延续。

2011-08-26cs.LO

PDL、连接查询和单目否定一阶逻辑的共同祖先

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order Logic

Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR5800（波尔多大学）；Universidad de Buenos Aires, FCEN, DC & CONICET-UBA, ICC（布宜诺斯艾利斯大学）

本文研究了UCPDL+逻辑，其包含PDL扩展、连接查询和单目否定一阶逻辑，探讨了其表达能力、可满足性和模型检查问题。

2026-10-20cs.DBcs.LO

否定逻辑-完全交互式证明（认知决定者的形式理论）

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)

我们产生了一个可判定的经典正常模态逻辑的内在否定完全，从而析取非单调交互式证明（LDiiP）从现有的逻辑对应的非单调或即时交互式证明（LiiP）。LDiiP内化了以主体为中心的证明论，这些理论是否定完备的（最大的）和一致的（因此严格弱于例如皮亚诺算术），并享有析取属性（如直觉主义逻辑）。换句话说，内化证明论是超过滤器，所有内化证明目标都是确定的，通过析取内化证明（因此也称为认识决定者）对代理人来说是可证明或不可证明的。尽管如此，LDiiP本身是经典的（单调的，非构造性的），负不完全的，并且不具有析取性质。我们的交互式证明的否定完全性的代价是它们的非单调性和非公共性（仅适用于单例代理社区）。作为一个正常的模态逻辑，LDiiP享有一个标准的Kripke语义，我们证明通过调用选择公理的LiiP的，然后构造一个具体的预言计算功能。LDiiP的以代理人为中心的内在化证明概念也可以被视为标准KD 45信念的否定完全析取显式精化，并产生S4可证明性的析取但否定不完全显式精化。

2013-05-29cs.CRcs.DCcs.LO

DLV -一个陈述式问题求解系统

DLV - A System for Declarative Problem Solving

DLV是一个高效的逻辑编程和非单调推理（LPNMR）系统，具有先进的知识表示机制和经典关系数据库系统的接口。它的核心语言是具有完整性约束的答案集语义（Answer Set Semantics）下的析取数据库（无函数析取逻辑编程），包括默认和强（或显式）否定以及查询。还支持算术运算和各种内置谓词。此外，DLV有几个前端，即勇敢和谨慎的推理，溯因诊断，基于一致性的诊断，SQL 3的一个子集，使用动作语言进行规划，以及使用继承进行逻辑编程。

2000-03-08cs.AIcs.LO

LTL的探究式团队语义

Inquisitive Team Semantics of LTL

本文提出受探究逻辑启发的InqLTL团队语义，证明其带布尔否定时高度不可判定且表达力弱于带布尔否定的TeamLTL，同时找到一个可判定模型检验、可表达超性质的有意义片段。

2026-11-10cs.FLcs.LO

良基语义和广义稳定模型中的溯因

Abduction in Well-Founded Semantics and Generalized Stable Models

溯因逻辑程序设计提供了一种形式化的表达和解决问题的领域，如诊断，规划，信念修正和假设推理。表逻辑程序设计提供了一种计算机制，它提供了一种优于Prolog的声明性级别，并支持在诸如解析、程序分析和模型检验等领域的成功应用。在本文中，我们将展示如何使用表格逻辑编程来评估查询溯因框架的完整性约束时，这些框架包含默认和显式否定。其结果是能够在有明确否定和答案集的良好基础的语义上计算溯因。我们的方法包括一个转换和评估方法。该转换与程序中的每个目标文字$O$相邻，目标文字$not(O)$以及确保当且仅当$O$为假时$not(O)$为真的规则。我们把得到的程序称为{ \em dual}程序。然后，评估方法\wfsmeth对对偶程序进行操作。\wfsmeth{}是健全和完整的评估查询溯因框架的蕴涵方法是基于显式否定的良好的基础语义，或回答集。此外，\wfsmeth{}是渐近有效的任何已知的方法为任一类的问题。此外，当绑架是不希望的，\wfsmeth{}操作的双重程序提供了一种新的制表方法，用于评估查询地面扩展程序的复杂性和终止属性是类似的最好的制表方法的良好的基础语义。一个公开可用的元解释器已经开发了\wfsmeth{}使用XSB系统。

2003-12-24cs.AIcs.LO

条件逻辑作为一种短路逻辑

Conditional logic as a short-circuit logic

本文研究三值条件逻辑 CL 与短路逻辑的关系，刻画其左序列联结词所定义的逻辑，并给出 CL 的独立公理化。

2025-02-10cs.LO

带继承的选言逻辑程序

Disjunctive Logic Programs with Inheritance

本文提出了一种新的知识表示语言DLP<，它通过继承扩展了析取逻辑程序设计（具有强否定）。继承的增加增强了语言的知识建模功能，提供了带有异常的默认推理的自然表示。给出了DLP<的一种声明性模型论语义，它推广了析取逻辑程序的回答集语义.通过对经典非单调问题的编码说明了该语言的知识建模特点。分析了DLP<的复杂性，证明了继承不会引起任何计算开销，因为DLP<中的推理与析取逻辑程序设计中的推理具有完全相同的复杂性。这一点被从DLP<到普通析取逻辑编程的有效翻译的存在所证实。使用这种翻译，一个支持DLP<语言的高级KR系统已经在DLV系统上实现，随后被集成到DLV中。

2001-06-28cs.AIcs.LO

知识状态规划的逻辑程序设计方法：语义与复杂性

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity

我们提出了一种新的声明式规划语言，称为K，这是基于逻辑编程的原则和方法。在这种语言中，可以描述知识状态之间的转换，而不是完全描述的世界状态之间的转换，这使得语言非常适合在不完整的知识下进行规划。此外，它使默认原则在规划过程中的使用，支持否定失败。尽管如此，K还支持世界状态之间的转换的表示（即，完全知识的状态）作为特例，这表明语言是非常灵活的。正如我们在特定示例中所展示的，知识状态的使用可以允许自然和紧凑的问题表示。然后，我们提供了一个彻底的分析K的计算复杂性，并考虑不同的规划问题，包括标准规划和安全规划（也称为一致性规划）的问题。我们表明，这些问题有不同的复杂性下的各种限制，从NP到NEXPTIME的命题的情况下。我们的结果形成了DLV^K系统的理论基础，该系统在DLV逻辑编程系统之上实现了K语言。

2001-12-05cs.AIcs.LO

第一届学习与非单调推理国际研讨会论文集

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning

知识表示与推理和机器学习是人工智能的两个重要领域。非单调逻辑程序设计（NMLP）和回答集程序设计（ASP）为常识知识的表示和推理提供了形式语言，实现了人工智能中的声明式问题求解。另一方面，归纳逻辑程序设计（ILP）在逻辑程序设计中实现了机器学习，为归纳学习提供了形式化的背景，并将其应用于关系学习和数据采掘等领域。一般来说，NMLP和ASP实现了非单调推理，但缺乏学习能力。相反，ILP实现了归纳学习，而大多数技术都是在经典单调逻辑下发展起来的。在这种背景下，一些研究者试图将各种技术结合到非单调ILP中。这样的组合将引入一个学习机制的程序，并将利用新的应用程序的NMLP侧，而在ILP侧，它将扩展的表示语言，使我们能够使用现有的求解器。学习和非单调推理之间的交叉也可以发生在诸如使用答案集求解器用于ILP、在运行答案集求解器时加速学习、学习动作理论、学习动力系统中的转换规则、溯因学习、学习具有抑制的生物网络以及涉及默认和否定的应用中。该研讨会是首次尝试提供一个公开论坛，以确定问题和讨论具有互补专长的研究人员之间可能的合作。该研讨会于2013年9月15日在西班牙Corunna举行。这篇论文集包含五篇技术论文（六篇被接受的论文中的五篇）和Luc De Raedt邀请演讲的摘要。

2013-11-19cs.AIcs.LGcs.LO