×
尼古拉·卡弗;克里斯特尔·拜尔;马丁·迪勒;克莱门斯·杜伯斯拉夫;莎拉·爱丽丝·加格尔;霍尔格·赫尔曼斯

概率论证中的可容许性。 （英语） Zbl 07566003号

J.阿蒂夫。智力。研究（JAIR） 74, 957-1009 (2022).
摘要：抽象论证是一种重要的推理框架。它具有多种语义，最近被概率增强，从而能够对论证进行定量处理。虽然在抽象论证框架中，可容许性是经典推理的一个基本概念，但到目前为止，它几乎没有在概率设置中得到反映。在本文中，我们讨论了基于概率概念的抽象论证的定量处理。我们的方法遵循为抽象论证定义概率语义的自然思想，系统地对参数集的联合概率分布施加约束，而不是对单个参数的概率施加约束。因此，可能存在唯一定义的满足约束的分布，但也可能没有、多个甚至无限多个满足约束的分配。我们提供了对应于经典完整和稳定语义的概率语义，并展示了标记方案如何提供从分布返回到参数标记的桥梁。关于概率论证的现有工作，我们提出了语义概念的分类法。通过基于约束的方法，概率语义的标准推理问题可以由SMT求解器解决，正如我们通过概念证明实现所证明的那样。

引用于1文件

MSC公司：

68泰克 人工智能

关键词：

概率推理;不确定性

软件：

PySMT公司;SMT-LIB语言;CVXOPT公司;z3（零3）
PDF格式BibTeX公司 XML格式引用
\textit{N.Käfer}等人，J.Artif。智力。研究（JAIR）74，957--1009（2022；Zbl 07566003）
全文： 内政部

参考文献：

