×
安德烈亚斯·赫齐格;安东尼奥·尤斯特·格内尔

定性不确定性的抽象论证：动态逻辑分析。 （英语） 兹比尔07671020

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 190-208 (2021).
摘要：我们扩展了DL-PA（命题赋值的动态逻辑）中抽象论证框架的现有编码，以捕获用于定性形式的不确定性论证的不同形式。更具体地说，我们编码了（丰富的）不完全论证框架和控制论证框架的主要推理任务。之后，受我们编码的启发，我们定义并研究了一类新的结构，这些结构表现出最大的表达能力：约束不完全论证框架.
关于整个系列，请参见[Zbl 1507.03006号].

引用于1文件

MSC公司：

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

关键词：

不完全论证框架;命题赋值的动态逻辑;控制论证框架

软件：

非洲渔业协会
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}和\textit{A.Yuste-Ginel}，莱克特。注释计算。科学。13040、190--208（2021；Zbl 07671020）
全文： 内政部 哈尔

参考文献：

[1] Amgoud，L。；Vesic，S.，《基于偏好的论证框架的新方法》，Ann.Math。Artif公司。智力。，63, 2, 149-183 (2011) ·Zbl 1234.68371号 ·doi:10.1007/s10472-011-9271-9
[2] Atkinson，K.，《走向人工论证》，AI Mag.，38，3，25-36（2017）·doi:10.1609/aimag.v38i3.2704
[3] Balbiani，P.、Herzig，A.、Schwarzentruber，F.、Troquard，N.：DL-PA和DCL-PC：模型检查和可满足性问题确实存在于PSPACE中。CoRR abs/1411.7825（2014）。http://arxiv.org/abs/1411.7825
[4] Balbiani，P.，Herzig，A.，Troquard，N.：命题赋值的动态逻辑：PDL的良好变体。摘自：2013年第28届ACM/IEEE计算机科学逻辑年会，第143-152页。IEEE（2013）。doi:10.1109/LICS.2013.20·Zbl 1366.03208号
[5] Baroni，P.，Caminada，M.，Giacomin，M.：抽象论证框架及其语义。摘自：《形式论证手册》，第159-236页。学院出版物（2018）
[6] 巴罗尼，P。；塞鲁蒂，F。；Giacomin，M。；Guida，G。；Sossai，C。；Chemello，G.，《将攻击与抽象论证框架中的攻击进行比较》，《不确定性推理的符号和定量方法》，83-94（2009），海德堡：斯普林格出版社·Zbl 1203.68198号 ·doi:10.1007/978-3-642-02906-6_9
[7] Baumann，R.，Breuka，G.：扩展论证框架：强制和单调性结果。收录于：Baroni，P.，Cerutti，F.，Giacomin，M.，Simari，G.R.（编辑）《2010年COMMA会议录》，第216卷，第75-86页。IOS出版社（2010）。doi:10.3233/978-1-60750-619-5-75
[8] Baumeister，D。；Järvisalo，M。；Neugebauer，D。；Niskanen，A。；Rothe，J.，《不完全论证框架中的接受》，Artif。智力。，295 (2021) ·Zbl 1519.68244号 ·doi:10.1016/j.artint.2021.103470
[9] Baumeister，D.、Neugebauer，D.和Rothe，J.：不完整论证框架中的轻信和怀疑接受。参见：《2018年COMMA会议记录》。人工智能与应用前沿，第305卷，第181-192页。IOS出版社（2018）。doi:10.3233/978-1-61499-906-5-181·Zbl 1430.68299号
[10] Baumeister，D.，Neugebauer，D.，Rothe，J.，Schadrack，H.：不完整论证框架中验证的复杂性。收录于：McIlraith，S.A.、Weinberger，K.Q.（编辑）《第三十二届AAAI人工智能会议论文集》（AAAI 2018），第1753-1760页。AAAI出版社（2018）·Zbl 1478.68343号
[11] Baumeister，D。；Neugebauer，D。；Rothe，J。；Schadrack，H.，不完整论证框架中的验证，人工制品。智力。，264, 1-26 (2018) ·Zbl 1478.68343号 ·doi:10.1016/j.artint.2018.08.001
[12] 工作台盖，TJ；Dunne，PE，人工智能论证，Artif。智力。，171, 10-15, 619-641 (2007) ·Zbl 1168.68560号 ·doi:10.1016/j.artint.2007.05.001
[13] 贝斯纳德，P。；Cayrol，C。；Lagasquie-Schiex，MC，《逻辑理论与抽象论证：现有著作综述》，《论证计算》。，11，1-2，41-102（2020）·doi:10.3233/AAC-190476
[14] Besnard，P.，结构化论证导论，论证计算。，5, 1, 1-4 (2014) ·doi:10.1080/19462166.2013.869764
[15] 卡米纳达，M.，《理性假设：将论证理论应用于非单调推理》，J.Appl。日志。，4, 8, 2707-2734 (2017)
[16] Cayrol，C。；Lagasquie-Schiex，MC；Godo，L.，《关于两极论证框架中论点的可接受性，不确定性推理的符号和定量方法》，378-389（2005），海德堡：斯普林格·Zbl 1122.68639号 ·doi:10.1007/11518655_33
[17] Coste-Marquis，S.，Devred，C.，Marquis，P.：约束论证框架。载：《第十届知识表示与推理原则国际会议论文集》，第112-122页。AAAI出版社（2006）·Zbl 1122.68642号
[18] Dimopoulos，Y.，Mailly，J.，Moraitis，P.：控制论证框架。收录于：McIlraith，S.A.、Weinberger，K.Q.（编辑）《第三十二届AAAI人工智能会议论文集》（AAAI 2018）、《第三十届人工智能创新应用》（IAAI 2018，第4678-4685页。AAAI出版社（2018）。https://www.aai.org/ocs/index.php/aaai/AAAI18/paper/view/16639网址
[19] Dimopoulos，Y.，Mailly，J.G.，Moraitis，P.：基于辩论的谈判，对手的个人资料不完整。收录于：《13èmes Journées d’Intelligence Artificielle Fondamentale》（2019年国际田联），第91-100页（2019）
[20] Doutre，S.，Herzig，A.，Perrussel，L.：抽象论证的动态逻辑框架。参见：Baral，C.、De Giacomo，G.、Eiter，T.（编辑）第十四届知识表示和推理原则国际会议。AAAI出版社（2014）·Zbl 07229670号
[21] Doutre，S。；Herzig，A。；佩鲁塞尔，L。；Liao，B。；奥戈特内斯，T。；Wang，YN，《动态逻辑中的抽象论证：表示、推理和变化》，《动力学、不确定性和推理》，153-185（2019），新加坡：斯普林格出版社，新加坡·Zbl 07229670号 ·doi:10.1007/978-981-13-7791-48
[22] Doutre，S。；Maffre，F。；McBurney，P。；Benferhat，S。；Tabia，K。；Ali，M.，《抽象论证的动态逻辑框架：添加和删除论点》，《人工智能的进展：从理论到实践》，295-305（2017），查姆：斯普林格，查姆·数字对象标识代码：10.1007/978-3-319-60045-1_32
[23] Dung，PM，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-357 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[24] Fazzinga，B.，Flesca，S.，Furfaro，F.：重新审视不完整抽象论证框架上的扩展概念。摘自：《2020年国际JCAI会议录》，第1712-1718页。IJCAI组织，2020年7月。doi:10.24963/ijcai.2020/237·Zbl 1464.68357号
[25] 格罗西：论论证理论的逻辑。参见：《第九届自主代理和多代理系统国际会议记录》，第409-416页。IFAMA（2010）
[26] Harel，D。；Kozen，D。；Tiuryn，J.，《动态逻辑》（2000），剑桥：麻省理工学院出版社，剑桥·Zbl 0976.68108号 ·doi:10.7551/mitpress/2516.001.0001
[27] Herzig，A.，Yuste-Ginel，A.：关于不完全论证框架的认知逻辑。摘自：《知识表示和推理原则国际会议论文集》。AAAI出版社（2021）
[28] 李，H。；俄勒冈州。；TJ诺曼；莫吉尔，S。；北奥伦。；Toni，F.，《概率论证框架，形式论证的理论与应用》，1-16（2012），海德堡：斯普林格出版社·doi:10.1007/978-3-642-29184-5_1
[29] Mailly，J.G.：关于丰富而不完整的论证框架的注释。arXiv预印本arXiv:2009.04869（2020）
[30] Niskanen，A.：抽象论证中动力学和不确定性的计算方法。Helsingin yliopisto博士论文（2020年）
[31] Niskanen，A.、Neugebauer，D.、Järvisalo，M.等人：控制论证框架的可控性。摘自：第二十届国际人工智能联合会议记录（IJCAI 2020）。IJCAI组织（2021年）。doi:10.24963/ijcai.2020/257·Zbl 1519.68244号
[32] Proietti，C.，Yuste-Ginel，A.：抽象论证的动态认知逻辑。合成1-60（2021）。doi:10.1007/s11229-021-03178-5·Zbl 1496.03074号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。