×

改进了用于抽象论证的答案集编程编码。 (英语) Zbl 1379.68292号

摘要:为抽象论证问题设计有效的解决方案是迈向高级论证系统的关键一步。文献中最突出的方法之一是使用答案集编程(ASP)进行这项工作。在本文中,我们使用ASP系统clipeo提供的条件字面值的概念,为三种突出的议论文语义提供了新的编码。我们的新编码不仅比以前的版本更简洁,而且在标准基准测试中也优于它们。

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 巴罗尼普。,卡米纳达M。W.A.和Giacomin,2011年。论证语义学导论。知识工程评论26,4,365-410.10.1017/S0269888911000166S026988,911000166·doi:10.1017/S026988891100166
[2] 贝斯纳德。和HunterA.2008。论证要素。麻省理工学院出版社。
[3] 比斯塔雷利斯。和2011年的桑提尼。ConArg:一种基于约束的论证系统计算框架。在第23届IEEE人工智能工具国际会议(ICTAI 2011)的会议记录中,T.M.Khoshgoftaar和X.H.Zhu编辑,IEEE计算机社会出版社,605-612。
[4] 布雷卡政府。,EiterT公司。和Truszczyn skiM.2011。答案集编程一目了然。ACM54、12、92-103的通信。
[5] 卡米纳达。2007年3月。比较形式论证中两种独特的扩展语义:理想和渴望。第19届比利时-荷兰人工智能会议论文集,BNAIC 2007。81-87.
[6] 卡米纳达。W.A.和AmgoudL.2007。论论证形式主义的评价。人工智能171,5-6,286-310.1016/j.artint.2007.02.003·Zbl 1168.68562号 ·doi:10.1016/j.artint.2007.02.003
[7] 卡米纳达。W.A.和CarnielliW。A.和DunneP。2012年5月。半稳定语义。逻辑与计算杂志22,5,1207-1254.10.1093/log.com/exr033·Zbl 1267.68223号 ·doi:10.1093/log.com/exr033
[8] CeruttiF.,证书。,贾科明姆。和VallatiM.2014。ArgSemSAT:使用SAT解决论证问题。《第五届国际论证计算模型会议论文集》(COMMA 2014),S.Parsons、N.Oren、C.Reed和F.Cerutti,FAIA编辑,第266卷。IOS出版社,455-456。
[9] CeruttiF.,证书。,俄勒冈州。,斯特拉斯。,蒂姆。和VallatiM.2014。计算论证比赛的基准框架。《第五届国际争论计算模型会议论文集》(COMMA 2014),S.Parsons、N.Oren、C.Reed和F.Cerutti编辑,FAIA,第266卷。IOS出版社,459-460。
[10] 查瓦特。,德瓦千瓦。,GagglS公司。A.、WallnerJ.P.和WoltranS.2015。解决抽象论证中推理问题的方法——综述。人工智能220,28-63.10.1016/j.artint.2014.11.00825737590·Zbl 1328.68212号 ·doi:10.1016/j.artint.2014.11.008
[11] 迪莫普洛斯Y。和TorresA.1996年。逻辑程序和缺省理论中的图论结构。理论计算机科学170,1-2,209-244.10.1016/S0304-3975(96)80707-9·Zbl 0874.68190号 ·doi:10.1016/S0304-3975(96)80707-9
[12] 邓普。M.1995年。论论证的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。人工智能77,2,321-358.10.1016/0004-3702(94)00041-X·Zbl 1013.68556号 ·doi:10.1016/0004-3702(94)00041-X
[13] 邓普。M.、Mancarella P。和ToniF.2007。计算理想怀疑论论证。人工智能171,10-15,642-674.10.1016/j.artint.2007.05.003·Zbl 1168.68564号 ·doi:10.1016/j.artint.2007.05.003
[14] 邓恩。E.和Bench-CaponT。2002年《医学杂志》。有限自变量系统中的相干性。人工智能141,1/2187-203.10.1016/S0004-3702(02)00261-8·Zbl 1043.68098号 ·doi:10.1016/S0004-3702(02)00261-8
[15] 邓恩。E.和CaminadaM。W.A.2008年。抽象论证框架中半稳定语义的计算复杂性。《第十一届欧洲人工智能逻辑会议论文集》(JELIA 2008),S.Hölldobler、C.Lutz和H.Wansing编辑,LNCS,第5293卷。施普林格,153-165.10.1007/978-3-540-87803-2·Zbl 1146.68009号 ·doi:10.1007/978-3-540-87803-2
[16] 邓恩。E.、DvořákW.、。,林斯比勒T。和WoltranS.2014。抽象论证中多视角的特点。《第十四届知识表示与推理原则国际会议论文集》(KR 2014),C.Baral、G.De Giacomo和T.Eiter编辑,AAAI出版社,72-81。
[17] 邓恩。E.和WooldridgeM.2009。抽象论证的复杂性。在《人工智能辩论》中,G.Simari和I.Rahwan,Eds.SpringerUS,85-104.10.1007/978-0-387-98197-0·doi:10.1007/978-0-387-98197-0
[18] DvořákW。和WoltranS.2010。论证框架中半稳定语义和阶段语义的复杂性。信息处理信函110,11,425-430.10.1016/j.ipl.2010.04.005·Zbl 1229.68041号 ·doi:10.1016/j.ipl.2010.04.005
[19] 德沃千瓦。,GagglS公司。A.、WallnerJ.P.和WoltranS.2013。利用回答集编程在抽象论证系统中的进步。《第19届国际声明性程序设计和知识管理应用会议论文集》(INAP 2011),修订论文集,H.Tompits、S.Abreu、J.Oetsch、J.Pührer、D.Seipel、M.Umeda和A.Wolf,Eds.LNAI,第7773卷。施普林格,114-133.10.1007/978-3-642-41524-1·Zbl 1320.68029号 ·doi:10.1007/978-3642-41524-1
[20] 德沃千瓦。,马萨诸塞州。,WallnerJ.P.和WoltranS.2014。抽象论证的复杂敏感决策程序。人工智能206,53-78.10.1016/j.article.2013.10.001·Zbl 1334.68206号 ·doi:10.1016/j.artint.2013.10.001
[21] 埃及大学。,GagglS公司。A.和WoltranS.2010。用于论证框架的答案集编程编码。论证与计算1,2,147-177.10.1080/19462166.2010.486479·doi:10.1080/19462166.2010.486479
[22] GebserM.、KaminskiR.、。,考夫曼银行。,林道尔,奥斯特罗斯基。,罗梅罗J。,朔布。和ThieleS.2015。《Potassco用户指南》,第二版。
[23] GebserM.,卡明斯基。和SchaubT.2011。答案集编程中的复杂优化。逻辑程序设计的理论与实践11,4-5,821-839.10.1017/S1471068411000329S1471069411000329·Zbl 1222.68059号 ·doi:10.1017/S1471068411000329
[24] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,3/4,365-386.10007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[25] LifschitzV公司。和TurnerH.1994。分割逻辑程序。《第十一届逻辑程序设计国际会议论文集》(ICLP 1994),P.V.Hentenryck主编,麻省理工学院出版社,23-37。
[26] 拉瓦尼。和SimariG。R.,2009年版。人工智能中的争论。斯普林格。
[27] SyrjänenT.2009年。逻辑程序和基数约束:理论与实践。阿尔托大学博士论文。
[28] 托尼夫。和SergotM.2011。论证和答案集编程。《逻辑编程、知识表示和非单调推理:纪念迈克尔·盖尔芬德、M.Balduccini和T.C.Son的论文》,LNCS编辑,第6565卷。施普林格,164-180.10.1007/978-3642-20832-4·Zbl 1213.68025号 ·数字对象标识代码:10.1007/978-3-642-20832-4
[29] 瓦拉提姆。,塞鲁蒂夫。和GiacominM.2014。论证框架特征:初步研究。《第21届欧洲人工智能会议论文集》(ECAI 2014),T.Schaub、G.Friedrich和B.O’Sullivan,FAIA编辑,第263卷。IOS出版社,1117-1118。
[30] VerheijB.1996年。辩证论证的两种方法:可容许集和论证阶段。《第八届荷兰人工智能会议论文集》(NAIC’96),J.-J.C.Meyer和L.van der Gaag,第357-368版。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。