×
奥费尔·阿列利；安娜玛丽·博格；杰西·海因尼克

回顾逻辑论证与最大一致性推理之间的关系。 （英语） Zbl 1474.68333号

安。数学。Artif公司。智力。 87，第3期，187-226（2019）.
摘要：这是对不同类型逻辑论证框架和几种形式的前提最大一致集推理的Dung-style语义的最新研究结果的综述。本文还就一些合理性假设对相关形式进行了检验，并对相应的非单调推理证明系统进行了验证。

引用于5文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

逻辑论证；结构化论证；最大一致性推理；可废止推理；基于扩展的语义；动态证明系统

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}等人，《数学年鉴》。Artif公司。智力。87，第3号，187--226（2019；Zbl 1474.68333）
全文： 内政部

参考文献：

[1] Amgoud，L.，基于逻辑的论证系统的假设，Int.J.近似理性。，55, 9, 2028-2048 (2014) ·Zbl 1433.68438号
[2] Amgoud，L.，Besnard，P.：弥合抽象论证系统和逻辑之间的差距。收录于：《2009年会刊》，LNCS 5785，第12-27页。施普林格（2009）
[3] Amgoud，L.，Besnard，P.：基于逻辑的论证系统的形式分析。摘自：《2010年国际货币基金会会议记录》，LNCS 6379，第42-55页。施普林格（2010）
[4] Amgoud，L。；Besnard，P.，抽象论证框架的逻辑极限，应用非经典逻辑杂志，23，3，229-267（2013）·Zbl 1400.68201号
[5] Amgoud，L。；Cayrol，C.，《从基于偏好的论证框架中的不一致性推断》，J.Autom。原因。，29, 2, 125-169 (2002) ·Zbl 1056.68589号
[6] Amgoud，L.，Vesic，S.：处理基于偏好的论证的不一致性。摘自：2010年会议记录，第56-69页。施普林格（2010）
[7] Arieli，O.，Borg，A.，Straßer，C.：基于优先顺序的论证。载于：《2018年AAMAS会议记录》，第1105-1113页。ACM（2018）
[8] O·阿里利。；博格，A。；Straßer，C.，《通过论证方法进行最大一致性推理》，J.Log。计算。，28, 7, 1523-1563 (2018) ·Zbl 1444.68175号
[9] Arieli，O.，Borg，A.，Straßer，C.：逻辑论证的证明理论视角。提交（2019年）·Zbl 07339954号
[10] Arieli，O.，Straßer，C.：基于序列的逻辑论证的动态推导。摘自：《2014年COMMA会议录》，第266卷，《人工智能与应用前沿》，第89-100页。IOS出版社（2014）·Zbl 1445.03032号
[11] O·阿里利。；Straßer，C.，基于序列的逻辑论证，《论证与计算杂志》，6，1，73-99（2015）
[12] O·阿里利。；Straßer，C.，《通过增强顺序计算和动态推导进行演绎论证》，电子。注释Theor。计算。科学。，323, 21-37 (2016) ·Zbl 1394.68364号
[13] 奥费尔·阿列利；克里斯蒂安·斯特拉（Christian Straßer），《动态证明系统的逻辑论证》，《理论计算机科学》，781，63-91（2019）·Zbl 1423.68477号
[14] Asenjo，Fg，《矛盾演算》，《圣母院形式逻辑杂志》，第7期，第103-106页（1966年）·Zbl 0145.00508号
[15] Avron，A.：命题非经典逻辑证明理论中的超序列方法。摘自：《逻辑：应用基础》，第1-32页。牛津科学出版物（1996）·Zbl 0861.03043号
[16] Baral，C。；克劳斯，S。；Minker，J.，《结合多种知识库》，IEEE Trans。知识。数据工程，3，2，208-220（1991）
[17] 巴罗尼，P。；卡米纳达，M。；Giacomin，M.，《论证语义学导论》，Knowl。工程版本，26，4，365-410（2011）
[18] Baroni，P.，Caminada，M.，Giacomin，M.：抽象论证框架及其语义。收录于：Baroni，P.，Gabay，D.，Giacomin，M.，van der Torre，L.（编辑）《形式论证手册》，第159-236页。学院出版物（2018）
[19] Baroni，P.，Giacomin，M.：抽象论证系统的语义。收录：Rahwan，I.，Simary，G.R.（编辑）《人工智能论证》，第25-44页（2009年）·Zbl 1191.68671号
[20] 贝拉恩，M。；Heyninck，J。；帕尔多，P。；Straßer，C.，形式论证中的论证强度，《应用逻辑学杂志》，《逻辑学及其应用杂志》，5，3，629-675（2018）·Zbl 1514.68276号
[21] Benferhat，S.，Dubois，D.，Prade，H.：在可能性逻辑中表示默认规则。收录：《1992年韩国公报》，第673-684页（1992年）
[22] Benferhat，S.、Dubois，D.、Prade，H.：分层知识库中不一致情况下的局部推理方法。摘自：ECSQARU’95会议记录，LNCS 946，第36-43页。斯普林格（1995）
[23] Benferhat，S。；Dubois，D。；Prade，H.，《处理不一致知识库的一些句法方法：比较研究——第1部分：扁平案例》，Stud.Logica。，58, 1, 17-45 (1997) ·Zbl 0867.68100号
[24] 贝斯纳德，P。；加西亚，a。；亨特，A。；莫吉尔，S。；普拉肯，H。；Simari，G。；Toni，F.，《结构化论证、论证与计算导论》，5，1，1-4（2014）
[25] 贝斯纳德，P。；亨特，A.，基于逻辑的演绎论点理论，J.阿蒂夫。智力。，128, 1-2, 203-235 (2001) ·兹伯利0971.68143
[26] Besnard，P.，Hunter，A.：基于经典逻辑的论证。收录：Rahwan，I.，Simary，G.R.（编辑）《人工智能论证》，第133-152页。施普林格（2009）
[27] Besnard，P.，Hunter，A.：基于演绎论证的论证综述。收录于：Baroni，P.，Gabay，D.，Giacomin，M.，van der Torre，L.（编辑）《形式论证手册》，第437-484页。学院出版物（2018）·Zbl 1395.03005号
[28] Bondarenko，A。；粪，Pm；科瓦尔斯基，R。；Toni，F.，《缺省推理的抽象论证理论方法》，J.Artif。智力。，93, 1, 63-101 (1997) ·Zbl 1017.03511号
[29] Borg，A.：用可废止的假设装备基于顺序的论证。收录：《18年COMMA会议录》，第305卷，《人工智能与应用前沿》。IOS出版社（2018）·Zbl 1430.68300号
[30] Borg，A.，Arieli，O.：超序列论证框架：模态逻辑S5中的实例化。摘自：《2018年AAMAS会议记录》，第1097-1104页。ACM（2018）
[31] Borg，A.，Arieli，O.，Straßer，C.：基于超序列的论证：关联逻辑RM中的实例化。收录：Black，E.，Modgil，S.，Oren，N.（编辑）《TAFA’17会议录》，LNCS 10757，第17-34页。施普林格（2017）·Zbl 1462.68178号
[32] Borg，A.，Straßer，C.，Arieli，O.：用超连续计算进行结构化论证的广义证明理论方法。提交时间（2019年）
[33] Brewka，G.：首选子理论：默认推理的扩展逻辑框架。收录：Sridharan，N.S.（编辑）《89年国际商会会刊》，第1043-1048页。摩根·考夫曼（1989）·Zbl 0713.68053号
[34] 卡米纳达，M。；Amgoud，L.，《论论证形式主义的评价》，J.Artif。智力。，171, 286-310 (2007) ·Zbl 1168.68562号
[35] Caminada，M.、Modgil，S.、Oren，N.：偏好和无限制反驳。收录于：《14年COMMA议事录》，第209-220页。IOS出版社（2014）
[36] Cayrol，C.：论论证与非单调连贯蕴涵的关系。收录于：《1995年国际商会会刊》，第1443-1448页。Morgan Kaufmann（1995）
[37] 乔拉斯，K.，托尼，F.：基于假设的论证的非单调推理性质。摘自：TAFA'15会议记录，第92-111页。斯普林格（2015）·Zbl 1335.68248号
[38] 达戈斯蒂诺，M。；莫吉尔，S.，《古典逻辑、论证和辩证法》，Artif。智力。，262, 15-51 (2018) ·Zbl 1451.68258号
[39] D’Agostino，M.，Modgil，S.：首选子理论的论证特征研究。收录：2018年国际JCAI会议记录，第1788-1794页（2018年）
[40] Dauphin，J.，Cramer，M.：Aspic结束：带解释和自然演绎的结构化论证。摘自：2017年TAFA会议记录，第51-66页。施普林格（2017）·Zbl 1462.68179号
[41] Dung，Pm，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，J.Artif。智力。，77, 321-357 (1995) ·Zbl 1013.68556号
[42] 粪，Pm；科瓦尔斯基，R。；Toni，F.，《基于假设的可接受论证的辩证法证明程序》，J.Artif。智力。，170, 2, 114-159 (2006) ·Zbl 1131.68103号
[43] Elvang-Göransson，M.，Krause，P.，Fox，J.：作为“逻辑不确定性”的论点的可接受性。收录：ECSQARU'93会议记录，第85-90页。斯普林格（1993）
[44] 加西亚，a。；Simari，G.，《可失效逻辑编程：论证方法》，理论与实践。逻辑程序。，4, 1-2, 95-138 (2004) ·Zbl 1090.68015号
[45] Gärdenfors，P.，Rott，H.：信念修正。摘自：《人工智能和逻辑编程逻辑手册》，第4卷，第35-132页。牛津大学出版社（1995）
[46] Gentzen，G.：逻辑演绎研究。收录：Szabo，M.E.（编辑）德语。英文译本出现在《格哈德·根岑文集》中。北荷兰人（1969年）
[47] Gorogiannis，北。；Arguments，Ahunter，用经典逻辑假设和属性实例化抽象论证，J.Artif。智力。，175, 9-10, 1479-1497 (2011) ·Zbl 1225.68248号
[48] Heyninck，J.，Arieli，O.：关于基于简单对立假设的论证框架的语义。收录：《18年COMMA会议录》，第305卷，《人工智能与应用前沿》。IOS出版社（2018）·Zbl 1522.68527号
[49] 杰西·海宁克；Arieli，Ofer，《基于简单对立假设的框架、逻辑编程和非单调推理》，75-88（2019），查姆：斯普林格国际出版公司，查姆·Zbl 1522.68527号
[50] Heyninck，J.，Straßer，C.：非单调逻辑中基于假设的方法与形式论证之间的关系。摘自：2016年核磁共振会议记录，第65-76页（2016）
[51] Heyninck，J.，Straßer，C.：重新审视结构化论证中的无限制反驳和偏好。摘自：2017年国际商会会议记录，第1088-1092页。AAAI出版社（2017）
[52] Kaci，S.，van der Torre，L.，Villata，S.：抽象论证中的偏好。收录：《18年COMMA会议录》，第305卷，《人工智能与应用前沿》。IOS出版社（2018）·Zbl 1430.68308号
[53] Konieczny，S.，Marquis，P.，Vesic，S.：来自最大一致子集的新推理关系。摘自：KR’18会议记录，第649-650页。AAAI出版社（2018）
[54] 科尼奇尼，S。；Pino Pérez，R.，《在约束下合并信息：逻辑框架》，Log。计算。，12, 5, 773-808 (2002) ·Zbl 1020.68086号
[55] Lin，J.，加权知识库的集成，J.Artif。智力。，83, 2, 363-378 (1996) ·Zbl 1506.68152号
[56] Malouf，R.，最大一致子集，计算。语言学家。，33, 2, 153-160 (2007)
[57] 莫吉尔，S。；Prakken，H.，《偏好论证的一般描述》，J.Artif。智力。，195, 361-397 (2013) ·兹比尔1270.68284
[58] 莫吉尔，S。；Prakken，H.，《结构化论证的ASPIC+框架：教程，论证与计算》，5，1，31-62（2014）
[59] Pigozzi，G。；Tsoukias，A。；维亚皮亚尼，P.，《人工智能偏好》，《数学年鉴》。Artif公司。智力。，77, 3-4, 361-401 (2016) ·Zbl 1371.68262号
[60] Pollock，J.，《如何合理推理》，J.Artif。智力。，57, 1, 1-42 (1992) ·Zbl 0763.68056号
[61] Prakken，H.，《结构化论证的抽象框架》，《论证与计算》，1，2，93-124（2010）
[62] Prakken，H.：形式论证的历史概述。收录于：Baroni，P.，Gabay，D.，Giacomin，M.，van der Torre，L.（编辑）《形式论证手册》，第75-143页。学院出版物（2018）·Zbl 1395.03005号
[63] Prakken，H.，Vreeswijk，G.：可废止论证的逻辑系统。摘自：Gabbay，D.，Guenthner，F.（编辑）《哲学逻辑手册》14，第219-318页。Kluwer（2002）·Zbl 1003.03503号
[64] G.牧师，《悖论的逻辑》，J.菲洛斯。日志。，8219-241（1979年）·Zbl 0402.03012号
[65] G.牧师，《关于真理的推理》，J.Artif。智力。，39, 231-244 (1989) ·Zbl 0694.03021号
[66] Rescher，N。；Manor，R.，《从矛盾前提推断》，Theor。拒绝。，1, 179-217 (1970) ·Zbl 0212.31103号
[67] Simari，G。；Loui，Rp，《不可行推理的数学处理及其实现》，J.Artif。智力。，53, 2-3, 125-157 (1992) ·Zbl 1193.68238号
[68] 克里斯蒂安·斯特拉；Arieli，Ofer，基于顺序论证的规范推理，《逻辑与计算杂志》，29，387-415（2015）·Zbl 1444.03075号
[69] Thimm，M.，Wallner，J.P.：不一致性度量的一些复杂性结果。摘自：2016年韩国会议记录，第114-124页（2016年）
[70] Tonim，F.，《认知和实践推理的基于假设的论证》，《法律的可计算模型、语言、对话、游戏、本体论》，4884185-202（2008）·Zbl 1161.68791号
[71] Toni，F.，《基于假设的论证、论证和计算教程》，5，1，89-117（2014）
[72] Vesic，S.，《在论证中识别最大一致算子类》，J.Artif。智力。研究，47，71-93（2013）·Zbl 1276.68143号
[73] Vesic，S.，van der Torre，L.：超越最大一致论证算子。收录于：《JELIA’12学报》，LNCS 7519，第424-436页。施普林格（2012）·兹比尔1361.68245
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。