达戈斯蒂诺,M。;莫吉尔,S。 古典逻辑、论证和辩证法。 (英语) Zbl 1451.68258号 Artif公司。智力。 262, 15-51 (2018). 摘要:Dung抽象论证理论的一个经过充分研究的实例产生了基于论证的特征,即对可能不一致的经典公式集进行非单调推理。这就为单智能体推理提供了论据和反论据,并以计算智能体和/或人工智能体之间对话的形式提供了分布式非单调推理。然而,经典逻辑论证的现有形式化特征(Cl-Arg公司)确保满足理性假设,排除应用Cl-Arg公司这解释了资源丰富的代理人在现实世界中辩证地使用论点的原因。本文形式化辩证经典逻辑论证这两者都满足了这些实际需要,并且是可以证明的理性。与标准方法相比Cl-Arg公司我们:1)在一个论点的前提被接受为真和那些为了论证而假定为真的前提之间作出认识上的区别,从而使论证前提被证明是不一致的辩证运动形式化,并避免对外承诺对话应用中出现的问题;2) 提供一个帐户氯-精氨酸通过避免检查一个参数的前提是子集最小且一致的需要,以及确定一组关于必须从一组公式构造的参数的最小假设,以确保评估结果是合理的,从而适合于实际应用。然后,我们用命题经典逻辑的自然演绎证明理论来说明我们的方法,该理论允许测量论点的“深度”,从而构造深度边界参数是一个容易处理的问题,每增加一个深度自然就等于增加了真实世界中代理的推理能力。我们还提供了Brewka的首选子理论定义的非单调推理的基于资源的论证特征。 引用于5文件 MSC公司: 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑(包括信念变化) 关键词:经典逻辑;论证;辩证法;理性假设;自然扣除;首选子目录;有界推理 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}和\textit{S.Modgil},Artif。智力。262、15--51(2018年;Zbl 1451.68258) 全文: 内政部 链接 参考文献: [1] Amgoud,L。;Cayrol,C.,基于可接受参数产生的推理模型,《数学年鉴》。Artif公司。智力。,34, 1-3, 197-215 (2002) ·Zbl 1002.68172号 [2] Amgoud,L。;Maudet,N。;Parsons,S.,《使用论证模拟对话》(第四届多智能体系统国际会议论文集(2000)),31-38 [3] Amgoud,L。;Prade,H.,使用论据制定和解释决策,Artif。智力。,173、34113-436(2009年)·Zbl 1343.68219号 [4] Amgoud,L。;Vesic,S.,《处理基于偏好的论证的不一致性》,(第四届国际会议可扩展不确定性管理:第四届国际会议。第四届国际会议可扩展不确定性管理:第四届国际会议,SUM 2010(2010)),56-69 [5] 安德森,A.R。;北卡罗来纳州贝尔纳普,《牵连:相关性和必要性的逻辑》,第1卷(1975年),普林斯顿大学出版社:普林斯顿大学出版·Zbl 0323.02030号 [6] O·阿里利。;Straßer,C.,基于序列的逻辑论证,Argum。计算。,6, 1, 73-99 (2015) [7] O·阿里利。;Straßer,C.,《通过增强顺序计算和动态推导进行演绎论证》,电子。注释Theor。计算。科学。,323, 21-37 (2016) ·兹比尔1394.68364 [8] 阿特金森,K。;工作台盖,T。;Mcburney,P.,实用论点的计算表示,综合,1522006(2005)·Zbl 1112.03302号 [9] Bench-Capon,T.J.M.,《使用基于价值的论证框架进行实际论证的说服》,J.Log。计算。,13, 3, 429-448 (2003) ·Zbl 1043.03026号 [10] Bench-Capon,T.J.M。;Doutre,S。;Dunne,P.E.,《论证框架中的受众》,Artif。智力。,171, 1, 42-71 (2007) ·Zbl 1168.68561号 [11] Bench-Capon,T.J.M。;Dunne,P.E.,《人工智能中的论证》,Artif。智力。,171, 10-15 (2007) ·Zbl 1168.68560号 [12] 贝斯纳德,P。;Hunter,A.,《论证要素》(2008),麻省理工出版社 [13] Brewka,G.,《首选子理论:默认推理的扩展逻辑框架》(Proc.11th International Joint Conference on Artificial Intelligence,1989),1043-1048·Zbl 0713.68053号 [14] 卡米纳达,M.,对话和HY-论据,(非单调推理(2004)),94-99 [15] 卡米纳达,M。;Amgoud,L.,《论论证形式主义的评价》,Artif。智力。,171, 5-6, 286-310 (2007) ·Zbl 1168.68562号 [16] 卡米纳达,M。;卡尼埃利,W。;Dunne,P.,《半稳定语义》,J.Log。计算。,22, 5, 1207-1254 (2012) ·Zbl 1267.68223号 [17] 卡米纳达,M。;莫吉尔,S。;Oren,N.,偏好和无限制反驳,(Proc.论证的计算模型。Proc.论证的计算模型,COMMA'14(2014)),209-220 [18] 库克,S.A。;Rechow,R.,《命题演算中证明的长度》,(第六届计算理论年会(1974年)),135-148·Zbl 0375.0204号 [19] 克雷文,R。;Toni,F.,《论证图和基于假设的论证》,Artif。智力。,233,C,1-59(2016)·Zbl 1351.68264号 [20] D’Agostino,M.,《古典自然演绎》(Artömov,S.N.;etal.,We Will Show Them!,vol.1(2005),College Publications),429-468·兹比尔1279.03077 [21] D’Agostino,M.,逻辑运算符的分析推断和信息意义,Log。分析。,57, 227, 407-437 (2014) ·Zbl 1369.03037号 [22] 达戈斯蒂诺,M.,《经典逻辑的信息观》,Theor。计算。科学。,606, 79-97 (2015) ·Zbl 1332.03002号 [23] 达戈斯蒂诺,M。;手指,M。;Gabbay,D.M.,《深度边界布尔逻辑的语义和证明理论》,Theor。计算。科学。,480, 43-68 (2013) ·Zbl 1315.03107号 [24] 达戈斯蒂诺,M。;Gabbay,D.M。;Modgil,S.,《经典自然演绎的正态性、无污染性和逻辑深度》(2017),技术报告,第一部分和第二部分 [25] 达戈斯蒂诺,M。;Modgil,S.,《真实世界智能体经典逻辑论证的理性解释》,(欧洲人工智能会议,欧洲人工智能大会,ECAI 2016(2016)),141-149·Zbl 1403.68261号 [26] Dung,P.M.,《论据的可接受性及其在非单调推理、逻辑编程和人与人之间的博弈中的基本作用》,Artif。智力。,77, 2, 321-358 (1995) ·Zbl 1013.68556号 [27] Dung,P.M。;Toni,F。;Mancarella,P.,《实用论证系统的一些设计指南》(Proc.论证的计算模型.Proc.论证计算模型,COMMA'10(2010)),183-194 [28] Dung,P.M。;Thang,P.M.,《逻辑相关论证中的终结和一致性》,J.Artif。智力。决议,49,1,79-109(2014)·Zbl 1361.68225号 [29] Efstathiou,V.公司。;Hunter,A.,命题逻辑中生成自变量和反自变量的算法,《国际近似推理》。,52, 6, 672-704 (2011) ·兹比尔1252.68273 [30] 艾特,T。;Gottlob,G.,《基于逻辑的诱拐的复杂性》,J.ACM,42,1,3-42(1995)·Zbl 0886.68121号 [31] 范,X。;Toni,F.,《基于声音假设的论证对话的一般框架》,Artif。智力。,216, 20-54 (2014) ·Zbl 1405.68351号 [32] Galilei,G.,《关于两门新科学的对话》[1638](1954),纽约州多佛 [33] Gorogannis,N。;Hunter,A.,《用经典逻辑论证实例化抽象论证:假设和属性》,Artif。智力。,175, 1479-1497 (2011) ·兹比尔1225.68248 [34] Grooters,D。;Prakken,H.,将次协调逻辑与论证相结合,(Proc.论证的计算模型.Proc.论证计算模型,COMMA'14(2014)),301-312 [35] Hunter,A.,《使论证更可信》(AAAI 2004(2004)会议记录),269-274 [36] 卡卡斯,A。;Mancarella,P。;Toni,F.,《论论证逻辑和命题逻辑》,《研究日志》。,106, 2, 237-279 (2018) ·Zbl 1437.68166号 [37] 劳伦斯,J。;贝克斯·F。;Reed,C.,《论据网络上的对话:与arvina的混合主动论据》(Proc.Computational Models of argument,Proc.Computitational Models of argument,COMMA'12(2012)),第513-514页 [38] McBurney,P。;Parsons,S.,第13章:代理论证的对话游戏,(Rahwan,I.;Simari,G.,《人工智能中的论证》(2009),Springer),261-280 [39] Modgil,S.,《基于论证的智能体推理语义》(Proc.Workshop on Languages,Methodologies and Development Tools for Multi-agent Systems),《语言、方法和多智能体系统开发工具研讨会》,LADS 07(2007),37-53 [40] Modgil,S.,《重新审视抽象论证框架》,(《形式论证的理论与应用》,TAFA’14(2014)),1-15·Zbl 1405.68361号 [41] 莫吉尔,S。;Bench-Capon,T.J.M.,《综合辩证和应计论证模式》(Proc.Computational Models of Argument,Proc.Computerational Models for Argument),COMMA'10(2010),第335-346页 [42] 莫吉尔,S。;Caminada,M.,第6章:抽象论证框架的证明理论和算法,(Rahwan,I.;Simari,G.,《人工智能中的论证》(2009),Springer),105-129 [43] 莫吉尔,S。;Prakken,H.,《论证和偏好的概述》,Artif。智力。,195, 361-397 (2013) ·Zbl 1270.68284号 [44] 莫吉尔,S。;Toni,F。;贝克斯,F。;I.布拉特科。;Chesnevar,C.I。;范,X。;Gaggl,S。;加西亚,A.J。;Gonzalez,M.P。;戈登,T。;Leite,J。;Mozina,M。;里德,C。;Simari,G.R。;Szeider,S。;托罗尼,P。;Woltran,S.,《论证的附加值》(《协议技术手册》(2013年),斯普林格-Verlag),第21章 [45] 帕森斯,S。;伍尔德里奇,M。;Amgoud,L.,《关于正式的代理间对话的结果》,(第二届自治代理和多代理系统国际联合会议论文集(2003)),683-688 [46] 佩雷尔曼,C。;Olbrechts-Tyteca,L.,《新修辞学:论辩论》(1969),圣母大学出版社 [47] Pollock,J.L.,《可推翻的推理》,Cogn。科学。,11, 481-518 (1987) [48] Prakken,H.,《辩论对话游戏中的连贯性和灵活性》,J.Log。计算。,15, 1009-1040 (2005) ·Zbl 1092.03014号 [49] Prakken,H.,《论据累积及其在证据推理中的应用研究》(《国际人工智能与法律会议议事录》(2005年)),第85-94页 [50] 普拉肯,H。;Sartor,G.,《基于论证的扩展逻辑编程与可取消优先级》,J.Appl。非类别。日志。,7, 25-75 (1997) ·Zbl 0877.68019号 [51] 拉旺,I。;Amgoud,L.,《实用推理的基于论证的方法》(Maudet,N.;Parsons,S.;Rahwan,I.,《多智能体系统中的论证》,《计算机科学讲义》,第4766卷(2007),施普林格:施普林格-柏林-海德堡),74-90·Zbl 1134.68303号 [52] 拉旺,I。;Madakkatel,M。;Bonnefon,J。;阿旺,R.N。;Abdallah,S.,评估恢复抽象论证语义的行为实验,Cogn。科学。,34, 8, 1483-1502 (2010) [53] (Rahwan,I.;Simari,G.,《人工智能中的论证》(2009),Springer-Verlag) [54] Reiter,R.,默认推理逻辑,Artif。智力。,13, 81-132 (1980) ·Zbl 0435.68069号 [55] Rescher,N。;Manor,R.,《论不一致前提的推论》,《决定论》。,1, 179-219 (1970) ·兹伯利0212.31103 [56] Stalnaker,R.,《逻辑全知问题》,《综合》,89,3,425-440(1991) [57] Thang,P.M。;Luong,H.T.,《将偏好的子理论转化为结构化论证》,J.Log。计算。,24, 4, 831-849 (2014) ·Zbl 1303.03030号 [58] 托尔钦斯基,P。;莫吉尔,S。;阿特金森,K。;McBurney,P。;Cortes,U.,《安全关键行动推理的审议对话》,J.Auton。代理多代理系统。,25, 209-259 (2012) [59] Vlastos,G.,《苏格拉底的Elenchus》,J.Philos。,79、11、711-714(1982年) [60] Walton,D.N。;Krabbe,E.C.W.,《对话中的承诺:人际推理的基本概念》(1995年),纽约州立大学出版社 [61] Wu,Y。;Podlaszewski,M.,《在基于逻辑的论证中实现防碰撞和不干涉》,J.Log。计算。,25, 303-333 (2015) ·Zbl 1322.68191号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。