×
Jean-Guy，梅利

不完全论证框架的基于扩展的语义。 （英语） Zbl 07671027号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 322-341 (2021).
摘要：不完全论证框架（IAF）被定义为在抽象论证中包含一些定性的不确定性：可以表达“我不确定这个论证是否存在”或“我不知道这个论证是否攻击那个论证”等信息。IAF推理经典地基于一组补全，即代表IAF中编码的可能世界的标准论证框架。这些补全的数量可能与IAF中的参数数量成指数关系。在某些情况下，与标准AF的复杂性相比，这会导致推理的复杂性增加。在本文中，我们采用了一种针对部分AF（IAF的一个子类）发起的方法，其中包括定义新形式的冲突-自由和防御，Dung的AF语义定义下的属性。我们将这些语义从PAF推广到IAF。我们证明，在三种可能的可容许类型中，只有两种满足某些期望的性质。我们使用它们来定义两个新的基于扩展的语义家族。我们研究了这些语义的属性，特别是我们表明，它们的复杂性与Dung的AF的情况相同。最后，我们提出了这些语义逻辑编码，这为开发基于SAT的求解器以使用我们新的IAF语义进行推理铺平了道路。
关于整个系列，请参见[Zbl 1507.03006号].

引用于1文件

MSC公司：

03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑

关键词：

抽象论证;不确定性

软件：

CoQuiAAS公司
PDF格式BibTeX公司 XML格式引用
\textit{J.-G.Mailly}，莱克特。注释计算。科学。13040、322--341（2021；Zbl 07671027）
全文： 内政部

参考文献：

