文章

强等价逻辑程序

作者:

弗拉基米尔利夫席茨,

大卫皮尔斯、和

阿古斯汀瓦尔弗德作者信息和声明

ACM计算逻辑汇刊（TOCL）,体积2,问题4

页526-541

https://doi.org/10.1145/383779.383783

出版:2001年10月1日出版历史

获取访问权限

摘要

逻辑程序₁相当于逻辑程序∏₂在答案集语义意义上，如果∏₁和∏₂有相同的答案集。我们对以下更强的条件感兴趣：对于每个逻辑程序，∏，∏₁，∏∏具有与∏相同的答案集₂∪ Π. 研究强等价性是很重要的，因为我们从中学习到如何简化逻辑程序的一部分，而不必考虑其余部分。主要定理表明，验证强等价性可以通过检查单调逻辑中公式的等价性来完成，这种单调逻辑称为here-and-here逻辑，它介于经典逻辑和直觉逻辑之间。

工具书类

[1]

BIBEL，W.和EDER，E.，1993年。逻辑计算综述。《人工智能和逻辑编程中的逻辑手册》，D.Gabbay、C.Hogger和J.Robinson编辑，第1卷。牛津大学出版社，67-182。]]

[2]

ERDEM，E.AND LIFSCHITZ，V.1999年。与因果关系和计划相关的逻辑程序的转换。在逻辑程序设计和非单调推理：程序。第五届国际会议（1730年人工智能讲义）。107-116.]]

数字图书馆

[3]

GELFOND，M.AND LIFSCHITZ，V.1988年。逻辑编程的稳定模型语义。逻辑编程：程序。第五届国际会议和交响乐团。，R.Kowalski和K.Bowen，编辑1070-1080。]]

[4]

GELFOND，M.AND LIFSCHITZ，V.1991年。逻辑程序和析取数据库中的经典否定。新一代计算9，365-385。]]

数字图书馆

[5]

戈德尔，K.1932。Zum直觉主义Aussagenkalk ul。Wien的Anzeiger der Akademie der Wissenschaften，第65-66页。转载于：库尔特·戈德尔，作品集，第1卷，牛津大学出版社，1986年。]]

[6]

古列维奇，1977年。带有强烈否定的直觉逻辑。逻辑研究36，49-59。]]

[7]

海廷，A.1930。直觉主义逻辑规范。西茨。柏林，42-56。]]

[8]

INOUE，K.和SAKAMA，约1998年。否定是头脑中的失败。逻辑编程35，39-78。]]

[9]

KRACHT，M.1998年。关于中间逻辑的强否定扩张。哲学逻辑杂志27.]]

[10]

LIFSCHITZ，V.、TANG，L.R.和TURNER，H.1999。逻辑程序中的嵌套表达式。数学年鉴。和人工智能25，369-389。]]

数字图书馆

[11]

卢卡西维茨，J.1941。Die Logik und das Grundlagen问题。《1938年苏黎世科学与数学方法》，苏黎世，82-100。]]

[12]

NELSON，D.1949年。有建设性的虚假。J.塞姆。逻辑14，16-26。]]

[13]

PEARCE，D.1997年。稳定模型和答案集的一种新的逻辑表征。在逻辑编程的非单调扩展（人工智能1216讲义）中，J.Dix、L.Pereira和T.Przymusinski，Eds.Springer-Verlag，57-70。]]

数字图书馆

[14]

PEARCE，D.1999年。从这里到那里：逻辑编程中的稳定否定。在什么是否定？，D.Gabbay和H.Wansing，Eds.Kluwer。]]

[15]

皮尔斯，D.，德古兹曼，I.和瓦尔韦德，A.2000a。平衡蕴涵的表格演算。程序中。表LEAUX-2000。352-367.]]

数字图书馆

[16]

PEARCE，D.、DE GUZMAN，I.和VALVERDE，A.2000b。使用符号公式计算平衡模型。程序中。CL-2000。688-702.]]

数字图书馆

[17]

REITER，1980年修订。默认推理的逻辑。人工智能13，81-132。]]

数字图书馆

[18]

VOROB'EV，N.1952a。具有强否定的构造命题演算。Doklady Akademii Nauk SSSR 85，465-468。俄语。]]

[19]

VOROB’EV，编号1952b。强否定命题演算中的可演绎性问题。Doklady Akademii Nauk SSSR 85，689-692。俄语。]]

[20]

VOROB'EV，N.1964年。具有强否定的构造命题演算。《斯特克罗夫研究所学报》72，195-227。俄语。]]

引用人

麦地那J托恩-赞布拉诺J(2024)基于有序伴随对的多伴随逻辑程序设计中的偏好用于处理复杂问题的计算智能和数学510.1007/978-3-031-46979-4_13(93-99)在线发布日期：2024年1月3日
https://doi.org/10.1007/978-3-031-46979-4_13
Janhunen T公司(2023)单调集和凸集的广义水平排序约束理论计算机科学中的电子论文集10.4204/EPTCS.385.12385(101-115)在线发布日期：2023年9月12日
https://doi.org/10.4204/EPTCS.385.12
Cabalar P公司范丁诺J绍布·TWanko P公司(2023)基于Clingo的混合ASP系统语义研究算法10.3390/a1604018516:4(185)在线发布日期：2023年3月28日
https://doi.org/10.3390/a16040185
显示更多引用者

