林戈·鲍曼;格哈德·布鲁卡;沃尔夫冈·德沃亚克;斯特凡·沃尔特兰 参数化分割：一种简单的基于修改的方法。 （英语） Zbl 1357.68026号 Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。《计算机科学讲义》7265，57-71（2012）。 摘要：在一篇重要且被广泛引用的论文[“分割逻辑程序”，载于：第11届逻辑编程国际会议论文集，ICLP'94。马萨诸塞州剑桥：麻省理工学院出版社。23–27 (1994)]V.利夫希茨和H.特纳已经展示了在一定条件下，答案集语义下的逻辑程序如何被分为两个不相交的部分，一个“底部”部分和一个“顶部”部分。底部可以独立于顶部进行评估。然后使用评估结果，即底部的答案集来简化顶部。要获得原始程序的答案集，只需将简化的顶部部分的答案集与用于简化该部分的答案集相结合。后来，其他非单调形式主义和Dung式论证框架也证明了类似的分裂结果。在本文中，我们展示了如何放宽分裂的条件。主要思想是在评估之前也修改底部部分。额外的原子用于对需要满足的顶部答案集的条件进行编码。这样我们就可以在无法正确拆分的情况下进行拆分。我们为论证框架和逻辑程序演示了这种思想。关于整个系列，请参见[Zbl 1241.68016号]. 引用于11文件 MSC公司： 68N17号 逻辑编程 软件：数据日志 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}等人，Lect。票据计算。科学。7265，57--71（2012；Zbl 1357.68026） 全文： 内政部 参考文献： [1] Baroni，P.，Caminada，M.，Giacomin，M.：论证语义学导论。知识工程评论26（4），365–410（2011）·doi:10.1017/S026988891100166 [2] Baroni，P.，Giacomin，M.：抽象论证系统的语义。收录：Rahwan，I.，Simari，G.R.（编辑）《人工智能中的论证》，第25-44页。施普林格（2009）·doi:10.1007/978-0-387-98197-02 [3] Baumann，R.：《分裂论证框架》。摘自：Delgrand，J.P.，Faber，W.（编辑）LPNMR 2011。LNCS，第6645卷，第40-53页。斯普林格，海德堡（2011）·兹比尔1327.68240 ·doi:10.1007/978-3-642-20895-96 [4] Baumann，R.，Brewka，G.，Wong，R.：分裂论证框架：实证评估。收录：Modgil，S.、Oren，N.、Toni，F.（编辑）TAFA 2011。LNCS，第7132卷，第17-31页。斯普林格，海德堡（2012）·doi:10.1007/978-3-642-29184-5_2 [5] Brewka，G.，Eiter，T.，Truszczynski，M.：集编程一目了然。Commun公司。ACM 54（12），92–103（2011）·doi:10.1145/2043174.2043195 [6] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。Artif公司。智力。 77(2), 321–358 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X [7] Eiter，T.、Gottlob，G.、Mannila，H.：析取数据日志。ACM数据库系统事务22（3），364–418（1997）·doi:10.145/261124.261126 [8] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《逻辑编程：第五届国际会议和研讨会论文集》，第1070-1080页。麻省理工学院出版社，剑桥（1988） [9] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算。 9(3/4), 365–386 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169 [10] Hao，J.，Orlin，J.B.：求有向图中最小割集的更快算法。J.算法17（3），424–446（1994）·Zbl 0819.68087号 ·doi:10.1006/jagm.1994.1043 [11] Janhunen，T.、Oikarinen，E.、Tompits，H.、Woltran，S.：析取稳定模型的模块化方面。J.阿蒂夫。智力。第35、813–857号决议（2009年）·Zbl 1192.68129号 [12] Liao，B.S.，Jin，L.，Koons，R.C.：论证系统的动力学：基于划分的方法。Artif公司。智力。 175(11), 1790–1814 (2011) ·Zbl 1226.68101号 ·doi:10.1016/j.artint.2011.03.006 [13] Lifschitz，V.，Turner，H.：分割逻辑程序。摘自：Van Hentenryck，P.（编辑）《第十一届逻辑程序设计国际会议论文集》（ICLP 1994），第23-27页。麻省理工学院出版社（1994） [14] Tarjan，R.：深度优先搜索和线性图算法。SIAM计算机杂志1（2），146-160（1972）·Zbl 0251.05107号 ·doi:10.1137/201010 [15] 特纳，H.：分裂默认理论。收录于：Clancey，W.J.，Weld，D.S.（编辑）《第十三届全国人工智能会议和第八届人工智能创新应用会议（AAAI/IAAI）会议记录》，第1卷，第645-651页。AAAI出版社/麻省理工学院出版社（1996） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。