[1] Amgoud，L。；Cayrol，C.，《基于可接受参数产生的推理模型》，《数学年鉴》。Artif公司。智力。，34, 1-3, 197-215 (2002) ·Zbl 1002.68172号 ·doi:10.1023/A:1014490210693
[2] Amgoud，L。；Cayrol，C。；Lagasquie-Schiex，M。；Livet，P.，《论论证框架中的两极性》，《国际情报杂志》。系统。，23, 10, 1062-1093 (2008) ·Zbl 1151.68049号 ·数字对象标识码：10.1002/int.20307
[3] Arora，S。；Barak，B.，《计算复杂性——现代方法》（2009），剑桥：剑桥大学出版社，剑桥·Zbl 1193.68112号 ·doi:10.1017/CBO9780511804090
[4] Baroni，P.，Caminada，M.，Giacomin，M.：抽象论证框架及其语义。在：Baroni，P.、Gabbay，D.、Giacomin，M.、van der Torre，L.（编辑）《正式论证手册》，第159-236页。学院出版物（2018）·Zbl 1395.03005号
[5] Baroni，P.，Giacomin，M.，Liao，B.，van der Torre，L.：论证方案中的不确定性。摘自：2014年7月21日至25日，意大利福勒切塞纳，辩论理论与自然语言处理之间的边界和联系研讨会论文集（2014）
[6] Baumeister，D。；Järvisalo，M。；Neugebauer，D。；Niskanen，A。；Rothe，J.，《不完全论证框架中的接受》，Artif。智力。，295 (2021) ·Zbl 1519.68244号 ·doi:10.1016/j.artint.2021.103470
[7] Baumeister，D。；Neugebauer，D。；Rothe，J。；Walsh，T.，攻击完整论证框架中的验证，算法决策理论，341-358（2015），Cham:Springer，Cham·Zbl 1408.68135号 ·doi:10.1007/978-3-319-23114-3_21
[8] Baumeister，D。；Neugebauer，D。；Rothe，J。；Schadrack，H.，不完整论证框架中的验证，人工制品。智力。，264, 1-26 (2018) ·Zbl 1478.68343号 ·doi:10.1016/j.artint.2018.08.001
[9] Besnard，P.，Doutre，S.：检查一组参数的可接受性。在：第十届非单调推理国际研讨会（NMR 2004），第59-64页（2004）
[10] 卡米纳达，M。；邓恩，PE，《强可容许性重访：理论与应用》，《计算论证》。，10, 3, 277-300 (2019) ·doi:10.3233/AAC-190463
[11] Cayrol，C。；德弗雷德，C。；Lagasquie-Schiex，MC；Mellouli，K.，《处理论证中的无知：部分论证框架的语义》，《不确定性推理的符号和定量方法》，259-270（2007），海德堡：斯普林格·Zbl 1148.68503号 ·doi:10.1007/978-3-540-75256-125
[12] 科斯特·马奎斯（Coste-Marquis，S.）。；德弗雷德，C。；科尼奇尼，S。；Lagasquie-Schiex，M。；Marquis，P.，关于Dung论证系统的合并，Artif。智力。，17110-15730-753（2007年）·Zbl 1168.68563号 ·doi:10.1016/j.artint.2007.04.012
[13] Dimopoulos，Y.，Mailly，J.G.，Moraitis，P.：控制论证框架。摘自：第32届AAAI人工智能会议（AAAI 2018），第4678-4685页（2018）
[14] Dung，PM，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-358 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[15] 邓恩，体育；亨特，A。；McBurney，P。；帕森斯，S。；MJ Wooldridge，《加权参数系统：基本定义、算法和复杂性结果》，Artif。智力。，175, 2, 457-486 (2011) ·Zbl 1216.68261号 ·doi:10.1016/j.artint.2010.09.005
[16] Dvorák，W.，Dunne，P.E.：形式论证中的计算问题及其复杂性。在：Baroni，P.、Gabbay，D.、Giacomin，M.、van der Torre，L.（编辑）《正式论证手册》，第631-688页。学院出版物（2018）
[17] Egly，U.，Woltran，S.：使用量化布尔公式在论证框架中进行推理。收录于：《论证的计算模型：2006年COMMA会议录》，2006年9月11日至12日，英国利物浦，第144卷，第133-144页（2006）
[18] Fazzinga，B.，Flesca，S.，Furfaro，F.：重新审视不完整抽象论证框架上的扩展概念。在：第29届国际人工智能联合会议（IJCAI 2020），第1712-1718页（2020）·Zbl 1464.68357号
[19] 亨特：概率抽象论证的一些基础。收录于：Verheij，B.、Szeider，S.、Woltran，S.（编辑）《论证的计算模型——2012年COMMA会议录》，奥地利维也纳，2012年9月10日至12日。《人工智能与应用前沿》，第245卷，第117-128页。IOS出版社（2012）
[20] Lagniez，J.M.、Lonca，E.、Mailly，J.G.：CoQuiAAS：基于约束的快速抽象论证求解器。摘自：第27届IEEE人工智能工具国际会议，ICTAI 2015，Vietri sul Mare，意大利，2015年11月9日至11日，第928-935页。IEEE计算机学会（2015）
[21] 劳伦斯，J。；Reed，C.，《论证挖掘：调查》，《计算》。语言学家。，45, 4, 765-818 (2019) ·doi:10.1162/colia_00364
[22] Li，H.，Oren，N.，Norman，T.J.：概率论证框架。摘自：第一届形式论证理论与应用国际研讨会论文集（TAFA 2011），第1-16页（2011）
[23] Mailly，J.G.：控制论证框架的可能可控性。摘自：第八届国际争论计算模型会议（COMMA 2020），第283-294页（2020）·Zbl 1464.68366号
[24] Niskanen，A.，Järvisalo，M.：（rm\mu）-托卡西亚：一个有效的抽象论证推理器。收录于：Calvanee，D.，Erdem，E.，Thielscher，M.（编辑）《第17届知识表示与推理原则国际会议论文集》，KR 2020，希腊罗得州，2020年9月12-18日，第800-804页（2020）
[25] Niskanen，A.、Neugebauer，D.、Järvisalo，M.：控制论证框架的可控性。摘自：《第二十届国际人工智能联合会议论文集》，IJCAI 2020，第1855-1861页（2020）
[26] 罗西特，J。；梅利，JG；迪莫普洛斯，Y。；Moraitis，P.，United we stand:基于力量的论证中的应计项目，Argument Comput。，12, 1, 87-113 (2021) ·doi:10.3233/AAC-200904
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。