×
帕特里克·多尔蒂；乔纳斯·克瓦伦斯特罗姆；斯扎·阿斯（Szałas）、安德烈吉（Andrzej）

Kleene回答集程序（扩展摘要）的迭代支持的公式和强烈支持的模型。 （英语） Zbl 1483.68058号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 536-542 (2016).
摘要：在这个扩展的摘要中，我们讨论了使用迭代支持公式（ISF）作为计算Kleene答案集程序（（mathrm{ASP}^{K}）的强支持模型的基础\（\mathrm{ASP}^{K}\）程序的语法与经典ASP程序相同。（mathrm{ASP}^{K}）程序的语义基于Kleene三值逻辑的使用和强大的支持模型。对于普通的（mathrm{ASP}^{K}）程序，它们的强支持模型与使用稳定模型语义的经典答案集相同。对于析取（mathrm{ASP}^{K}）程序，语义削弱了极小性假设，导致对析取的经典解释。我们使用ISF来刻画强支撑模型，并证明它们是多项式有界的。
关于整个系列，请参见[Zbl 1350.68015号].

MSC公司：

68N17号 逻辑编程
03B50号 多值逻辑
68问题55 计算理论中的语义学

软件：

扣环；亚萨特；C模型
PDF格式BibTeX公司 XML格式引用
\textit{P.Doherty}等人，Lect。注释计算。科学。10021536--542（2016；Zbl 1483.68058）
全文： 内政部

参考文献：

[1] Chan，P.：析取数据库的可能世界语义。IEEE传输。知识。数据工程5（2），282–292（1993）·Zbl 05108985号 ·doi:10.1009/69.219736
[2] Doherty，P.，Szałas，A.：稳定性、支持性、极简性和kleene答案集程序。摘自：Eiter，T.、Strass，H.、Truszczynski，M.、Woltran，S.（编辑）《知识表征的进展》。LNCS，第9060卷，第125-140页。斯普林格，海德堡（2015）·Zbl 1432.68457号 ·数字对象标识代码：10.1007/978-3-319-14726-09
[3] Ferraris，P.，Lifschitz，V.：关于稳定模型的极小性。收录：Balduccini，M.，Son，T.C.（编辑）逻辑编程、知识表示和非单调推理。LNCS，第6565卷，第64-73页。斯普林格，海德堡（2011）·Zbl 1326.68056号 ·doi:10.1007/978-3642-20832-45
[4] Gebser，M.、Kaufmann，B.、Neumann，A.、Schaub，T.：扣：冲突驱动的答案集求解器。收录人：Baral，C.、Brewka，G.、Schlipf，J.（编辑）LPNMR 2007。LNCS（LNAI），第4483卷，第260-265页。斯普林格，海德堡（2007）·Zbl 05211342号 ·doi:10.1007/978-3-540-72200-723
[5] Gelfond，M.，Kahl，Y.：知识表示、推理和智能代理的设计——答案集编程方法。剑桥大学出版社，剑桥（2014）·doi:10.1017/CBO9781139342124
[6] Lee，J.，Lifschitz，V.：析取逻辑程序的循环公式。在：Palamidessi，C.（编辑）ICLP 2003。LNCS，第2916卷，第451-465页。斯普林格，海德堡（2003）·Zbl 1204.68056号 ·doi:10.1007/978-3-540-24599-5_31
[7] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：用于知识表示和推理的DLV系统。ACM事务处理。计算。日志。7(3), 499–562 (2006) ·兹比尔1367.68308 ·数字对象标识代码：10.1145/1149114.1149117
[8] Lierler，Y.：cmodels–基于SAT的析取答案集求解器。收录于：Baral，C.，Greco，G.，Leone，N.，Terracina，G.（编辑）LPNMR 2005。LNCS（LNAI），第3662卷，第447-451页。斯普林格，海德堡（2005）·doi:10.1007/11546207_44
[9] Lifschitz，V.：稳定模型的十三种定义。收录：Blass，A.、Dershowitz，N.、Reisig，W.（编辑）《逻辑与计算领域》。LNCS，第6300卷，第488-503页。斯普林格，海德堡（2010）·Zbl 1287.68021号 ·doi:10.1007/978-3642-15025-8_24
[10] Lifschitz，V.，Razborov，A.：为什么有这么多循环公式？ACM事务处理。计算。日志。7(2), 261–268 (2006) ·Zbl 1367.68036号 ·数字对象标识代码：10.1145/1131313.1131316
[11] Lin，F.，Zhao，J.：关于紧逻辑程序和从普通逻辑程序到命题逻辑的另一种翻译。收录于：Gottlob，G.，Walsh，T.（编辑）《IJCAI-03会议录》，第853-858页。Morgan Kaufmann（2003）
[12] Lin，F.，Zhao，Y.：ASSAT：SAT解析器计算逻辑程序的答案集。Artif公司。智力。157(1–2), 115–137 (2004) ·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[13] Liu，G.，Janhunen，T.，Niemelä，I.：通过混合整数规划回答集编程。参见：Brewka，G.，T.，E.，McIlraith，S.（编辑）《2012年韩国公报》。AAAI出版社（2012）
[14] Pelov，N.，Ternovska，E.：将归纳定义简化为命题可满足性。收录：Gabbrielli，M.，Gupta，G.（编辑）ICLP 2005。LNCS，第3668卷，第221-234页。施普林格，海德堡（2005）·Zbl 1165.68494号 ·doi:10.1007/11562931_18
[15] Sakama，C.，Inoue，K.：析取逻辑程序和演绎数据库语义的替代方法。J.汽车。推理13（1），145-172（1994）·Zbl 0819.68036号 ·doi:10.1007/BF00881915
[16] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。智力。138(1–2), 181–234 (2002) ·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[17] Soininen，T.，Niemelä，I.：为产品配置中的应用程序开发声明性规则语言。收录于：Gupta，G.（编辑）PADL 1999。LNCS，第1551卷，第305-319页。斯普林格，海德堡（1999）
[18] Son，T.，Pontelli，E.：答案集编程中聚合的构造性语义特征。TPLP 7（3），355–375（2007）·Zbl 1111.68072号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。