×
西奥弗拉斯托斯曼塔代利斯;斯蒂法诺·比斯塔雷利

概率抽象论证框架，一种可能的世界观。 （英语） Zbl 1434.68558号

国际J近似推理 119, 204-219 (2020).
摘要：Dung在《抽象论证框架》（Abstract Arguration Frameworks）中创立作品后，人们对扩展Dung的语义以描述更复杂或真实的生活场景越来越感兴趣。其中一些方法采用加权或概率扩展的方向。最突出的概率方法之一是星座概率抽象论证框架。
本文首先将可能世界与星座语义联系起来；然后介绍了星座语义的概率攻击范式；我们进一步证明了概率攻击范式足以表示星座语义的任何概率抽象论证框架；然后我们说明了它与概率逻辑编程的联系，并简要介绍了一个现有的实现。本文还讨论了星座语义的概率论元范式，并证明了其等价性。最后，本文介绍了一种新的星座语义概率结构，即概率团。

引用于2文件

MSC公司：

68T27型 人工智能中的逻辑
第68页第17页 逻辑编程
68层37 人工智能背景下的不确定性推理

关键词：

抽象论证框架;概率抽象论证框架;正规形式;概率集团;概率逻辑程序设计

软件：

ConArg2公司;探测日志;非洲渔业协会;CP逻辑;PITA公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Mantadelis}和\textit{S.Bistarelli}，国际J.近似推理119204-219（2020；Zbl 1434.68558）
全文： DOI程序 链接

参考文献：