索引术语

强等价逻辑程序
1. 计算理论
  1. 逻辑
  2. 计算模型
    1. 可计算性

建议

命题理论的约简、可满足关系和逻辑程序语义的推广

多年来，稳定模型语义在程序中获得了对默认否定的正确（二值）解释的地位。然而，对于具有聚合（约束）的程序，稳定模型语义在其广泛接受的范围内。。。
阅读更多信息
命题理论与逻辑程序有很强的等价性

本文给出了命题理论在回答集语义下的一个性质（称为均衡逻辑对于这个通用语法）：任何理论都可以重新表述为一个强等价的析取逻辑程序，可能带有否定。。。
阅读更多信息
析取逻辑程序、答案集和切割规则
摘要
在Minker和Rajasekar（J Log Program 9（1）：45–74，1990）中，Minker提出了无否定析取逻辑程序的语义，为确定逻辑程序提供了不动点语义的自然推广。我们表明。。。
阅读更多信息

评论

审核人：拉尔夫·沃尔特·威尔克森

本文使用答案集语义研究否定为失败的逻辑程序。如果两个逻辑程序L1和L2具有相同的答案集，则称其等效。本文研究了以下更强的条件：对于每个逻辑程序L，L1 U L与L2 U L等价，这称为强等价。在他们的主要定理中，作者证明了强等价性的验证可以通过检查单调逻辑中公式的等价性来完成，这种逻辑称为here-and-there逻辑。在线计算评论服务

Computing Reviews徽标

Computing Reviews徽标

访问计算机文献的关键评论在这里

成为评论员计算评论。

评论

信息和贡献者

问询处

发布于

封面图片ACM计算逻辑事务

ACM计算逻辑事务第2卷第4期

Robert A.Kowalski专刊

2001年10月

224页

国际标准编号：1529-3785

EISSN公司：1557-945倍

内政部：10.1145/383779

编辑：
Krzysztof R.Apt公司
CWI，荷兰阿姆斯特丹
,
安东尼斯·卡卡斯,
法里巴·萨德里

版权所有©2001 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2001年10月1日

在TOCL中发布体积2,问题4

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

415
引文总数
查看引文
1,063
总下载次数

下载次数（过去12个月）48
下载次数（最近6周）4

其他指标

查看作者指标

引文

引用人

麦地那J托恩-赞布拉诺J(2024)基于有序伴随对的多伴随逻辑程序设计中的偏好用于处理复杂问题的计算智能和数学510.1007/978-3-031-46979-4_13(93-99)在线发布日期：2024年1月3日
https://doi.org/10.1007/978-3-031-46979-4_13
Janhunen T公司(2023)单调集和凸集的广义水平排序约束理论计算机科学中的电子论文集10.4204/EPTCS.385.12385(101-115)在线发布日期：2023年9月12日
https://doi.org/10.4204/EPTCS.385.12
Cabalar P公司范迪诺J绍布·TWanko P公司(2023)基于Clingo的混合ASP系统语义研究算法10.3390/a1604018516:4(185)在线发布日期：2023年3月28日
https://doi.org/10.3390/a16040185
鲍曼R海涅AP侯爵儿子T克恩·伊斯伯纳G(2023)无冲突标签——可实现性、结构和冗余模式第20届知识表示与推理原理国际会议论文集10.24963/kr.2023/70(721-725)在线发布日期：2023年9月2日
https://dl.acm.org/doi/10.24963/kr.2023/70
萨里巴特Z沃尔特兰SP侯爵儿子TKern Isberner G公司(2023)投射ASP程序中无关内容的基础第20届知识表示与推理原理国际会议论文集10.24963/kr.2023/60(614-624)在线发布日期：2023年9月2日
https://dl.acm.org/doi/10.24963/kr.2023/60
范迪诺J利夫希茨五世P侯爵儿子T克恩·伊斯伯纳G(2023)这里那里的逻辑的Omega完全性和逻辑程序的强等价性第20届知识表示与推理原理国际会议论文集10.24963/kr.2023/24(240-251)在线发布日期：2023年9月2日
https://dl.acm.org/doi/10.24963/kr.2023/24
范迪诺J利勒Y威廉姆斯B陈毅内维尔·J(2023)根据内涵语句拆分答案集程序第三十七届AAAI人工智能会议、第三十五届人工智能创新应用会议和第十三届人工智能教育进展研讨会会议记录10.1609/aaai.v37i5.25780年10月10日(6338-6345)在线发布日期：2023年2月7日
https://dl.acm.org/doi/10.1609/aaai.v37i5.25780
里昂T(2023)中间逻辑的嵌套序列：Gödel-Dummett逻辑的例子应用非经典逻辑杂志10.1080/11663081.2023.223334633:2(121-164)在线发布日期：2023年7月12日
https://doi.org/10.1080/11663081.2023.223346
SAKAMA C公司(2023)答案集编程中的人工条件推理逻辑程序设计理论与实践10.1017/S1471068423000376(1-36)在线发布日期：2023年12月14日
https://doi.org/10.1017/S1471068423000376
鲍曼R彭多夫C(2023)邓肯论证框架的静态和动态排序——概述国际近似推理杂志2016年10月10日/j.ijar.2023.109036163(109036)在线发布日期：2023年12月
https://doi.org/10.1016/j.ijar.2023.109036
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此文章

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子

查看问题目录