×

动态证明系统的逻辑论证。 (英语) Zbl 1423.68477号

摘要:在本文中,我们对逻辑论证进行了证明理论研究,其中论据由序列表示,论据之间的冲突由序列消去规则表示,推论由扩展标准序列计算的动态证明系统进行。这个想法是模仿辩论运动,在这种运动中,在有反诉的情况下引入或撤回某些主张。这是通过对序列序列的动态评估来实现的,在这种评估中,序列序列被视为根据序列内容“衍生”或“非衍生”的。我们表明,这样一个过程的决定性结论对应于基本论证框架的公认结果。因此,结果是用论证系统进行次协调和非单调推理的通用和模块化证明理论方法。

MSC公司:

68T27型 人工智能中的逻辑
03财年03 一般证明理论(包括证明理论语义)

软件:

奥斯卡
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Amgoud,L。;Besnard,P.,《基于逻辑的论证系统的形式分析》(Proc.SUM’10)。程序。SUM’10,LNCS,第6379卷(2010),施普林格出版社),42-55
[2] Amgoud,L。;贝斯纳德,P。;Vesic,S.,《识别基于逻辑的论证系统的核心》(Proc.ICTAI’11(2011),IEEE),633-636
[3] Arieli,O.,《逻辑论证的顺序表示法》(Proc.CLIMA’13)。程序。CLIMA’13,LNCS,第8143卷(2013),施普林格出版社,69-85·Zbl 1401.68297号
[4] O·阿里利。;博格,A。;Straßer,C.,论证方法的最大一致性推理,论证计算。,28, 7, 1523-1563 (2018) ·Zbl 1444.68175号
[5] O·阿里利。;Straßer,C.,《基于序列的逻辑论证的动态推导》(Proc.COMMA’14)。程序。COMMA'14,《人工智能和应用的前沿》,第266卷(2014年),IOS出版社,89-100
[6] O·阿里利。;Straßer,C.,基于序列的逻辑论证,论证计算。,6, 1, 73-99 (2015)
[7] O·阿里利。;Straßer,C.,《通过增强顺序计算和动态推导进行演绎论证》,电子。理论注释。计算。科学。,323, 21-37 (2016) ·Zbl 1394.68364号
[8] Avron,A.,RM及其优良特性,(Bimbo,K.,J.Michael Dunn on Information Based Logics,J.迈克尔·邓恩on Information Basic Logics,Outstanding Contributions to Logic,vol.8(2016),Springer),15-43·Zbl 1439.03047号
[9] 巴罗尼,P。;卡米纳达,M。;Giacomin,M.,《论证语义学导论》,Knowl。工程版本,26,4,365-410(2011)
[10] 巴罗尼,P。;卡米纳达,M。;Giacomin,M.,抽象论证框架及其语义,(形式论证手册(2018),大学出版社),159-236
[11] 巴罗尼,P。;Giacomin,M.,《抽象论证系统的语义》(Rahwan,I.;Simari,G.R.,《人工智能中的论证》(2009)),第25-44页
[12] Batens,D.,自适应逻辑的通用逻辑方法,Log。大学。,1, 221-242 (2007) ·Zbl 1116.03019号
[13] 贝斯纳德,P。;Hunter,A.,基于逻辑的演绎论点理论,《人工智能》,128,1-2,203-235(2001)·Zbl 0971.68143号
[14] 贝斯纳德,P。;Hunter,A.,《基于经典逻辑的论证》,(Rahwan,I.;Simari,G.R.,《人工智能中的论证》(2009),Springer),133-152
[15] 邦达连科,A。;Dung,P.M。;科瓦尔斯基,R。;Toni,F.,《默认推理的抽象论证理论方法》,《人工智能》,93,1,63-101(1997)·Zbl 1017.03511号
[16] Brewka,G.,《动态论证系统:基于情境演算的论证过程形式化模型》,J.Logic Comput。,11, 2, 257-282 (2001) ·Zbl 0986.68141号
[17] 卡米纳达,M.W.A。;卡尼埃利,W.A。;邓恩,P.E.,《半静态语义学》,J.逻辑计算。,22, 5, 1207-1254 (2012) ·Zbl 1267.68223号
[18] 达科斯塔,N.C.A.,《关于不一致形式系统的理论》,圣母院J.Form.Log。,15, 497-510 (1974) ·Zbl 0236.02022号
[19] Dung,P.M.,《论据的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用》,人工智能,77,321-357(1995)·Zbl 1013.68556号
[20] Dung,P.M。;科瓦尔斯基,R。;Toni,F.,《基于假设的可接受论证的辩证证明程序》,《人工智能》,第170、2、114-159页(2006)·Zbl 1131.68103号
[21] 邓恩,体育。;Bench-Capon,T.J.M.,《双方即时反应争议:属性和效率》,《人工智能》,149,221-250(2003)·Zbl 1082.68819号
[22] 加西亚,a。;Simari,G.R.,《可失效逻辑编程:论证方法》,理论与实践。日志。程序。,4, 1-2, 95-138 (2004) ·Zbl 1090.68015号
[23] Gärdefors,P。;Makinson,D.,基于期望的非单调推理,人工智能,65,2,197-245(1994)·Zbl 0803.68125号
[24] Gentzen,G.,《逻辑演绎研究》,(Szabo,M.E.,《格哈德·Gentzen1969年文集》,北荷兰),1934年,德语版。出现英语翻译
[25] Gorogannis,N。;Hunter,A.,用经典逻辑论证实例化抽象论证:假设和性质,人工智能,175,9-10,1479-1497(2011)·Zbl 1225.68248号
[26] 总督,G。;马希尔,M。;安东尼奥,G。;Billington,D.,可解逻辑的论证语义,J.logic Comput。,14, 5, 675-702 (2004) ·Zbl 1067.03038号
[27] 格兰特·J。;Hunter,A.,《测量知识库中的不一致性》,J.Intell。信息系统。,27, 2, 159-184 (2006)
[28] 哈恩,G。;Tardif,C.,《图形同态:结构和对称》(Graph symmetry(1997),Springer),107-166·兹伯利0880.05079
[29] 克劳斯,S。;莱曼,D。;Magidor,M.,《非单调推理、优先模型和累积逻辑》,《人工智能》,44,1-2,167-207(1990)·兹比尔0782.03012
[30] Łos,J。;Suzsko,R.,关于句子逻辑的注释,印度。数学。,20, 177-183 (1958) ·Zbl 0092.24802号
[31] Makinson,M.,《累积推理的一般理论》(Proc.NMR’88)。程序。NMR’88,LNCS,第364卷(1988),Springer),1-18
[32] 莫吉尔,S.J。;Prakken,H.,《偏好论证的一般描述》,《人工智能》,195,361-397(2013)·Zbl 1270.68284号
[33] 莫吉尔,S.J。;Prakken,H.,结构化论证的ASPIC+框架:教程,参数计算。,5, 1, 31-62 (2014)
[34] Odelstad,J.,《不变性和结构依赖》,《经济学和数学系统讲义》,第380卷(2012年),施普林格出版社
[35] Pollock,J.,《可废止推理理论》,《国际情报学杂志》。系统。,6, 33-54 (1991)
[36] Pollock,J.,《如何合理推理》,《人工智能》,第57、1、1-42页(1992年)·Zbl 0763.68056号
[37] Pollock,J.,《认知木工》。《如何塑造一个人的蓝图》(1995),布拉德福德/麻省理工学院出版社
[38] Prakken,H.,《默认逻辑中的论证框架》,《数学年鉴》。Artif公司。智力。,9, 1-2, 93-132 (1993) ·Zbl 0866.03018号
[39] Prakken,H.,《可废止义务推理形式化的两种方法》,Studia Logica,57,1,73-90(1996)·Zbl 0860.03020号
[40] Prakken,H.,《结构化论证的抽象框架》,《论证计算》。,1, 2, 93-124 (2010)
[41] Rescher,N。;Manor,R.,《从不一致前提推断》,理论与决策,179-217年(1970年)·Zbl 0212.31103号
[42] Simari,G.R。;Loui,R.P.,《不可行推理的数学处理及其实现》,《人工智能》,第53、2-3、125-157页(1992年)·Zbl 1193.68238号
[43] Straßer,C.,《自适应逻辑和可延迟推理在论证、规范推理和默认推理中的应用》,《逻辑趋势》,第38卷(2014年),Springer·Zbl 1350.03003号
[44] 斯特拉,C。;Arieli,O.,《规范推理的序贯论证》(Proc.DEON’14)。程序。DEON’14,LNCS,第8554卷(2014),Springer),224-240·兹比尔1445.03032
[45] 斯特拉,C。;Arieli,O.,《基于顺序的论证的规范推理》,J.Logic Compute。(2019),出版中·Zbl 1444.03075号
[46] Urquhart,A.,多值逻辑,(Gabbay,D.;Guenthner,F.,《哲学逻辑手册》,第二卷(2001),Kluwer),249-295·Zbl 1003.03523号
[47] Yeh,R.,图上的弱同余关系(1966),伊利诺伊大学,博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。