×
斯蒂法诺·比斯塔雷利;弗朗西斯科·桑蒂尼;卡洛·塔蒂奇

论证语义中的局部扩展不变算子。 （英语） Zbl 07229665号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，45-62 (2019).
摘要：我们研究了抽象论证框架（AFs）中无冲突集和可容许集的不变局部扩张算子。这些操作符直接应用于AF，并且对于所选的“语义”（即，w.r.t.每个无冲突/可接受的参数集）是不变的。因此，我们推导了AF鲁棒性的定义，即在不改变所选语义的情况下，可以应用此类运算符的次数。
关于整个系列，请参见[Zbl 1428.03006号].

MSC公司：

68T27型 人工智能中的逻辑

关键词：

论证;语义学;不变量;稳健性

软件：

ConArg2型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bistarelli}等人，in：动力学、不确定性和推理。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。45-62（2019年；Zbl 07229665）
全文： DOI程序 arXiv公司

参考文献：

[1] Baroni，P.，Giacomin，M.，Liao，B.：关于抽象议论文义学的拓扑相关性质。论证系统动力学的修正和扩展：基于划分的方法。Artif公司。智力。212, 104-115 (2014). https://doi.org/10.1016/j.artint.2014.03.003 ·Zbl 1405.68337号 ·doi:10.1016/j.artint.2014.03.003
[2] Baumann，R.：论证框架的正规和强扩展等价。Artif公司。智力。193, 18-44 (2012). https://doi.org/10.1016/j.artint.2012.08.04 ·Zbl 1270.68280号 ·doi:10.1016/j.artint.2012.08.04
[3] Baumann，R.：无上下文和上下文敏感内核：抽象论证中的更新和删除等价。在：Schaub，T.，Friedrich，G.，O'Sullivan，B.（编辑）第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格，包括著名的智能系统应用（PAIS 2014）。《人工智能与应用前沿》，第263卷，第63-68页。IOS出版社（2014）。https://doi.org/10.3233/978-1-61499-419-0-63 ·Zbl 1366.68275号 ·doi:10.3233/978-1-61499-419-0-63
[4] Baumann，R.，Brewka，G.：扩展论证框架：强制和单调结果。摘自：《论证的计算模型：COMMA会议录》，FAIA，第216卷，第75-86页。IOS出版社（2010）
[5] 比斯塔雷利，S.、法洛西，F.、桑蒂尼，F.和塔蒂奇，C.：研究与罗布辩论中的动力学。收录于：Modgil，S.、Budzynska，K.、Lawrence，J.（编辑）《2018年COMMA论证过程的计算模型》，波兰华沙，2018年9月12-14日。《人工智能与应用前沿》，第305卷，第451-452页。IOS出版社（2018）。https://doi.org/10.3233/978-1-61499-906-5-451 ·doi:10.3233/978-1-61499-906-5-451
[6] Bistarelli，S.，Pirolandi，D.，Santini，F.：求解带软约束的加权论证框架。收录：Larrosa，J.，O'Sullivan，B.（编辑）《约束的最新进展》，第14届ERCIM约束求解和约束逻辑编程国际年会，CSCLP 2009，西班牙巴塞罗那，2009年6月15日至17日，修订论文集。计算机科学课堂讲稿，第6384卷，第1-18页。斯普林格，海德堡（2009）。https://doi.org/10.1007/978-3-642-19486-3_1 ·Zbl 1322.68202号 ·doi:10.1007/978-3-642-19486-3_1
[7] Bistarelli，S.，Rossi，F.，Santini，F.：Conarg：经典和加权论证的工具。收录人：Baroni，P.、Gordon，T.F.、Schefler，T.、Stede，M.（编辑）《计算模型论证会议录》，2016年COMMA，德国波茨坦，2016年9月12-16日。《人工智能与应用前沿》，第287卷，第463-464页。IOS出版社（2016）。https://doi.org/10.3233/978-1-61499-686-6-463 ·doi:10.3233/978-1-61499-686-6-463
[8] Bistarelli，S.，Rossi，F.，Santini，F.：一种新颖的加权防御及其在抽象论证中的放松。国际期刊近似原因。92, 66-86 (2018). https://doi.org/10.1016/j.ijar.2017.10.006 ·Zbl 1423.68479号 ·doi:10.1016/j.ijar.2017.10.006
[9] Bistarelli，S.，Santini，F.：使用基于约束的工具建模和求解AF：ConArg.In：Modgil，S.、Oren，N.、Toni，F.（编辑）《形式论证理论和应用第一次国际研讨会》，TAFA 2011年。2011年7月16日至17日，西班牙巴塞罗那，修订论文集。计算机科学讲义，第7132卷，第99-116页。斯普林格，海德堡（2011）。https://doi.org/10.1007/978-3-642-29184-5_7 ·doi:10.1007/978-3-642-29184-57
[10] Bistarelli，S.，Santini，F.：科纳格：带约束的论证。载：Ossowski，S.，Toni，F.，Vouros，G.A.（编辑）《第一届协议技术国际会议论文集》，2012年10月15日至16日，克罗地亚杜布罗夫尼克，2012年10月15日至16日，欧洲委员会研讨会论文集，第918卷，第197-198页。CEUR-WS.org（2012）。http://ceur-ws.org/Vol-918/111110197.pdf
[11] Bistarelli，S.，Santini，F.，Taticchi，C.：关于在议论文语义学中寻找不变操作符。摘自：《第三十届国际佛罗里达人工智能研究学会会议记录》，FLAIRS，第537-540页。AAAI出版社（2018）
[12] Boella，G.，da Costa Pereira，C.，Tettamanzi，A.，van der Torre，L.W.N.：让别人相信他们想要的。摘自：《理论与实践中的人工智能II》，IFIP第20届世界计算机大会，IFIP，第276卷，第215-224页。斯普林格，波士顿（2008）
[13] Boella，G.，Kaci，S.，van der Torre，L.W.N.：单扩展论证中的动力学：抽象原则和扎根扩展。在：第十届欧洲不确定性推理符号和定量方法会议，ECSQARU。LNCS，第5590卷，第107-118页。斯普林格，海德堡（2009a）·Zbl 1245.91015号
[14] Boella，G.，Kaci，S.，van der Torre，L.W.N.：单扩展论证中的动力学：攻击优化和基础扩展（扩展版）。参加：第六届多智能体系统论证国际研讨会，ArgMAS。LNCS，第6057卷，第150-159页。施普林格，海德堡（2009b）·Zbl 1245.91015号
[15] 卡米纳达，M.：关于辩论中的恢复问题。摘自：第十届欧洲人工智能逻辑会议，JELIA第111-123页（2006年）。https://doi.org/10.1007/11853886_11 ·Zbl 1152.68600号 ·doi:10.1007/11853886_11
[16] Cayrol，C.，de Saint-Cyr，F.D.，Lagasquie-Schiex，M.：论证系统的修订。参见：《第十一届知识表示和推理原则国际会议记录》，韩国，第124-134页。AAAI出版社（2008）·Zbl 1191.68480号
[17] Cayrol，C.，de Saint-Cyr，F.D.，Lagasquie-Schiex，M.：抽象论证框架的变化：添加论点。J.阿蒂夫。智力。第38号决议、第49-84号决议（2010年）。https://doi.org/10.1613/jair.2965 ·Zbl 1191.68480号 ·doi:10.1613/jair.2965
[18] Croitoru，C.，Kötzing，T.：论证框架的标准形式。参加：第二届形式论证理论与应用国际研讨会，TAFA。LNCS，第8306卷，第32-45页。斯普林格，海德堡（2013）·兹比尔1405.68346 ·doi:10.1007/978-3-642-54373-9_3
[19] Dix，J.、Hansson，S.O.、Kern-Isberner，G.、Simari，G.R.：多智能体场景中的信念改变和论证。安。数学。Artif公司。智力。78(3-4), 177-179 (2016) ·Zbl 1360.03011号 ·doi:10.1007/s10472-016-9530-x
[20] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。Artif公司。智力。77(2), 321-358 (1995). https://doi.org/10.1016/0004-3702（94）00041-X·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[21] Liao，B.S.，Jin，L.，Koons，R.C.：论证系统的动力学：基于划分的方法。Artif公司。智力。175(11), 1790-1814 (2011). https://doi.org/10.1016/j.artint.2011.03.006 ·Zbl 1226.68101号 ·doi:10.1016/j.artint.2011.03.006
[22] Oikarinen，E.，Woltran，S.：描述论证框架的强等价性。Artif公司。智力。175(14-15), 1985-2009 (2011). https://doi.org/10.1016/j.artint.2011.06.003 ·兹比尔1252.68279 ·doi:10.1016/j.artint.2011.06.003
[23] T·里恩斯塔·Zbl 1335.68282号 ·数字对象标识代码：10.1007/978-3-319-28460-6_13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。