马丁·迪勒;阿德里安·哈雷;托马斯·林斯比勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 一种基于扩展的抽象论证信念修正方法。 （英语） Zbl 1452.68185号 国际J近似推理 93, 395-423 (2018). 摘要：论证是一个内在的动态过程，近年来，人们进行了大量的研究，以了解如何将开创性的AGM信念变化理论应用于论证，尤其是Dung的抽象论证框架（AFs）。然而，这些尝试都没有成功地解决AF的修订可以由单个AF表示的自然情况。在这里，我们提出了这个问题的解决方案，它适用于许多著名的论证语义学。为了证明一个完全表示定理，我们利用了论证和信念改变两个领域的最新进展。特别是，我们在论证中使用了可实现性的概念，并在霍恩修订版中引入了合规性的概念。我们还提出了一系列专门为AF定制的具体信念改变算子，并分析了它们的计算复杂性。 引用于9文件 MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 关键词：抽象论证;信念修正 PDF格式BibTeX公司 XML格式引用 \textit{M.Diller}等人，《国际近似推理》93，395--423（2018；Zbl 1452.68185） 全文： 内政部 参考文献： [1] Carlos E.Alchourrón。；Gärdenfors，Peter；Makinson，David，《论理论变化的逻辑：部分满足收缩和修正函数》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号 [2] 凯蒂·阿特金森；彼得罗·巴罗尼；马西米利亚诺·贾科明；安东尼·亨特（Anthony Hunter）；亨利·普拉肯（Henry Prakken）；克里斯·里德（Chris Reed）；吉列尔莫·西马里（Guillermo R.Simari）。；Thimm，Matthias公司；Villata，Serena，《走向人工论证》，AI Mag.，38，3，25-36（2017） [3] 萨尔瓦多Barberà；沃尔特·博塞特（Walter Bossert）；Pattanaik，Prasanta K.，《对象的排序集》（Salvador Barberá；Peter J.Hammond；Christian Seidl，《效用理论手册：第2卷扩展》（2004），Springer US:Springer US Boston，MA），893-977 [4] 彼得罗·巴罗尼；马西米利亚诺（Massimiliano Giacomin），《基于原则的扩展论证语义学评估》，Artif。智力。，171, 10-15, 675-700 (2007) ·Zbl 1168.68559号 [5] 彼得罗·巴罗尼；马丁·卡米纳达（Martin Caminada）；Giacomin，Massimiliano，《议论文语义学导论》，Knowl。工程版本，26，4，365-410（2011） [6] Baumann，Ringo，《分裂论证框架》，（Delgrand，James P.；Faber，Wolfgang，《第11届逻辑编程和非单调推理国际会议论文集》，《第十一届逻辑编程与非单调推理会议论文集，LPNMR 2011》。第十一届逻辑程序设计和非单调推理国际会议论文集。第十一届逻辑程序设计和非单调推理国际会议论文集，LPNMR 2011，Lect。注释计算。科学。，第6645卷（2011），施普林格），40-53·Zbl 1327.68240号 [7] 鲍曼，林戈，强制执行一个论点需要什么？抽象论证中的最小变化，（Raedt，Luc De；Bessière，Christian；Dubois，Didier；Doherty，Patrick；Frasconi，Paolo；Heintz，Fredrik；Lucas，Peter J.F.，《第20届欧洲人工智能会议论文集》，ECAI 2012。第20届欧洲人工智能会议记录。第20届欧洲人工智能会议论文集，ECAI 2012，Front。Artif公司。智力。申请。，第242卷（2012），IOS出版社），127-132·Zbl 1327.68266号 [8] 林戈·鲍曼（Ringo Baumann）；Brewka，Gerhard，AGM遇到抽象论证：粪便框架的扩展和修订，（Yang，Qiang；Wooldridge，Michael，《第24届国际人工智能联合会议论文集》，第24届人工智能国际联合会议论文，IJCAI 2015（2015），AAAI出版社），2734-2740 [9] 林戈·鲍曼（Ringo Baumann）；沃尔夫冈·德沃亚克；托马斯·林斯比克莱（Thomas Linsbichler）；施潘灵，克里斯托夫；汉内斯·斯特拉斯（Hannes Strass）；Woltran，Stefan，《论被拒绝的论据和隐含的冲突：论证语义的隐藏力量》，Artif。智力。，241, 244-284 (2016) ·Zbl 1393.68160号 [10] Trevor J.M.Bench-Capon。；Paul E.Dunne，《人工智能中的论证》，Artif。智力。，171, 10-15, 619-641 (2007) ·Zbl 1168.68560号 [11] 皮埃尔·比奎特；克劳德特·凯罗尔（Claudette Cayrol）；圣西尔，弗洛伦斯·杜平；Lagasquie-Schiex，Marie-Christine，《论证系统中的变化：探索删除论证的兴趣》，（Benferhat，Salem；Grant，John，《第五届可扩展不确定性管理国际会议论文集》，第五届国际可扩展不确定管理会议论文集，2011年。第五届可扩展不确定性管理国际会议记录。《第五届可扩展不确定性管理国际会议论文集》，SUM 2011，Lect。注释计算。科学。，第6929卷（2011），施普林格），275-288 [12] 皮埃尔·比斯克特；克劳德特·凯罗尔（Claudette Cayrol）；德圣西尔，佛罗伦萨·杜宾；Lagasquie-Schiex，Marie-Christine，《论证中的强制执行是一种更新》，（Liu，Weiru；Subrahmanian，V.S.；Wijsen，Jef，《第七届可扩展不确定性管理国际会议论文集》，第七届国际可扩展不确定管理会议论文集，2013年。第七届可扩展不确定性管理国际会议记录。第七届可扩展不确定性管理国际会议论文集，2013年SUM，Lect。注释计算。科学。，第8078卷（2013），施普林格），30-43·Zbl 1286.68410号 [13] 波埃拉，圭多；苏希拉·卡奇；范德托雷（van der Torre），林德特（Leendert），《单扩展论证中的动力学：攻击精细化和基础扩展（扩展版）》（McBurney，Peter；Rahwan，Iyad；Parsons，Simon；尼古拉斯·莫代特（Nicolas Maudet），《第六届多智能体系统论证国际研讨会论文集》（Proceedings of the 6th International Workshop on Arg-Agent Systems），ArgMAS 2009，修订版论文集（Selected and Invested Papers）。《第六届多智能体系统论证国际研讨会论文集》，ArgMAS 2009，修订版精选和邀请论文，Lect。注释计算。科学。，第6057卷（2009），施普林格），150-159·Zbl 1245.91015号 [14] 波埃拉，圭多；苏希拉·卡奇；范德托雷（van der Torre），伦德特（Leendert），《单扩展论证中的动力学：抽象原则和扎根扩展》（Sossai，Claudio；Chemello，Gaetano，《第十届欧洲不确定性推理的符号和定量方法会议论文集》。第十届欧洲不确定性推理的符号和定量方法会议记录，ECSQARU 2009。第十届欧洲不确定性推理的符号和定量方法会议记录。第十届欧洲不确定性推理的符号和定量方法会议记录，ECSQARU 2009，Lect。注释计算。科学。，第5590卷（2009年），施普林格出版社），107-118·Zbl 1245.91015号 [15] 理查德·布斯（Richard Booth）；苏希拉·卡奇；Rienstra，Tjitze；van der Torre，Leendert，《抽象论证中动力学的逻辑理论》，（Liu，Weiru；Subrahmanian，V.S.；Wijsen，Jef，《第七届可扩展不确定性管理国际会议论文集》，第七届国际可扩展不确定管理会议论文集，2013年。第七届可扩展不确定性管理国际会议记录。第七届可扩展不确定性管理国际会议论文集，2013年SUM，Lect。注释计算。科学。，第8078卷（2013），施普林格），148-161 [16] Caminada，Martin，比较形式论证的两种独特扩展语义：理想和渴望，（第19届比利时-荷兰人工智能会议论文集。第19届比利时-荷兰人工智能会议论文集，BNAIC 2007（2007）），81-87 [17] 马丁·卡米纳达（Martin Caminada）；卡尼利，沃尔特·亚历山大；Paul E.Dunne，《半静态语义学》，J.Log。计算。，22, 5, 1207-1254 (2012) ·Zbl 1267.68223号 [18] 克劳德特·凯罗尔（Claudette Cayrol）；Lagasquie-Schiex，Marie-Christine，《抽象两极论证系统的变化》，（Beierle，Christoph；Dekhtyar，Alex，《第九届可扩展不确定性管理国际会议论文集》，第九届国际可扩展不确定管理会议论文集，SUM 2015。第九届可扩展不确定性管理国际会议记录。《第九届可扩展不确定性管理国际会议论文集》，SUM 2015，Lect。注释计算。科学。，第9310卷（2015），施普林格），314-329·Zbl 1335.68247号 [19] 克劳德特·凯罗尔（Claudette Cayrol）；德圣西尔，佛罗伦萨·杜宾；Lagasquie-Schiex，Marie-Christine，《抽象论证框架中的变化：添加论点》，J.Artif。智力。研究，38，49-84（2010）·Zbl 1191.68480号 [20] 科斯特·马奎斯，西尔维；卡罗琳·德弗雷德（Caroline Devred）；塞巴斯蒂安·科尼埃奇尼；Lagasquie-Schiex，Marie-Christine；Marquis，Pierre，关于Dung论证系统的合并，Artif。智力。，171, 10-15, 730-753 (2007) ·Zbl 1168.68563号 [21] 科斯特·马奎斯，西尔维；塞巴斯蒂安·科尼埃奇尼；Mailly，Jean-Guy；皮埃尔·马奎斯（Marquis，Pierre），《论论证系统的修正：论证状态的最小变化》（Baral，Chitta；De Giacomo，Giuseppe；Thomas Eiter，《第14届知识表示和推理原则国际会议论文集》。第14届知识表示与推理原理国际会议论文集，KR 2014（2014），AAAI出版社，72-81·Zbl 1432.68435号 [22] 科斯特·马奎斯，西尔维；塞巴斯蒂安·科尼埃奇尼；Mailly，Jean-Guy；Marquis，Pierre，《基于翻译的论证框架修订方法》，（Fermé，Eduardo；Leite，Joáo，《第14届欧洲人工智能逻辑会议论文集》，第14届人工智能逻辑欧洲会议论文集，JELIA 2014。第14届欧洲人工智能逻辑会议论文集。《第14届欧洲人工智能逻辑会议论文集》，JELIA 2014，Lect。注释计算。科学。，第8761卷（2014年），施普林格出版社，397-411·兹比尔1432.68435 [23] 科斯特·马奎斯，西尔维；塞巴斯蒂安·科涅茨尼；Mailly，Jean-Guy；Marquis，Pierre，《作为优化问题的抽象论证中的扩展执行》，（Yang，Qiang；Wooldridge，Michael，《第24届国际人工智能联合会议论文集》，第24届人工智能国际联合会议论文，IJCAI 2015（2015），AAAI出版社），2876-2882 [24] 纳迪亚·克里诺；莱因哈德·皮克勒；Woltran，Stefan，在Krom片段中，与SAT相关的硬推理任务变得更容易了吗？，（Rossi，Francesca，《第23届国际人工智能联合会议论文集》，第23届人工智能国际联合会议论文录，2013（2013），IJCAI/AAAI），824-831·Zbl 1403.68078号 [25] Dalal，Mukesh，《知识库修正理论研究》，（Shrobe，Howard E.；Mitchell，Tom M.；Smith，Reid G.，《第七届全国人工智能会议论文集》，第七届国家人工智能会议文献集，AAAI 1988（1988），美国人工智能学会出版社/麻省理工学院出版社），475-479 [26] 阿德南·达尔维什；朱迪娅·珀尔，《论反复信仰修正的逻辑》，阿蒂夫。智力。，89, 1-2, 1-29 (1997) ·Zbl 1018.03012号 [27] 佛罗伦萨杜宾·德·圣西尔；皮埃尔·比斯克特；克劳德特·凯罗尔（Claudette Cayrol）；Lagasquie-Schiex，Marie-Christine，《YALLA中的论证更新》（又一种论证逻辑语言），国际期刊近似推理。，75, 57-92 (2016) ·Zbl 1356.68216号 [28] 詹姆斯·德尔格兰德（James P.Delgrade）。；Peppas，Pavlos，《霍恩理论的信仰修正》，Artif。智力。，218, 1-22 (2015) ·Zbl 1322.68192号 [29] 杰罗姆·德罗贝尔；阿德里安·哈雷（Adrian Haret）；塞巴斯蒂安·科尼埃奇尼；Mailly，Jean-Guy；朱利安·罗西特；Woltran，Stefan，《抽象论证框架的合并》，（Baral，Chitta；Delgrand，James P.；Wolter，Frank，《第十五届知识表示与推理原则国际会议论文集》，KR 2016（2016），AAAI出版社），33-42 [30] 马丁·迪勒（Martin Diller）；阿德里安·哈雷（Adrian Haret）；托马斯·林斯比克莱（Thomas Linsbichler）；Rümmele，Stefan；Woltran，Stefan，《抽象论证中基于扩展的信念修正方法》，（Yang，Qiang；Wooldridge，Michael，《第24届国际人工智能联合会议论文集》，第24届人工智能国际联合会议论文，IJCAI 2015（2015），AAAI出版社），2926-2932·Zbl 1452.68185号 [31] 迪莫普洛斯，扬尼斯；托雷斯（Torres），阿尔贝托（Alberto），《逻辑程序和默认理论中的图形理论结构》（Graph theory structures in logic programs and default theory），提奥（Theor）。计算。科学。，170，1-2209-244（1996年）·Zbl 0874.68190号 [32] 西尔维·杜特；安德烈亚斯·赫齐格（Andreas Herzig）；佩鲁塞尔，劳伦特，《抽象论证的动态逻辑框架》，（巴拉尔，奇塔；贾科莫，朱塞佩；Thomas Eiter，《第14届知识表示和推理原则国际会议论文集》。《第十四届知识表示与推理原理国际会议论文集》，韩国，2014年（2014年），AAAI出版社，62-71 [33] Dung，Phan Minh，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-357 (1995) ·兹比尔1013.68556 [34] 潘明·邓（Dung，Phan Minh）；保罗·曼卡雷拉（Paolo Mancarella）；Toni，Francesca，《计算理想怀疑论》，Artif。智力。，171, 10-15, 642-674 (2007) ·Zbl 1168.68564号 [35] 保罗·E·邓恩（Paul E.Dunne）。；Bench-Capon，Trevor J.M.，有限论元系统中的一致性，Artif。智力。，141, 1/2, 187-203 (2002) ·Zbl 1043.68098号 [36] 保罗·E·邓恩（Paul E.Dunne）。；沃尔夫冈·德沃亚克；托马斯·林斯比克莱（Thomas Linsbichler）；沃尔特兰，斯特凡，抽象论证中多视角的特征，Artif。智力。，228, 153-178 (2015) ·Zbl 1346.68184号 [37] 托马斯·艾特；Georg Gottlob，《关于命题知识库修订、更新和反事实的复杂性》，Artif。智力。，57, 2-3, 227-270 (1992) ·Zbl 0763.68038号 [38] 托马斯·艾特；Gottlob，Georg，《基于逻辑的诱拐的复杂性》，J.ACM，42，1，3-42（1995）·Zbl 0886.68121号 [39] Gärdefors，Peter，《流动中的知识》。《认知状态动力学建模》（1988），麻省理工学院出版社：麻省理工学院出版社剑桥·Zbl 1229.03008号 [40] Ove Hansson、Sven、Semi-revision（特邀论文）、J.Appl。非类别。日志。，7, 2 (1997) ·Zbl 0869.03017号 [41] Ove Hansson，Sven；爱德华多·费尔梅。；约翰·坎特威尔（John Cantwell）；Falappa，Marcelo A.，《可信度有限修订》，J.Symb。日志。，661581-1596（2001年）·Zbl 0995.03013号 [42] 加藤博文；Alberto O.Mendelzon，《提案知识库修订和最小更改》，Artif。智力。，52, 3, 263-294 (1991) ·Zbl 0792.68182号 [43] 塞巴斯蒂安·科尼埃奇尼；Pérez，Ramón Pino，基于逻辑的合并，J.Philos。日志。，40, 2, 239-270 (2011) ·Zbl 1233.03024号 [44] Kontarinis、Dionysios；Elise Bonzon；尼古拉斯·莫代特（Nicolas Maudet）；阿兰·佩罗蒂（Alan Perotti）；范德托雷（Leon van der Torre）；维拉塔（Villata），塞雷纳（Serena），重写论证系统中面向目标变化的计算规则，（莱特（Leite），乔昂（Joáo）；儿子（Son），Tran Cao；托罗尼（Torroni），保罗（Paolo）；范德托雷（van der Torre），莱昂（Leon）；Stefan Woltran，《第14届多智能体系统计算逻辑国际研讨会论文集》。第14届多智能体系统计算逻辑国际研讨会论文集，CLIMA XIV。第14届多智能体系统计算逻辑国际研讨会论文集。第14届多智能体系统计算逻辑国际研讨会论文集，CLIMA XIV，Lect。注释计算。科学。，第8143卷（2013），施普林格），51-68·Zbl 1401.68309号 [45] Patrick Krümpelmann；Thimm，Matthias；马塞洛·A·法拉帕。；亚历杭德罗·加西亚（Alejandro J.García）。；加布里埃尔·克恩·伊斯伯纳；Simari，Guillermo R.，通过演绎论证进行选择性修订，（Modgil，Sanjay；Oren，Nir；Toni，Francesca，《第一届形式论证理论与应用国际研讨会论文集》，TAFA 2011，修订论文集。第一届形式论证理论与应用国际研讨会论文集，TAFA 2011，修订论文集，Lect。注释计算。科学。，第7132卷（2012），施普林格），147-162·Zbl 1286.03050号 [46] 辽、北水；金、李；Koons，Robert C.，《论证系统动力学：基于划分的方法》，Artif。智力。，175, 11, 1790-1814 (2011) ·Zbl 1226.68101号 [47] 保罗·利伯拉托雷；Schaerf，Marco，《信念修正与更新：模型检验的复杂性》，J.Comput。系统。科学。，62, 1, 43-72 (2001) ·兹比尔0990.68108 [48] Linsbichler，Thomas，《抽象论证的进展——表达和动力学》（2017），TU Wien，博士论文 [49] 托马斯·林斯比克莱（Thomas Linsbichler）；Woltran，Stefan，《抽象辩证框架的修订：初步报告》（Gaggl，Sarah；Nieves，Juan Carlos；汉内斯·斯特拉斯，《逻辑程序设计和非单调推理论证第一届国际研讨会论文集》。第一届逻辑程序设计与非单调推理论证国际研讨会论文集，Arg-LPNMR 2016（2016），15-22 [50] 桑贾·莫吉尔；弗朗西丝卡·托尼；Bex，Floris；伊凡·布拉特科；卡洛斯·切斯尼瓦尔一世。；沃尔夫冈·德沃亚克；马塞洛·A·法拉帕。；范秀仪；Sarah A.Gaggl。；亚历杭德罗·加西亚（Alejandro J.García）。；González，Maria P。；托马斯·戈登。；约昂·莱特；马丁·莫伊纳；克里斯·里德（Chris Reed）；吉列尔莫·R·西马里。；斯泽德、斯特凡；保罗·托罗尼；Woltran，Stefan，《论证的附加值》（Ossowski，Sascha，《协议技术》，《技术法规》，第8卷（2013年），施普林格：施普林格荷兰），357-403 [51] Moguillansky，Martín O.，《通过核心集和剩余集研究论点可接受性动态》（Gyssens，Marc；Simari，Guillermo Ricardo，第九届信息和知识系统基础国际研讨会论文集。第九届信息与知识系统基础国际研讨会论文集，FoIKS 2016。第九届信息和知识系统基础国际研讨会论文集。第九届信息和知识系统基础国际研讨会论文集，FoIKS 2016，Lect。注释计算。科学。，第9616卷（2016），施普林格），3-23·Zbl 1475.68367号 [52] 马丁·莫吉兰斯基。；Simari，Guillermo Ricardo，《论证可接受动力学的专门集合论语义学》（Baroni，Pietro；Gordon，Thomas F.；Schefler，Tatjana；曼弗雷德·斯特德（Manfred Stede），《第六届国际争论计算模型会议论文集》（Proceedings of the 6th International Conference on Computational Models of Argument）。第六届国际争论计算模型会议记录，2016年COMMA。第六届国际论证计算模型会议论文集。第六届国际争论计算模型会议记录，2016年COMMA，Front。Artif公司。智力。申请。，第287卷（2016年），IOS出版社），391-402 [53] 马丁·莫吉兰斯基。；Nicolás D.Rotstein。；马塞洛·A·法拉帕。；加西亚，亚历杭德罗·哈维尔；Simari，Guillermo Ricardo，《应用于可判定逻辑编程的论证理论变更》，（Fox，Dieter；Gomes，Carla P.，《第23届人工智能会议论文集》，《第二十三届人工智能大会论文集》（2008），AAAI出版社），132-137 [54] 马丁·莫吉兰斯基。；雷娜塔·瓦瑟曼；马塞洛·A·法拉帕（Marcelo A.Falappa），《通过论证理论变化进行的不一致容忍基础修正》（Inconsistent tolerant base revision through argument theory change），《日志》（Log）。J.IGPL，20，1，154-186（2012）·Zbl 1262.03029号 [55] 马丁·莫吉兰斯基。；Nicolás D.Rotstein。；马塞洛·A·法拉帕。；加西亚，亚历杭德罗·哈维尔；Simari，Guillermo Ricardo，《知识动力学》DeLP公司通过论证理论改变，理论实践。日志。程序。，13, 6, 893-957 (2013) ·Zbl 1310.68052号 [56] 安德烈亚斯·尼斯卡宁（Andreas Niskanen）；约翰·彼得·沃纳（Johannes Peter Wallner）；Järvisalo，Matti，《从实例中综合论证框架》（Kaminka，Gal A.；Fox，Maria；Bouquet，Paolo；Hüllermier，Eyke；Dignum，Virginia；DignumFrank；van Harmelen，Frank，《第二十二届欧洲人工智能会议论文集》，ECAI 2016。第22届欧洲人工智能会议记录。第22届欧洲人工智能会议记录，ECAI 2016，Front。Artif公司。智力。申请。，第285卷（2016），IOS出版社），551-559·兹比尔1403.68272 [57] 法里德·努伊奥瓦（Farid Nouioua）；Würbel，Eric，删除了基于集合的抽象论证框架修订，（第26届人工智能工具国际会议论文集。第26届国际人工智能工具会议论文集，ICTAI 2014（2014），IEEE计算机学会），784-791 [58] （Simari，Guillermo R.；Rahwan，Iyad，《人工智能论证》（2009），施普林格出版社） [59] Nicolás D.Rotstein。；马丁·莫吉兰斯基。；马塞洛·A·法拉帕。；加西亚，亚历杭德罗·哈维尔；Simari，Guillermo Ricardo，《论证理论的变化：根据授权进行修订》，（Besnard，Philippe；Doutre，Sylvie；Hunter，Anthony，《第二届论证计算模型国际会议论文集》，第二届国际论证计算模型会议论文集，2008年COMMA。第二届国际论证计算模型会议论文集。第二届国际争论计算模型会议记录，COMMA 2008，Front。Artif公司。智力。申请。，第172卷（2008年），内部监督办公室出版社），336-347 [60] Sakama，Chiaki，《论证框架中的反事实推理》，（Parsons，Simon；Oren，Nir；Reed，Chris；Cerutti，Federico，《第五届国际论证计算模型会议论文集》，第五届论证计算模型国际会议论文集，COMMA，2014年。第五届国际争论计算模型会议记录。第五届国际争论计算模型会议记录，COMMA 2014，Front。Artif公司。智力。申请。，第266卷（2014年），IOS出版社，385-396 [61] 杰拉尔多·西马里一世。；保罗·沙卡里安；Falappa，Marcelo A.，《结构化概率论证中信念修正的定量方法》，《数学年鉴》。Artif公司。智力。，76, 3-4, 375-408 (2016) ·Zbl 1356.68224号 [62] 斯奈特，马克；里德，克里斯，论点修正，J.Log。计算。，27, 7, 2089-2134 (2017) ·Zbl 1380.68346号 [63] 斯波恩，沃尔夫冈，序贯条件函数：认知状态的动力学理论，（决定中的因果关系，信念变化和统计，第2卷（1988），克鲁沃学术出版社），105-134 [64] Stockmeyer，Larry J。；Albert R.Meyer，《需要指数时间的单词问题：初步报告》（Aho，Alfred V.；Borodin，Allan；Constable，Robert L.；Floyd，Robert W.；Harrison，Michael A.；Karp，Richard M.；Strong，H.Raymond，《第五届ACM计算理论研讨会论文集》（1973），ACM），1-9·Zbl 0359.68050号 [65] 菲利普·泰特洛克（Phillip E.Tetlock）。；Dan Gardner，《超级预测：预测的艺术与科学》（2015），皇冠/原型 [66] Verheij，Bart，《辩证论证的两种方法：可容许集和论证阶段》，（Meyer，John-Jules C.；van der Gaag，Linda C.，《第八届荷兰人工智能会议论文集》，第八届荷兰人工智能会议论文，NAIC’96（1996）），357-368 [67] Wagner，Klaus W.，有界查询类，SIAM J.Compute。，19, 5, 833-846 (1990) ·Zbl 0711.68047号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。