T·J·M·Bench-Capon。；保罗·E·邓恩。 人工智能中的争论。 （英语） Zbl 1168.68560号 Artif公司。智力。 171，第10-15号，619-641（2007）. 摘要：在过去十年中，辩论作为人工智能（AI）的核心研究越来越重要。构成本卷的文章反映了各种重要的趋势、发展和应用，涵盖了与论证理论和应用相关的一系列当前主题。我们在本导言中的目的是，首先，将这些贡献放在人工智能中论证的历史基础的背景下，然后，讨论近年来出现的一些主题，从而大大拓宽基于论证的方法的使用领域。我们首先简要概述了经典论证研究中感兴趣的问题：特别是它与逻辑推理和数学证明的传统概念之间的相似性和重要差异方面的关系。我们继续概述了一些基本贡献是如何为论证模型的制定及其在人工智能相关环境中的推广提供基础的，然后考虑了近年来出现的一些新主题，其中许多主题提供了本卷所述研究的主要主题。 引用于87文件 MSC公司： 68T27型 人工智能中的逻辑 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：论证模型；对话过程；参数图和方案；基于agent的协商；实用推理 软件：奥斯卡；ClaiMaker公司 PDF格式BibTeX公司 XML格式引用 \textit{T.J.M.Bench-Capon}和\textit{P.E.Dunne}，Artif。智力。171，编号10--15，619--641（2007；Zbl 1168.68560） 全文： 内政部 参考文献： [1] T.Alsinet，C.Chesnevar，L.Godo，S.Sandri，《利用模糊统一在可能性逻辑框架内建模可辩解论证》，in：Proc。第11届IPMU，2006年，第1228-1235页；T.Alsinet，C.Chesnevar，L.Godo，S.Sandri，《利用模糊统一在可能性逻辑框架内建模可辩解论证》，in：Proc。第11届IPMU，2006年，第1228-1235页 [2] T.Alsinet，C.Chesnevar，L.Godo，S.Sandri，G.Simari，《关于在模糊统一的可能逻辑框架内计算保证参数》，in：Proc。第11届核磁共振，2006年，第227-236页；T.Alsinet，C.Chesnevar，L.Godo，S.Sandri，G.Simari，《关于在模糊统一的可能逻辑框架内计算保证参数》，in：Proc。第11届核磁共振，2006年，第227-236页 [3] V.Aleven，《通过实例和模型进行基于案例的论证教学》，匹兹堡大学博士论文，1997年；V.Aleven，《通过实例和模型进行基于案例的论证教学》，匹兹堡大学博士论文，1997年 [4] S.Alvarado，M.Dyer，社论中的类比识别和理解，收录于：Proc。第七届认知年会。科学。Soc.，1985年，第228-235页；S.Alvarado，M.Dyer，社论中的类比识别和理解，收录于：Proc。第七届认知年会。科学。Soc.，1985年，第228-235页 [5] S.Alvarado，M.Dyer，《理解社论中的类比》，摘自：Proc。第九届国际癌症联合会，1985年，第845-847页；S.Alvarado，M.Dyer，《理解社论中的类比》，摘自：Proc。第九届国际JCAI，1985年，第845-847页 [6] L.Amgoud，J.-F.Bonnefon，H.Prade，《基于论证的多标准决策方法》，摘自：Proc。第八届ECSQARU，2005年，第269-280页；L.Amgoud，J.-F.Bonnefon，H.Prade，《基于论证的多标准决策方法》，摘自：Proc。第八届ECSQARU，2005年，第269-280页·Zbl 1122.68634号 [7] Amgoud，L。；Cayrol，C.，基于可接受参数产生的推理模型，《数学年鉴》。AI，34，197-215（2002）·Zbl 1002.68172号 [8] L.Amgoud，S.Parsons，N.Maudet，《争论、对话与谈判》，载于：Proc。第14届ECAI，2000年，第338-342页；L.Amgoud，S.Parsons，N.Maudet，《争论、对话与谈判》，载于：Proc。第14届ECAI，2000年，第338-342页 [9] L.Amgoud，H.Prade，《使用论据进行决策：可能性逻辑方法》，摘自：Proc。UAI第20期，2004年，第10-17页；L.Amgoud，H.Prade，《使用论据进行决策：可能性逻辑方法》，摘自：Proc。UAI第20期，2004年，第10-17页 [10] L.Amgoud，H.Prade，通过论证解释不确定性下的定性决策，见：Proc。第21届AAAI，2006年，第219-224页；L.Amgoud，H.Prade，通过论证解释不确定性下的定性决策，见：Proc。第21届AAAI，2006年，第219-224页 [11] （2007年4月） [12] （2006年9月） [13] A.Artikis，M.Sergot，J.Pitt，《正式论证协议的可执行规范》，《人工智能》，本卷，2007年；A.Artikis，M.Sergot，J.Pitt，正式论证协议的可执行规范，《人工智能》，本卷，2007年·兹比尔1168.68557 [14] Ashley，K.，《法律论证建模：案例和假设推理》（1990年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [15] （2006年秋季） [17] K.Atkinson，我们该怎么办《实用推理中说服性论证的计算表示》，计算机系博士论文。科学。，利物浦大学，2005年；K.Atkinson，我们该怎么办《实用推理中说服性论证的计算表示》，计算机系博士论文。科学。，利物浦大学，2005年 [18] Atkinson，K.，《民主决策支持的基于价值的论证》，（Dunne，P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），47-58 [19] K.Atkinson，T.J.M.Bench Capon，《使用基于动作的交替过渡系统进行假设论证的实践推理》，人工智能，本卷，2007年；K.Atkinson，T.J.M.Bench-Capon，《使用基于动作的交替转换系统作为假设论证的实践推理》，《人工智能》，本卷，2007年·Zbl 1168.68558号 [20] 阿特金森，K。；工作台盖，T。；McBurney，P.，《实用论证的计算表示》，综合，152，2，157-206（2006）·Zbl 1112.03302号 [21] 巴罗尼，P。；Giacomin，M.，《在论证中用奇长循环解决语义问题》，（第七届欧洲不确定性推理的符号和定量方法会议（ECSQARU）。程序。第七届欧洲不确定性推理的符号和定量方法会议（ECSQARU），《人工智能课堂讲稿》，第2711卷（2003年），施普林格出版社，440-451·Zbl 1274.68453号 [22] P.Baroni，M.Giacomin，《基于原则的扩展论证语义评估》，《人工智能》，本卷，2007年；P.Baroni，M.Giacomin，《基于原理的可拓论证语义评估》，人工智能，本卷，2007年·Zbl 1168.68559号 [23] 巴罗尼，P。；Giacomin，M。；Guida，G.，SCC-递归：论证语义的一般模式，《人工智能》，168，1-2，162-210（2005）·Zbl 1132.68765号 [24] Barsky，A.J.，《一些患者就诊的隐藏原因》，Ann.实习生。医学，94492-498（1981） [25] Ben-Eliyahu，R。；Dechter，R.，使用经典逻辑的默认推理，人工智能，84，1-2，113-150（1996）·Zbl 1506.68131号 [26] T.J.M.Bench-Capon，《图尔明对话游戏的规范和实现》，J.C.Hage等人（编辑），《基于法律知识的系统》，1998年，第5-20页；T.J.M.Bench Capon，《图尔明对话游戏的规范和实现》，载：J.C.Hage等人（编辑），《基于法律知识的系统》，1998年，第5-20页 [27] Bench-Capon，T.J.M.，《使用基于价值的论证框架进行实际论证中的说服》，《逻辑计算》。，13, 3, 429-448 (2003) ·Zbl 1043.03026号 [28] Bench-Capon，T.J.M.，《同意差异：不同价值观政党之间的说服性对话建模》，《非正式逻辑》，22，3，231-245（2003） [29] Bench Capon，T·J·M·。；科宁，F。；Orton，P.，《英国国籍法作为逻辑程序的基于论证的解释》，计算机、法律和人工智能，2，1，53-66（1993） [30] Bench Capon，T·J·M·。；Doutre，S。；Dunne，P.E.，《论证框架中的受众》，《人工智能》，171，42-71（2007）·Zbl 1168.68561号 [31] T.J.M.Bench-Capon，P.E.Dunne，P.H.Leng，《通过对话游戏与基于知识的系统交互》，摘自：Proc。第11届年度会议专家系统及其应用，1991年，第123-130页；T.J.M.Bench-Capon，P.E.Dunne，P.H.Leng，《通过对话游戏与基于知识的系统交互》，摘自：Proc。第11届年度会议专家系统及其应用，1991年，第123-130页 [32] T.J.M.Bench-Capon，P.E.Dunne，P.H.Leng，《与专家系统辩证互动的对话游戏》，摘自：Proc。第十二届年度会议专家系统及其应用，1992年，第105-113页；T.J.M.Bench-Capon，P.E.Dunne，P.H.Leng，《与专家系统辩证互动的对话游戏》，摘自：Proc。第十二届年度会议专家系统及其应用，1992年，第105-113页 [33] Bench Capon，T·J·M·。；弗里曼，J.B。；霍曼，H。；Prakken，H.，《计算模型、论证理论和法律实践》，（Reed，C.；Norman，T.J.，《论证机器》，《论证和计算的新前沿》（2004），Kluwer），第85-120页 [34] Bench Capon，T·J·M·。；Prakken，H.，Argumentation，（Lodder，A.R.；Oskamp，A.，《信息技术与律师：法律领域的先进技术，从挑战到日常生活》（2006），斯普林格·弗拉格出版社），61-80 [35] 工作台盖，T。；Sergot，M.，《走向法律中开放纹理的基于规则的表示法》（Walter，C.，《计算能力和法律推理》（1989），格林伍德出版社），第39-60页 [36] S.Benferhat，D.Dubois，H.Prade，《不确定和不一致知识库中的论证推理》，摘自：Proc。第九届UAI，1993年，第411-419页；S.Benferhat，D.Dubois，H.Prade，《不确定和不一致知识库中的论证推理》，摘自：Proc。UAI第9期，1993年，第411-419页 [37] Benferhat，S。；Dubois，D。；Prade，H.，非单调推理，条件对象和可能性理论，人工智能，92259-276（1997）·Zbl 1017.68539号 [38] Benferhat，S。；Dubois，D。；Prade，H.，条件知识库的可能性和标准概率语义，J.逻辑计算。，9, 6, 873-895 (1999) ·Zbl 0945.68166号 [39] 贝斯纳德，P。；Hunter，A.，基于逻辑的演绎论点理论，《人工智能》，128，1-2，203-235（2001）·Zbl 0971.68143号 [40] P.Besnard，A.Hunter，《实用一级论证》，摘自：Proc。第20届AAAI，2005年，第590-595页；P.Besnard，A.Hunter，《实用一级论证》，摘自：Proc。第20届AAAI，2005年，第590-595页 [41] 贝克斯，F。；普拉肯，H。；里德，C。；Walton，D.，《关于证据推理的正式说明：论证方案和概括》，《人工智能与法律》，第11期，第2-3期，第125-165页（2003年） [42] L.Birnbaum，M.Flowers，R.McGuire，《走向人工智能论证模型》，摘自：Proc。AAAI 1980年，1980年，第313-315页；L.Birnbaum，M.Flowers，R.McGuire，《走向人工智能论证模型》，摘自：Proc。AAAI 19801980，第313-315页 [43] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，1-2，63-101（1997）·Zbl 1017.03511号 [44] G.Brewka，基于缺省逻辑重建Rescher的形式争议理论，见：Proc。第11届ECAI，1994年，第366-370页；G.Brewka，基于缺省逻辑重建Rescher的形式争议理论，见：Proc。第11届ECAI，1994年，第366-370页 [45] Brewka，G.，《动态论证系统：基于情境演算的论证过程形式化模型》，J.Logic Comput。，11, 2, 257-282 (2001) ·Zbl 0986.68141号 [46] 卡米纳达，M.，《半稳定语义学》（Dunne，P.E.；Bench-Capon，T.J.M.），《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），121-130 [47] M.Caminada，L.Amgoud，《形式论证的公理化解释》，摘自：Proc。AAAI05，2005年，第608-613页；M.Caminada，L.Amgoud，《形式论证的公理化解释》，摘自：Proc。AAAI05，2005，第608-613页 [48] 卡米纳达，M。；Amgoud，L.，论论证形式主义的评价，人工智能，171286-310（2007）·Zbl 1168.68562号 [49] Carenini，G。；Moore，J.D.，生成和评估评估论据，人工智能，170，11，925-952（2006） [50] Cayrol，C。；德弗雷德，C。；Lagasquie-Schiex，M.C.，《在两极论证系统中处理有争议的论点》（Dunne，P.E.；Bench-Capon，T.J.M.，《论点的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），261-272·Zbl 1148.68503号 [51] Cayrol，C。；Doutre，S。；Mengin，J.，论证框架轻信偏好语义的辩证证明理论，（第六届欧洲不确定性推理符号和定量方法会议（ECSQARU-2001）。第六届欧洲不确定性推理的符号和定量方法会议（ECSQARU-2001），《人工智能讲义》，第2143卷（2001），斯普林格-Verlag，668-679·Zbl 1001.68574号 [52] Cayrol，C。；Doutre，S。；Mengin，J.，《关于与论证框架首选语义相关的决策问题》，J.逻辑计算。，13377-403（2003年）·Zbl 1032.03518号 [53] Cayrol，C。；Lagasquie-Schiex，M.C.，《两极论证框架的渐进评估》，（第八届欧洲不确定性推理的符号和定量方法会议（ECSQARU-2005）。第八届欧洲不确定性推理符号和定量方法会议（ECSQARU-2005），《人工智能讲义》，第3571卷（2005年），施普林格出版社，366-377·Zbl 1122.68638号 [54] Cayrol，C。；Lagasquie-Schiex，M.C.，《关于两极论证框架中论点的可接受性》，（第八届欧洲不确定性推理的符号和定量方法会议（ECSQARU-2005）。第八届欧洲不确定性推理的符号和定量方法会议（ECSQARU-2005），《人工智能讲义》，第3571卷（2005），施普林格出版社，378-389·Zbl 1122.68639号 [55] Cayrol，C。；Lagasquie-Schiex，M.C.，《论证中的渐进性》，《人工智能研究》，23，245-297（2005）·Zbl 1080.68608号 [56] Chesnevar，C。；麦金尼斯，J。；莫吉尔，S。；拉旺，I。；里德，C。；Simari，G。；南部，M。；弗里斯维克，G。；Willmott，S.，《朝向一种参数交换格式》，《知识工程评论》，21，4，293-316（2006） [57] Chesnevar，C.I。；Maguitman，A.G。；Loui，R.P.，论证的逻辑模型，ACM计算。调查。，22, 337-383 (2000) [58] C.Chesnevar，G.Simari，《基于格的方法在怀疑论论证框架中计算保证信念》，摘自：Proc。IJCAI07，2007年，第280-285页；C.Chesnevar，G.Simari，《基于格的方法在怀疑论论证框架中计算保证信念》，摘自：Proc。IJCAI07，2007年，第280-285页 [60] J.Conklin，M.L.Begeman，gIBIS：团队设计审议的超文本工具，收录于：超文本，1987年，第247-251页；J.Conklin，M.L.Begeman，gIBIS：团队设计审议的超文本工具，载于：超文本，1987年，第247-251页 [61] 库克，S.A。；Reckhow，R.A.，命题证明系统的相对复杂性，J.符号逻辑，44，1，36-50（1997）·兹比尔0408.03044 [62] S.Coste-Marquis，C.Devred，P.Marquis，论证框架的谨慎语义，见：Proc。第17届ICTAI，2005年，第568-572页；S.Coste-Marquis，C.Devred，P.Marquis，论证框架的谨慎语义，见：Proc。第17届ICTAI，2005年，第568-572页·Zbl 1122.68642号 [63] 科斯特·马奎斯（Coste-Marquis，S.）。；德弗雷德，C。；Marquis，P.，《对称论证框架》（Godo，L.，Proc.第八届欧洲不确定性推理的符号和定量方法会议（ECSQARU）。程序。第八届欧洲不确定性推理的符号和定量方法会议（ECSQARU），《人工智能课堂讲稿》，第3571卷（2005），施普林格出版社，317-328·Zbl 1122.68642号 [64] S.Coste-Marquis、C.Devred、S.Konieczny、M.-C.Lagasquie-Schiex、P.Marquis，《关于Dung论证系统的合并》，《人工智能》，本卷，2007年；S.Coste-Marquis、C.Devred、S.Konieczny、M.-C.Lagasquie-Schiex、P.Marquis，《关于Dung论证系统的合并》，《人工智能》，本卷，2007年·Zbl 1168.68563号 [65] （Dignum，F.，《代理通信进展》，代理通信进展，《人工智能课堂讲稿》，第2922卷（2004年），斯普林格-Verlag）·兹比尔1029.00049 [66] Y.Dimopoulos，B.Nebel，F.Toni，《首选参数比稳定扩展更难计算》，摘自：Proc。第16届国际JCAI，1999年，第36-43页；Y.Dimopoulos，B.Nebel，F.Toni，《首选参数比稳定扩展更难计算》，摘自：Proc。第16届国际JCAI，1999年，第36-43页 [67] Y.Dimopoulos，B.Nebel，F.Toni，《寻找可接受的和首选的论据可能非常困难》，载于：A.G.Cohn，F.Giunchiglia，B.Selman（编辑），KR2000：《知识表示和推理原理》，2000年，第53-61页；Y.Dimopoulos，B.Nebel，F.Toni，《寻找可接受的和首选的论据可能非常困难》，载于：A.G.Cohn，F.Giunchiglia，B.Selman（编辑），KR2000：《知识表示和推理原理》，2000年，第53-61页 [68] Dimopoulos，Y。；Nebel，B。；Toni，F.，《基于假设的默认推理论证的计算复杂性》，《人工智能》，第141期，第57-78页（2002年）·Zbl 1043.68097号 [69] Dimopoulos，Y。；托雷斯，A.，《逻辑程序和缺省理论中的图形理论结构》，理论。计算。科学。，170, 209-244 (1996) ·Zbl 0874.68190号 [70] Doutre，S。；Mengin，J.，《论证框架的首选扩展：查询回答和计算》，（第一期实习生联合Conf.自动推理（IJCAR 2001）。第一实习生。联合Conf.自动推理（IJCAR 2001），人工智能讲义，第2083卷（2001），Springer-Verlag），272-288·Zbl 0990.68541号 [71] S.Doutre，T.J.M.Bench-Capon，P.E.Dunne，《用论点位置解释偏好》，摘自：Proc。2005年IJCAI’05，第1680-1681页；S.Doutre，T.J.M.Bench-Capon，P.E.Dunne，《用论点位置解释偏好》，摘自：Proc。2005年5月，IJCAI，第1680-1681页 [72] P.M.Dung，论论点的可接受性及其在非单调推理、逻辑编程和（N）中的基本作用；P.M.Dung，《论据的可接受性及其在非单调推理、逻辑编程和（N）中的基本作用》 [73] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和N人游戏中的基本作用》，人工智能，77，321-357（1995）·Zbl 1013.68556号 [74] Dung，P.M。；科瓦尔斯基，R。；Toni，F.，《基于假设的可接受论证的辩证证明程序》，《人工智能》，第170、2、114-159页（2006）·Zbl 1131.68103号 [75] Dung，P.M。；Mancarella，P。；Toni，F.，《基于怀疑假设的论证的辩证程序》（Dunne，P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），145-156 [76] P.M.Dung，P.Mancarella，F.Toni，《计算理想怀疑论》，《人工智能》，本卷，2007年；P.M.Dung，P.Mancarella，F.Toni，《计算理想怀疑论》，《人工智能》，本卷，2007年·Zbl 1168.68564号 [77] P.E.Dunne，《关于首选扩展的简明编码》，in：Proc。第九届非单调推理研讨会（NMR’2002），图卢兹，2002年，第393-398页；P.E.Dunne，《关于首选扩展的简明编码》，in：Proc。第九届非单调推理研讨会（NMR’2002），图卢兹，2002，第393-398页 [78] Dunne，P.E.，《争端协议中的优先权》，（ICAIL第九号程序（2003年），ACM出版社），12-21 [79] Dunne，P.E.，《说服性论证中隐藏议程的怀疑》（Dunne、P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），329-340 [80] P.E.Dunne，满足图形理论约束的论点系统的计算属性，《人工智能》，本卷，2007年；P.E.Dunne，满足图形理论约束的参数系统的计算属性，《人工智能》，本卷，2007年 [81] 邓恩，体育。；Bench-Capon，T.J.M.，有限论元系统中的一致性，人工智能，141187-203（2002）·兹比尔1043.68098 [82] 邓恩，体育。；Bench-Capon，T.J.M.，《双方即时反应争端：属性和效率》，《人工智能》，149221-250（2003）·Zbl 1082.68819号 [83] 邓恩，体育。；Bench-Capon，T.J.M.，《基于价值的论证系统的复杂性》，（第九届欧洲人工智能逻辑会议（JELIA’04）。程序。第九届欧洲人工智能逻辑大会（JELIA’04），《人工智能讲义》，第3229卷（2004），斯普林格·弗拉格出版社，360-371·Zbl 1111.68673号 [84] 邓恩，体育。；Bench-Capon，T.J.M.，《识别法律和社会领域的受众偏好》（Proc.DEXA'04）。程序。DEXA'04，《计算机科学讲义》，第3180卷（2004），Springer-Verlag），518-527 [85] P.E.Dunne，S.Doutre，T.J.M.Bench-Capon，《通过考试对话发现不一致性》，摘自：Proc。IJCAI05，2005年，第1560-1561页；P.E.Dunne，S.Doutre，T.J.M.Bench-Capon，《通过考试对话发现不一致性》，摘自：Proc。IJCAI05，2005年，第1560-1561页 [86] 邓恩，体育。；McBurney，P.J.，《对话协议中的最佳话语》（Proc.AAMAS’03（2003），ACM出版社），608-615 [87] 邓恩，体育。；McBurney，P.J.，《对话中最佳话语的概念：选择与复杂性》，（Dignum，F.，《Agent通信的进展》，《Agent通讯的进展》（Advances in Agent Communication），《人工智能课堂讲稿》，第2922卷（2004），斯普林格·弗拉格出版社），310-328 [88] Egly，美国。；Woltran，S.，《使用量化布尔公式的论证框架中的推理》（Dunne，P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），133-144 [89] Eshghi，K。；Kowalski，R.A.，《拐骗与否定作为失败的比较》（Proc.ICLP-89（1989），麻省理工学院出版社），234-254 [90] J.Fox，P.Krause，M.Elvang-Goransson，《论证作为不确定性推理的一般框架》，摘自：Proc。第九届人工智能不确定性大会，1993年，第114-121页；J.Fox，P.Krause，M.Elvang-Goransson，《论证作为不确定性推理的一般框架》，摘自：Proc。第九届人工智能不确定性大会，1993年，第114-121页 [91] Gabbay博士。；Woods，J.，《对话逻辑中非合作的更多内容》，logic J.IGPL，9，305-323（2001）·Zbl 0978.03022号 [92] Gentzen，G.，《逻辑推论研究》，1935年，（Szabo，M.E.，《格哈德·Gentzen论文集》（1969），北荷兰），第68-131页 [93] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，非单调因果理论，人工智能，153，1-2，49-104（2004）·Zbl 1085.68161号 [94] Glazer，J。；Rubinstein，A.，《辩论与决策：论辩论规则的基本原理》，《游戏与经济行为》，第36、2、158-173页（2001年）·Zbl 1168.91335号 [95] 哥德尔，K.，Uber formal unscheidabare Sätze der Principia Mathematica und verwanter System I，Monatschefte Math。物理。，38, 173-198 (1931) ·JFM 57.0054.02号 [96] Gordon，T.F.，《辩诉游戏：程序正义的人工智能模型》（1995），Kluwer学术出版社：Kluwer学术出版社Dordrecht [97] T.F.Gordon，H.Prakken，D.Walton，《卡内德斯论证和举证责任模型》，《人工智能》，本卷，2007年；T.F.Gordon，H.Prakken，D.Walton，《卡内德斯论证和举证责任模型》，《人工智能》，本卷，2007年·Zbl 1168.68566号 [98] 格拉索，F。；Cawsey，A。；Jones，R.，《解决建议中冲突的辩证论证：促进健康营养的案例研究》，国际J·休姆-计算机。螺柱，53、6、1077-1115（2000）·Zbl 1011.68640号 [99] 绿色，N。；Carberry，S.，解释和生成间接答案，计算语言学，25,3389-435（1999） [100] Hamblin，C.L.，《谬论》（1970），《Methuen:Methuen London》 [101] J.Hulstijn，L.W.N.van der Torre，《在论证框架中结合目标生成和规划》，摘自：Proc。核磁共振2004年，2004年，第212-218页；J.Hulstijn，L.W.N.van der Torre，《在论证框架中结合目标生成和规划》，摘自：Proc。NMR 2004年，2004年，第212-218页 [102] Hunter，A.，《使论证更可信》（《AAAI第19号议事录》（2004），麻省理工学院出版社），269-274 [103] Hunter，A.，《迈向更高影响的论证》，（《美国科学院院刊》第19期（2004年），麻省理工学院出版社），275-280 [104] H.Jakobovits，《论论证框架理论》，计算机系博士论文。科学。，布鲁塞尔Vrije大学，2000年；H.Jakobovits，《论论证框架理论》，计算机系博士论文。科学。，布鲁塞尔Vrije大学，2000年 [105] H.Jakobovits，D.Vermeir，论证框架的辩证语义学，in：Proc。第七届ICAIL，1999年，第53-62页；H.Jakobovits，D.Vermeir，论证框架的辩证语义学，in：Proc。第七届ICAIL，1999年，第53-62页·Zbl 0933.68088号 [106] 约翰逊，M.W。；McBurney，P。；Parsons，S.，对话的数学模型，理论中的电子注释。公司。科学。，141, 5, 33-48 (2005) ·Zbl 1276.68151号 [107] Josang，A.，《不确定概率的逻辑》，J.近似推理。，9, 279-311 (2001) ·Zbl 1113.68488号 [108] 卡卡斯，A.C。；Kowalski，R.A。；Toni，F.，外推逻辑编程，J.逻辑计算。，2, 6, 719-770 (1992) ·Zbl 0778.68081号 [109] A.C.Kakas，P.Moraitis，《基于论证的自主代理决策》。AAMAS’03，2003年，第883-890页；A.C.Kakas，P.Moraitis，《基于论证的自主代理决策》。AAMAS’03，2003年，第883-890页 [110] 克劳斯，S。；Sycara，K。；Evenchik，A.，《通过论证达成协议：逻辑模型和实现》，《人工智能》，104，1-69（1998）·Zbl 0908.68033号 [111] G.Li，V.S.Uren，E.Motta，S.Buckingham Shum，J.Domingue，Claimaker:编织研究论文的语义网，收录于：2002年国际语义网络会议，第436-441页；G.Li，V.S.Uren，E.Motta，S.Buckingham Shum，J.Domingue，Claimaker:编织研究论文的语义网，收录于：2002年国际语义网络会议，第436-441页·Zbl 1048.68815号 [112] Liberatore，P.，关于在数字锁相环《人工智能》，116315-326（2000）·Zbl 0939.68646号 [113] A.R.Lodder，Dialaw:《论法律辩护与对话游戏》，马斯特里赫特大学博士论文，1998年；A.R.Lodder，Dialaw：《法律辩护与对话游戏》，马斯特里赫特大学博士论文，1998年 [114] A.R.Lodder，A.Herczog，《DiaLaw:法律推理建模的对话框架》，摘自：Proc。第五届ICAIL，1995年，第146-155页；A.R.Lodder，A.Herczog，《DiaLaw:法律推理建模的对话框架》，摘自：Proc。第五届ICAIL，1995年，第146-155页 [115] K.Lorenz，《算术与逻辑》，博士论文，基尔，1961年；K.Lorenz，《算术与逻辑》，博士论文，基尔，1961年 [116] Lorenzen，P.，《逻辑计算的辩证基础》（Constructive Philosophy，1987），马萨诸塞大学出版社，K.R.Pavlovic（transl.） [117] Lorenzen，P。；Lorenz，K.，Dialogische Logik（1978），Wissenschaftliche Buchgesellschaft:Wissenshaftliche-Buchgesellshaft Darmstadt·Zbl 0435.03011号 [118] Loui，R.P.，《过程与政策：基于资源的非演示推理》，《计算机智能：国际期刊》，14，1，1-38（1998） [119] 路易·R·P。；Norman，J.，《理性与论证动作》，《人工智能与法律》，第3159-189页（1995年） [120] L.S.Lutomski，律师统计顾问的设计，摘自：Proc。第二届ICAIL，1989年，第224-233页；L.S.Lutomski，律师统计顾问的设计，摘自：Proc。第二届ICAIL，1989年，第224-233页 [121] MacKenzie，J.D.，《非累积系统中的问题记录》，J.Philos。逻辑，8，1，117-133（1978）·Zbl 0397.03004号 [122] McBurney，P。；帕森斯，S.，《用辩证论证来表示认识的不确定性》，《数学年鉴》。AI，32，1-4，125-169（2001）·Zbl 1314.03011号 [123] McBurney，P。；Parsons，S.，《代理玩的游戏：自主代理之间对话的正式框架》，逻辑语言信息。，11, 315-334 (2002) ·Zbl 1002.68166号 [124] McBurney，P。；希区柯克，D。；帕森斯，S.，《八重思考对话方式》，《国际智库杂志》。系统。，22, 1, 95-132 (2007) [125] McBurney，P。；帕森斯，S。；Wooldridge，M.，《代理论证协议的渴望》，（Proc.First Intern.Joint Conf.on Autonomous Agents and Multi-agent Systems（AAMAS’02）（2002），ACM Press），402-409 [126] McBurney，P。；范·艾克，R.M。；帕森斯，S。；Amgoud，L.，代理采购谈判的对话游戏协议，J.自治代理多代理系统。，7, 3, 235-273 (2003) [127] L.T.McCarty，《Eisner诉Macomber案的实施》，载于：Proc。第五届ICAIL，1995年，第276-286页；L.T.McCarty，《Eisner诉Macomber案的实施》，载于：Proc。第五届ICAIL，1995年，第276-286页 [128] C.C.Marshall，《代表法律论点的结构》，载于：Proc。第二届ICAIL，1989年，第121-127页；C.C.Marshall，《代表法律论点的结构》，载于：Proc。第二届ICAIL，1989年，第121-127页 [129] 马丁内斯特区。；加西亚·A·J。；Simari，G.R.，《论具有扩展失败关系的抽象论证框架中的可接受性》（Dunne，P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），273-278 [130] D.Moore，智能辅导系统的对话博弈论，利兹大学博士论文，1993年；D.Moore，智能教学系统的对话博弈理论，利兹都市大学博士论文，1993年 [131] Moore，R.C.，《非单调逻辑的语义考虑》，人工智能，25，75-94（1985）·Zbl 0569.68079号 [132] M.Mozina、J.Zabkar、I.Bratko，基于参数的机器学习，《人工智能》，本卷，2007年；M.Mozina，J.Zabkar，I.Bratko，基于参数的机器学习，人工智能，本卷，2007年·Zbl 1168.68481号 [133] Mozina，M。；扎布卡尔，J。；工作台盖，T。；Bratko，I.，基于论证的机器学习应用于法律，人工智能，13，1，53-73（2005） [134] 尼尔森公司。；Parsons，S.，《具有攻击论点集的论证系统的计算优选扩展》，（Dunne，P.E.；Bench Capon，T.J.M.，《论点的计算模型》（Proc.COMMA 2006）。争论的计算模型（Proc.COMMA 2006），《人工智能与应用前沿》，第144卷（2006年），IOS出版社，97-108 [135] S.H.Nielsen，S.Parsons，《形式论证的应用：在多智能体系统中融合贝叶斯网》，《人工智能》，2007年；S.H.Nielsen，S.Parsons，《形式论证的应用：在多智能体系统中融合贝叶斯网》，《人工智能》，本卷，2007年·Zbl 1168.68568号 [136] 冯·诺依曼，J。；Morgenstern，O.，《博弈论与经济行为》（1944），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0063.05930号 [137] N.Oren，T.Norman，A.Preece，《主观逻辑与证据争论》，《人工智能》，本卷，2007年；N.Oren，T.Norman，A.Preece，《主观逻辑与证据争论》，《人工智能》，本卷，2007年·Zbl 1168.68569号 [138] 奥斯本，M.J。；Rubinstein，A.，《博弈论课程》（1994年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 1194.91003号 [139] S.van Otterloo，《隐私的价值》，摘自：Proc。AAMAS’05，2005年，第1015-1022页；S.van Otterloo，《隐私的价值》，摘自：Proc。AAMAS’05，2005年，第1015-1022页 [140] 帕森斯，S。；塞拉利昂。；Jennings，N.R.，《通过辩论进行推理和谈判的代理人》，J.Logic Comput。，8, 3, 261-292 (1998) ·Zbl 0904.68061号 [141] S.Parsons，P.McBurney，E.Sklar，M.Wooldridge，《关于正式主体间对话中话语的相关性》，摘自：Proc。2007年第六届澳大利亚金融管理局；S.Parsons，P.McBurney，E.Sklar，M.Wooldridge，《关于正式主体间对话中话语的相关性》，摘自：Proc。2007年第六届澳大利亚金融管理局·Zbl 1135.68589号 [142] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，《正式机构间对话分析》（Proc.AAMAS’02（2002），ACM Press），394-401 [143] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，正式代理间对话的属性和复杂性，J.逻辑计算。，13, 3, 347-376 (2003) ·Zbl 1038.03037号 [144] P.Paruchiri，M.Tambe，F.Ordóñez，S.Kraus，通过策略随机化实现多智能体系统的安全性，收录于：Proc。AAMAS’06，2006年，第273-280页；P.Paruchiri，M.Tambe，F.Ordóñez，S.Kraus，通过策略随机化实现多智能体系统的安全性，收录于：Proc。AAMAS’06，2006年，第273-280页 [145] 佩雷尔曼，C。；Olbrechts Tyteca，L.，《新修辞学：论证论》（1969年），圣母大学出版社：圣母大学出版社 [146] Pollock，J.L.，《标准与我们对物质世界的认识》，Philos。修订版，7628-60（1967） [147] Pollock，J.L.，《认识证明的结构》，（Amer.Philos，季刊专著系列，第4卷（1970年），布莱克威尔），62-78 [148] Pollock，J.L.，《知识与正当性》（1974），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿 [149] Pollock，J.L.，可推翻推理，认知科学。，11, 481-581 (1987) [150] Pollock，J.L.，《可废止推理理论》，《国际情报学杂志》。系统。，6, 33-54 (1991) [151] Pollock，J.L.，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号 [152] H.Prakken，法律论证建模的逻辑工具，博士论文，阿姆斯特丹Vrije大学，1993年（出版为[154]；H.Prakken，法律论证建模的逻辑工具，博士论文，阿姆斯特丹Vrije大学，1993年（出版为[154] [153] H.Prakken，《从逻辑到法律论证中的辩证法》，摘自：Proc。第五届ICAIL，1995年，第165-174页；H.Prakken，《从逻辑到法律论证中的辩证法》，摘自：Proc。第五届ICAIL，1995年，第165-174页 [154] Prakken，H.，《法律论证建模的逻辑工具》（1997），Kluwer学术出版社 [155] Prakken，H.，用论证的形式模型分析和推理证据，法律，概率和风险，33-50（2004） [156] 普拉肯，H。；Sartor，G.，《在正式对话游戏中用先例模拟推理》，《人工智能》，第6231-287页（1998年） [157] I.Rahwan，L.Amgoud，《基于论证的实践推理方法》，摘自：Proc。AAMAS062006年，第347-354页；I.Rahwan，L.Amgoud，《基于论证的实践推理方法》，摘自：Proc。AAMAS062006年，第347-354页 [158] I.Rahwan，F.Zablith，C.Reed，《为全球争论网络奠定基础》，《人工智能》，本卷，2007年；I.Rahwan，F.Zablith，C.Reed，《为全球争论网络奠定基础》，《人工智能》，本卷，2007年 [159] S.D.Ramchur、C.Sierra、L.Godo、N.R.Jennings，《利用奖励进行谈判》，《人工智能》，本卷，2007年；S.D.Ramchurn，C.Sierra，L.Godo，N.R.Jennings，《使用奖励进行谈判》，人工智能，本卷，2007年·Zbl 1168.68570号 [160] （Raz，J.，《实用推理》（1978），牛津大学出版社：牛津大学出版社，英国牛津） [161] 里德，C。；Norman，T.，《论证机器》（2003），Kluwer学术出版社 [162] 里德，C。；Rowe，G.，Araucaria：论点分析、图表和表示软件，《国际人工智能工具》，第13、4、961-980页（2004年） [163] T.Rombouts，合作博弈论中的论证解决方案，硕士论文，认知人工智能，乌得勒支大学，2004年8月；T.Rombouts，合作博弈论中的论证解决方案，硕士论文，认知人工智能，乌得勒支大学，2004年8月 [164] 罗伊，G。；Reed，C.，《翻译维格莫尔图》（Dunne，P.E.；Bench-Capon，T.J.M.，《论证的计算模型》（Proc.COMMA 2006）。争论的计算模型（Proc.COMMA 2006），《人工智能与应用前沿》，第144卷（2006年），IOS出版社，171-182 [165] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号 [166] Rissland，E.L。；Ashley，K.D。；Loui，R.P.，《人工智能与法律：富有成果的协同作用》，人工智能，150，1-2，1-15（2003） [167] E.L.Rissland，D.B.Skalak，M.Friedman，Bankxx：通过基于案例的搜索生成论点的程序，见：Proc。ICAIL’93，1993年，第117-124页；E.L.Rissland，D.B.Skalak，M.Friedman，Bankxx：通过基于案例的搜索生成论点的程序，见：Proc。1993年ICAIL，第117-124页 [168] Ruggiero，V.R.，《批判地思考道德问题》（2003），麦格劳-希尔 [169] G.Sartor，非单调和对抗性法律推理的简单计算模型，载于：Proc。ICAIL’93，1993年，第192-201页；G.Sartor，非单调和对抗性法律推理的简单计算模型，载于：Proc。1993年ICAIL，第192-201页 [170] Sartor，G.，《法律论证的正式模式》，《比率法学》，第7212-226页（1994年） [171] Searle，J.R.，《行动中的理性》（2001年），麻省理工学院出版社：麻省理学学院出版社剑桥 [172] Silverman，J.，《隐藏的议程和如何发现它们》，《医学》，第33、2、27-29页（2005年） [173] Simari，G.R。；Loui，R.P.，《不可行推理的数学处理及其实现》，《人工智能》，第53、2-3、125-157页（1992年）·Zbl 1193.68238号 [174] 斯卡拉克，D.B。；Rissland，E.L.，《论据与案例：不可避免的交织》，《人工智能与法律》，第1期，第3-44页（1992年） [175] Sycara，K.，谈判中的说服性论证，理论与决策，28，203-242（1990） [176] Sycara，K.，《多代理系统》，AI杂志，79-92（1998年夏） [177] 托罗尼（P.Torroni），《谈判对话终结研究》（A study on the termination of negotiation dialogies），载于：Proc。AAMAS’022002年，第1223-1230页；托罗尼（P.Torroni），《谈判对话终结研究》（A study on the termination of negotiation dialogies），载于：Proc。AAMAS’02，2002年，第1223-1230页 [178] Toulmin，S.，《论证的用途》（1959），剑桥大学出版社 [179] 尿素，V.S。；白金汉·舒姆，S。；巴克勒，M。；Li，G.，《用于理解研究文献的感官制作工具：设计、实施和用户评估》，《国际机器研究杂志》，第64、5、420-445页（2006年） [180] Urquhart，A.，命题逻辑Gentzen系统的复杂性，Theoret。计算。科学。，66, 1, 87-97 (1989) ·Zbl 0688.03039号 [181] Verheij，B.，《可废止论证的人工论证助手》，《人工智能》，第150、1-2、291-324页（2003年） [182] Vreeswijk，G.，抽象论证系统，人工智能，90，225-279（1997）·Zbl 1017.03513号 [183] Vreeswijk，G.，在变元系统中计算最小基础和可容许防御集的算法，（Dunne，P.E.；Bench Capon，T.J.M.，变元计算模型（Proc.COMMA 2006）。论证的计算模型（Proc.COMMA 2006），《人工智能和应用前沿》，第144卷（2006），IOS出版社），109-120 [184] G.Vreeswijk，H.Prakken，《首选语义的轻信和怀疑论论证游戏》，载于：《2000年JELIA会议录》，第七届欧洲人工智能逻辑研讨会，柏林，2000年，第224-238页；G.Vreeswijk，H.Prakken，《首选语义的轻信和怀疑论论证游戏》，载于：《2000年JELIA会议录》，第七届欧洲人工智能逻辑研讨会，柏林，2000年，第224-238页·Zbl 0998.68162号 [185] Walker，医学硕士。；惠塔克，S.J。；支架，A。；马洛尔，P。；摩尔，J.D。；约翰斯顿，M。；Vasireddy，G.，多模式对话中用户定制反应的生成和评估，认知科学。，28, 811-840 (2004) [186] Walton，D.N.，《假设推理的论证方案》（1996），埃尔鲍姆：埃尔鲍姆·马瓦，新泽西州 [187] Walton，D.N.，《考试对话：批判性质疑专家意见的论证框架》，《语用学杂志》，38，745-777（2006） [188] Walton，D.N。；Gordon，T.，《法律论证计算模型中的关键问题》，（Dunne，P.E.；Bench-Capon，T.J.M.，《人工智能与法律中的论证》，IAAIL研讨会系列，第2卷（2005年），Wolf法律出版社：Wolf legal Publishers Tilburg），103-111 [189] Walton，D.N。；Krabbe，E.C.W.，《对话中的承诺：人际推理的基本概念》（1995年），纽约大学出版社 [190] Wigmore，J.H.，《司法证明原则》（1931年），Little，Brown and Co。 [191] 伍兹，J。；欧文，A。；Walton，D.，《论据：批判性思维、逻辑和谬误》（2004），Prentice-Hall [192] Wooldridge，M.，《多代理系统简介》（2002），John Wiley&Sons：John Willey&Sons Chichester，英国 [193] M.Wooldridge，P.E.Dunne，S.Parsons，《关于连接演绎和抽象论证系统的复杂性》，摘自：Proc。第21届AAAI，2006年；M.Wooldridge，P.E.Dunne，S.Parsons，《关于连接演绎和抽象论证系统的复杂性》，摘自：Proc。第21届AAAI，2006年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。