[1] Dung，P.M.，逻辑编程的论证理论基础，J.Log。程序。，22, 2, 151-171 (1995) ·Zbl 0816.68045号
[2] Bondarenko，A。；Toni，F。；Kowalski，R.A.，基于假设的非单调推理框架，（逻辑编程和非单调推理（LPNMR）（1993）），171-189
[3] 北奥伦。；Norman，T.J.，《基于证据的论证的语义学》，（论证的计算模型（COMMA）（2008）），276-284
[4] Wu，Y。；Caminada，M.，《基于标签的论证状态》，Stud.Log。，3, 4, 12-29 (2010)
[5] 巴罗尼，P。；Cerutti，F。；Giacomin，M。；Guida，G.，Afra:递归攻击的论证框架，国际期刊近似推理。，52，1，19-37（2011年）·Zbl 1211.68433号
[6] Brewka，G。；Ellmauthaler，S。；斯特拉斯，H。；Wallner，J.P。；Woltran，S.，《抽象辩证框架》。概述，IfCoLog J.Log。申请。，4, 8 (2017)
[7] Amgoud，L。；Cayrol，C。；Lagasquie-Schiex，M.-C.，《论论证框架中的两极性》（NMR（2004））·Zbl 1151.68049号
[8] 莫吉尔，S。；Prakken，H.，《偏好论证的一般描述》，Artif。智力。，195361-397（2013）·Zbl 1270.68284号
[9] Bench-Capon，T.J.M.，《使用基于价值的论证框架进行实际论证的说服》，J.Log。计算。，13, 3, 429-448 (2003) ·Zbl 1043.03026号
[10] 比斯塔雷利，S。；罗西，F。；桑蒂尼，F.，《一种新颖的加权辩护及其在抽象论证中的放松》，《国际近似推理》。，92, 66-86 (2018) ·Zbl 1423.68479号
[11] Gabbay，D.M.，《纤维论证框架》，研究日志。，93, 2, 231 (2009) ·Zbl 1185.68670号
[12] Hunter，A.，《建模不确定逻辑参数的概率方法》，《国际期刊近似推理》。，54，1，47-81（2013）·Zbl 1266.68176号
[13] Thimm，M.，抽象论证的概率语义学，（欧洲人工智能会议（ECAI）（2012）），750-755·Zbl 1327.68290号
[14] 亨特，A。；Thimm，M.，《抽象论证框架下的概率推理》，J.Artif。智力。决议，59，565-611（2017）·Zbl 1418.68193号
[15] 李，H。；北奥伦。；Norman，T.J.，概率论证框架，（形式论证理论与应用（TAFA）（2011）），1-16
[16] Fazzinga，B。；弗莱斯卡，S。；Parisi，F.，《概率抽象论证的复杂性》，（国际人工智能联合会议（IJCAI）（2013）），898-904
[17] Doder，D。；Woltran，S.，概率论证框架——逻辑方法，（可扩展不确定性管理（SUM）（2014）），134-147
[18] Dondio，P.，《概率论证框架的计算分析》，Cybern。系统。，45, 3, 254-278 (2014) ·Zbl 1331.68221号
[19] Liao，B。；Xu，K。；Huang，H.，通过刻画子图构建概率论证语义：理论和实证结果（2016），CoRR
[20] 亨特，A。；Thimm，M.，《对话论证中辩证结果的优化》，《国际近似理性杂志》。，78, 73-102 (2016) ·Zbl 1386.68158号
[21] Hunter，A.，概率抽象论证的一些基础，（论证的计算模型（COMMA）（2012）），117-128
[22] M.W.A.卡米纳达。；卡尼埃利，W.A。；邓恩，P.E.，《半静态语义学》，J.Log。计算。，22, 5, 1207-1254 (2012) ·兹比尔1267.68223
[23] Gaggl，S.A。；Woltran，S.，《重新审视Cf2语义》，（论证的计算模型（COMMA）（2010）），243-254
[24] 巴罗尼，P。；卡米纳达，M。；Giacomin，M.，《论证语义学导论》，Knowl。工程版本，26，4，365-410（2011）
[25] Mantadelis，T。；Janssens，G.，概率设置的专用表，（逻辑编程国际会议，第7卷（2010）），124-133·Zbl 1237.68190号
[26] Riguzzi，F。；Swift，T.，《PITA系统：不确定性推理的建立和答案包容》（2011年），CoRR·Zbl 1218.68169号
[27] Kimmig，A。；Demoen，B。；De Raedt，L.公司。；Santos Costa，V。；Rocha，R.，关于概率逻辑编程语言ProbLog的实现，理论与实践。日志。程序。，11, 2-3, 235-262 (2011) ·Zbl 1220.68037号
[28] 费伦斯，D。；Van Den Broeck，G。；伦肯斯，J。；Shterionov，D。；Gutmann，B。；Thon，I。；詹森，G。；De Raedt，L.，《使用加权布尔公式的概率逻辑程序中的推理和学习》，理论与实践。日志。程序。，15358-401（2014年）·Zbl 1379.68062号
[29] Shterionov，D.S。；Janssens，G.，概率推理管道的实现和性能，（声明语言的实用方面（PADL）（2015）），90-104
[30] Bragaglia，S。；Riguzzi，F.，带注释析取的逻辑程序的近似推理，（归纳逻辑编程（ILP）（2011）），30-37·Zbl 1329.68208号
[31] 弗拉塞勒，J。；Van den Broeck，G。；Kimmig，A。；Meert，W。；De Raedt，L.，《概率逻辑程序中的任意时间推理与Tp编译》，（国际人工智能联合会议（IJCAI）（2015）），1852-1858
[32] Mantadelis，T。；Rocha，R.，使用迭代深化进行概率逻辑推理，（声明语言的实践方面（PADL）（2017）），198-213
[33] Oikarinen，E。；Woltran，S.，《描述论证框架的强等价性》，Artif。智力。，175, 14, 1985-2009 (2011) ·Zbl 1252.68279号
[34] Sato，T.，《具有分布语义的逻辑程序的统计学习方法》，（逻辑程序设计国际会议论文集：ICLP论文集（1995）），715-729
[35] De Raedt，L。；Kimmig，A.，概率（逻辑）编程概念，马赫。学习。，100, 1, 5-47 (2015) ·Zbl 1346.68050号
[36] Mantadelis，T。；Janssens，G.，嵌套概率推理，（约束逻辑编程系统实现国际学术讨论会（CICLOPS）（2011））
[37] 比斯塔雷利，S。；Santini，F.，Conarg:一个基于约束的论证系统计算框架，（IEEE国际人工智能工具会议（ICTAI）（2011）），605-612
[38] 比斯塔雷利，S。；Mantadelis，T。；桑蒂尼，F。；Taticchi，C.，《使用MetaProbLog和ConArg的概率论证框架》，（人工智能工具国际会议（ICTAI）（2018）），675-679
[39] Kimmig，A。；Gutmann，B。；桑托斯·科斯塔（Santos Costa，V.），《用记忆换取答案：走向提出问题》（2009年统计关系学习国际研讨会）
[40] Mantadelis，T。；Rocha，R.，《使用迭代深化进行概率逻辑推理》，（声明语言的实用方面（PADL）（2017）），198-213
[41] 新泽西州尼尔森，概率逻辑，Artif。智力。，28, 1, 71-87 (1986) ·Zbl 0589.03007号
[42] 文内肯斯，J。；Denecker，M。；Bruynooghe，M.，《CP-logic：因果概率事件及其与逻辑编程的关系》，理论与实践。日志。程序。，9, 3, 245-308 (2009) ·Zbl 1179.68025号
[43] Poole，D.，《独立选择逻辑及其以外》，222-243（2008）·Zbl 1137.68596号
[44] Gutmann，B.，《概率逻辑程序中的连续分布和参数估计（概率逻辑程序的超连续verdelingen en het schatten van参数）》（2011年），Katholieke Universiteit Leuven博士论文
[45] Rabiner，L.R.，语音识别中隐藏马尔可夫模型和选定应用教程，Proc。IEEE，77，2，257-286（1989）
[46] Fazzinga，B。；弗莱斯卡，S。；Furfaro，F.，概率抽象论证中基本问题的复杂性：超越独立性（扩展抽象），（第二十八届国际人工智能联合会议论文集。第二十八届国际人工智能联合会议论文集，IJCAI-19，国际人工智能联合会议组织（2019）），6362-66366
[47] 比斯塔雷利，S。；Santini，F.，《参数组合：约束编程方法》，Fundam。通知。，124, 4, 383-401 (2013) ·Zbl 1290.68116号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。