×
阿米莉亚·哈里森;弗拉基米尔·利夫希茨;大卫·皮尔斯;阿古斯汀·瓦尔弗德

无穷均衡逻辑和强等价逻辑程序。 （英语） Zbl 1419.68120号

Artif公司。智力。 246, 22-33 (2017).
摘要：强等价是答案集编程理论中的一个重要概念。非正式地说，如果两套规则在任何上下文中具有相同的含义，那么这两套规则都是非常等价的。平衡逻辑用于证明命题公式所表示的规则集是强等价的，当且仅当它们在这里那里的逻辑中是等价的。我们将这一工作扩展到具有无穷长连词和析取的公式，证明了此处和那里的无穷逻辑具有无穷公式的强等价性，并给出了该逻辑的公理化。这很有用，因为无穷公式和带有局部变量的逻辑程序之间存在关系。

引用于8文件

MSC公司：

68T27型 人工智能中的逻辑
68N17号 逻辑编程

关键词：

答案集编程;强等价性;这里那里的逻辑

软件：

格林戈
PDF格式BibTeX公司 XML格式引用
\textit{A.Harrison}等人，Artif。智力。246、22-33（2017年；Zbl 1419.68120）
全文： 内政部

参考文献：

[1] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.；Bowen，K.，国际逻辑编程会议和研讨会论文集（1988），麻省理工学院出版社），1070-1080
[2] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 365-385 (1991) ·Zbl 0735.68012号
[3] 马雷克，V。；Truszczáski，M.，《稳定模型和替代逻辑编程范式》（The logic programming paradigm:a 25-Year Perspective，1999），施普林格出版社，375-398·Zbl 0979.68524号
[4] Niemelä，I.，《将稳定模型语义作为约束编程范式的逻辑程序》，Ann.Math。Artif公司。智力。，25, 241-273 (1999) ·Zbl 0940.68018号
[5] Gelfond，M.，《答案集》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），爱思唯尔出版社），第285-316页·Zbl 1183.68611号
[6] Brewka，G。；艾特，T。；Truszczáski，M.，《答案集编程一览》，Commun。ACM，54，12，92-103（2011）
[7] AI杂志，37，3（2016）
[8] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 526-541 (2001) ·Zbl 1365.68149号
[9] Heyting，A.，Die formalen Regeln der直觉主义逻辑，Sitzungsber。普劳斯。阿卡德。威斯。物理学-数学。Kl.，42-56（1930）
[10] Pearce，D.，《稳定模型和答案集的新逻辑特征》，（Dix，J.；Pereira，L.；Przymusinski，T.，《逻辑编程的非单调扩展》，《人工智能讲义》，第1216卷（1997），Springer），57-70
[11] Calimeri，F。；费伯，W。；Gebser，M。；伊安尼，G。；卡明斯基，R。；Krennwallner，T。；塞拉利昂，北卡罗来纳州。；Ricca，F。；Schaub，T.，ASP-Core-2：输入语言格式（2012年），可在
[12] Gebser，M。；哈里森，A。；卡明斯基，R。；Lifschitz，V。；Schaub，T.，抽象格林戈，理论与实践。日志。程序。，15, 449-463 (2015) ·Zbl 1379.68031号
[13] Truszczáski，M.，通过简化连接一阶ASP和逻辑FO（ID），（Erdem，E.；Lee，J.；Lierler，Y.；Pearce，D.，《正确推理：以弗拉基米尔·利夫施奇茨为荣的基于逻辑的人工智能论文》（2012），施普林格），543-559·Zbl 1357.68225号
[14] 哈里森，A。；Lifschitz，V。；皮尔斯，D。；Valverde，A.，《无限均衡逻辑与强等价》，（逻辑程序设计与非单调推理国际会议论文集，逻辑程序设计和非单调推理会议论文集），LPNMR（2015），398-410·Zbl 1467.68173号
[15] Ferraris，P.，命题理论的答案集，（《逻辑程序设计和非单调推理国际会议论文集》，逻辑程序设计与非单调推理会议论文集，LPNMR（2005）），119-131·Zbl 1152.68408号
[16] Glivenko，V.，《科学院M.Brouwer的苏尔奎斯点》。罗伊。贝尔格。牛市。Cl.科学。(5), 15, 183-188 (1929)
[17] Nadel，M.，《从经典观点看无限直觉主义逻辑》，《数学年鉴》。日志。，159-191 (1978) ·Zbl 0406.03055号
[18] 哈里森，A。；Lifschitz，V。；Truszczáski，M.，《关于稳定模型语义下无穷公式的等价性》，理论与实践。日志。程序。，15, 1, 18-34 (2015) ·Zbl 1379.68070号
[19] 斯科特·D。；塔斯基，A.，《无限长表达式的句子演算》，《大学数学》。，6, 165-170 (1958) ·Zbl 0119.25002号
[20] Kalmár，L.，Zurückführung des Entscheidungs problems auf den Fall von Formeln mit einer einzigen，binären，Funktionsvariblen，作曲。数学。，4, 137-144 (1936)
[21] Cabalar，P。；Ferraris，P.，命题理论强等价于逻辑程序，理论实践。日志。程序。，7 (2007) ·Zbl 1132.68321号
[22] Łukasiewicz，J.，Die Logik und das Grundlagen problem，（1938年（1941年）《苏黎世基金会与科学数学方法》，Leemann:Leemann Zürich），82-100·Zbl 0061.00804号
[23] Thomas，I.，Dummett LC的有限限制，圣母院J.Form.Log。，三、 3170-174（1962）·Zbl 0131.24510号
[24] Umezawa，T.，《关于中间多值逻辑》，J.Math。Soc.Jpn.公司。，116-128年11月2日（1959年）·Zbl 0086.24505号
[25] Hosoi，T.，哥德尔的中间命题系统的公理化，J.Fac。科学。，东京大学，13，183-187（1966）·Zbl 0156.00802号
[26] 卡普，C.R.，《无限长表达式的语言》（1964），北荷兰：北荷兰阿姆斯特丹·Zbl 0127.00901号
[27] 拉西奥瓦，H。；Sikorski，R.，《元数学的数学》（1963），PWN:PWN华沙·Zbl 0122.24311号
[28] 吉万特，S。；Halmos，P.，《布尔代数导论》（2009），施普林格出版社·Zbl 1168.06001号
[29] 哈里森，A。；Lifschitz，V。；Michael，J.，《证明无穷公式》，理论与实践。日志。程序。，16, 787-799 (2016) ·Zbl 1379.68069号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。