[1] Amgoud，L.和Cayrol，C.（2002年）。基于可接受论据生成的推理模型。数学与人工智能年鉴，34（1-3），197-215·Zbl 1002.68172号
[2] Amgoud，L.、Cayrol，C.、Lagasquie-Schiex，M.和Livet，P.（2008）。论论证框架中的两极性。国际智能系统杂志，23（10），1-32·Zbl 1151.68049号
[3] Andersen，M.、Dahl，J.和Vandenberghe，L.（2014）。Cvxopt–用于凸优化的python软件。http://cvxopt.org/。
[4] Baier，C.、Diller，M.、Dubslaff，C.、Gaggl，S.A.、Hermann，H.和K¨afer，N.（2021）。概率论证中的可容许性。《第18届知识表示和推理原则国际会议论文集》，第87-98页。
[5] Baroni，P.、Caminada，M.和Giacomin，M.（2011年）。论证语义学导论。《知识工程评论》，26（4），365-410。
[6] Baroni，P.、Giacomin，M.和Vicig，P.（2014）。抽象论证中认识概率的合理性条件。Parsons，S.，Oren，N.，Reed，C.，&Cerutti，F.（编辑），《第五届国际争论计算模型会议论文集》（COMMA 2014），《人工智能与应用前沿》第266卷，第121-132页。IOS出版社。
[7] Barrett，C.、Fontaine，P.和Tinelli，C.（2016）。可满足性模理论库（SMT-LIB）。www.SMT-LIB.org。
[8] Baumann，R.、Brewka，G.和Ulbricht，M.（2020年）。重新审视抽象论证的基础——基于弱可接受性和弱防御的语义学。在第三十四届AAAI人工智能会议上，AAAI 2020，第三十二届人工智能创新应用会议，IAAI 2020。AAAI出版社。
[9] Bench-Capon，T.J.M.（2003）。使用基于价值的论证框架在实际论证中进行说服。逻辑与计算杂志，13（3），429-448·兹比尔1043.03026
[10] Boella，G.、Gabbay，D.M.、van der Torre，L.W.N.和Villata，S.（2010年）。支持抽象论证。Baroni，P.、Cerutti，F.、Giacomin，M.和Simari，G.R.（编辑），第三届国际争论计算模型会议论文集·Zbl 1280.68255号
[11] Brewka，G.、Straß，H.、Ellmauthaler，S.、Wallner，J.P.和Woltran，S.（2013）。重新审视辩证框架。罗西·F（编辑），《第23届国际人工智能联合会议论文集》（IJCAI 2013），第803-809页。IJCAI/AAAI。
[12] Brewka，G.和Woltran，S.（2010年）。抽象辩证框架。Lin，F.、Sattler，U.和Truszczy´nski，M.（编辑），《第十二届知识表示和推理原则国际会议论文集》（KR 2010），第102-111页。AAAI出版社。
[13] Caminada，M.、Carnielli，W.和Dunne，P.（2006）。半稳定语义。。22(5), 1207-1254. ·Zbl 1267.68223号
[14] Caminada，M.和Gabbay，D.（2009年）。形式论证的逻辑解释。《逻辑研究》，93（2-3），109-145·Zbl 1188.03011号
[15] de Finetti，B.（1974年）。概率论。威利·Zbl 0328.60002号
[16] de Moura，L.和Björner，N.（2008）。Z3：高效的SMT求解器。InTools and Algorithms for the Construction and Analysis of Systems，《计算机科学讲稿》第4963卷，第337-340页。施普林格-柏林-海德堡。
[17] Diller，M.、Haret，A.、Linsbichler，T.、R¨ummele，S.和Woltran，S.（2018年）。抽象论证中基于扩展的信念修正方法。国际期刊近似原因。，93, 395-423. ·Zbl 1452.68185号
[18] Doutre，S.和Mailly，J.（2018年）。约束与变化：抽象论证动力学综述。参数计算。，9(3), 223-248.
[19] Dung，P.M.（1995）。论论证的可接受性及其在非单调推理、逻辑编程和n人博弈中的基本作用。人工智能，77（2），321-358·Zbl 1013.68556号
[20] Dung，P.M.和Thang，P.M（2010年）。针对基于陪审团的争议解决的（概率）论证。Baroni，P.、Cerutti，F.、Giacomin，M.和Simari，G.R.（编辑），《第三届国际争论计算模型会议论文集》（COMMA 2010），《人工智能与应用前沿》第216卷，第171-182页。IOS出版社·Zbl 1198.68234号
[21] Dunne，P.E.、Hunter，A.、McBurney，P.、Parsons，S.和Wooldridge，M.（2011）。加权参数系统：基本定义、算法和复杂性结果。人工智能，175（2），457-486·Zbl 1216.68261号
[22] Dupin de Saint-Cyr，F.、Bisquert，P.、Cayrol，C.和Lagasquie-Schiex，M.-C.（2016）。雅拉语的论证更新（又一种论证逻辑语言）。国际近似推理杂志，75，57-92·Zbl 1356.68216号
[23] Dvoár´ak，W.和Dunne，P.E.（2018年）。形式论证中的计算问题及其复杂性，第631-687页。学院出版物。
[24] Dvoár´ak，W.（2012）。抽象论证的计算方面。维恩理工大学博士论文。
[25] Faqeh，R.、Fetzer，C.、Hermanns，H.、Hoffmann，J.、Klauck，M.、K–ohl，M.A.、Steinmetz，M.和Weidenbach，C.（2020年）。通过基于证据的持续认证实现动态可靠系统。Margaria，T.，&Steffen，B.（Eds.），第九届形式方法应用杠杆化国际研讨会论文集，ISoLA 2020，验证与确认：工程原理，第二部分，计算机科学讲稿第12477卷，第416-439页。斯普林格。
[26] Fazzinga，B.、Flesca，S.和Parisi，F.（2015）。概率抽象论证框架的复杂性。ACM计算逻辑汇刊，16（3），22:1-22:39·Zbl 1354.68253号
[27] Gaggl，S.A.、Rudolph，S.和Straß，H.（2021）。关于抽象辩证框架的分解和基于天真的语义的复杂性。《人工智能研究杂志》，70，1-64·Zbl 1476.68251号
[28] Gario，M.和Micheli，A.（2015）。Pysmt：一个与解算器无关的库，用于基于smt的算法的快速原型制作。2015年InSMT研讨会。
[29] Hadoux，E.、Hunter，A.和Polberg，S.（2021）。说服的战略论证对话：基于说服者信念和担忧建模的框架和实验。CoRR，abs/2101.11870。
[30] Hunter，A.（2012年）。概率抽象论证的一些基础。Verheij，B.、Szeider，S.和Woltran，S.（编辑），《国际计算模型争论会议论文集》（COMMA 2012），《人工智能与应用前沿》第245卷，第117-128页。IOS出版社。
[31] Hunter，A.（2013）。建模不确定逻辑参数的概率方法。国际近似推理杂志，54（1），47-81·兹比尔1266.68176
[32] Hunter，A.、Polberg，S.和Thimm，M.（2020年）。用于表示和推理论点的积极和消极影响的认识图。人工智能，281103236·Zbl 1435.68316号
[33] Hunter，A.和Thimm，M.（2017年）。具有抽象论证框架的概率推理。《人工智能研究杂志》，59565-611·Zbl 1418.68193号
[34] K¨afer，N.（2020年）。概率抽象论证的一般框架。萨尔州大学硕士论文。
[35] Li，H.、Oren，N.和Norman，T.J.（2011）。概率论证框架。在Modgil，S.、Oren，N.和Toni，F.（编辑），《形式论证理论与应用第一届国际研讨会（TAFA 2011）修订论文集》，计算机科学讲义第7132卷，第1-16页。斯普林格。
[36] Modgil，S.和Prakken，H.（2018年）。基于规则的抽象论证。在Baroni，P.、Gabbay，D.、Giacomin，M.和van der Torre，L.（编辑），《形式论证手册》，第6章。学院出版物·Zbl 1409.68282号
[37] Noioua，F.和Risch，V.（2011年）。具有必要性的论证框架。Benferhat，S.和Grant，J.（编辑），《第五届可扩展不确定性管理国际会议论文集》（SUM 2011），计算机科学讲义第6929卷，第163-176页。斯普林格。
[38] Polberg，S.和Doder，D.（2014）。概率抽象辩证框架。Ferm´e，e.，&Leite，J.（编辑），《第14届欧洲人工智能逻辑会议论文集》（JELIA 2014），计算机科学讲义第8761卷，第591-599页。斯普林格·Zbl 1343.68228号
[39] Potyka，N.（2019年）。认知概率论证的多项式时间片段。《国际近似推理杂志》，115265-289·Zbl 1468.68216号
[40] Rienstra，T.、Thimm，M.、Liao，B.和van der Torre，L.W.N.（2018年）。基于SCC可分解性的概率抽象论证。Thielscher，M.、Toni，F.和Wolter，F.（编辑），《第16届知识表示和推理原则国际会议论文集》（KR 2018），第168-177页。AAAI出版社。
[41] Straß，H.和Wallner，J.P.（2015）。用近似不动点理论分析抽象辩证框架的计算复杂性。人工智能，22634-74·Zbl 1346.68188号
[42] Thimm，M.（2012年）。抽象论证的概率语义学。In Raedt，L.D.、Bessiere，C.、Dubois，D.、Doherty，P.、Frasconi，P.，Heintz，F.和Lucas，P.J.F.（编辑），《第20届欧洲人工智能会议论文集》（ECAI 2012）。包括著名的人工智能应用（PAIS-2012）系统演示轨道，《人工智能和应用前沿》第242卷，第750-755页。IOS出版社·Zbl 1327.68290号
[43] Thimm，M.、Baroni，P.、Giacomin，M.和Vicig，P.（2017）。抽象论证中扩展的概率。Black，E.，Modgil，S.，&Oren，N.（编辑），《第四届形式论证理论与应用国际研讨会论文集》（TAFA 2017），计算机科学讲义第10757卷，第102-119页。施普林格·Zbl 1462.68186号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。