×
奥费尔·阿列利;克里斯蒂安·斯特拉

通过增强的顺序计算和动态推导进行演绎论证。 （英语） Zbl 1394.68364号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，21-37（2016）。
摘要：近年来，基于逻辑的论点分析和评估方法得到了大量研究，为基于论证的推理提供了多种形式化方法。本文的目的是对逻辑论证进行一种抽象的证明理论研究，其中论据由序列表示，论据之间的冲突由序列消去规则表示，推理由扩展标准序列计算的动态证明系统进行。
有关整个系列，请参见[Zbl 1342.68007号].

引用于5文件

MSC公司：

第68页第27页 人工智能中的逻辑
03财年03 一般证明理论（包括证明理论语义）

关键词：

逻辑论证;继发结石;动态导数

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{O.Arieli}和\textit{C.Straßer}，电子。理论注释。计算。科学。323、21-37（2016年；Zbl 1394.68364）
全文： 内政部

参考文献：

[1] Arieli，O.，《逻辑论证的顺序表示法》（Proc.CLIMA’13）。程序。CLIMA’13，LNCS，第8143卷（2013），施普林格出版社，69-85·Zbl 1401.68297号
[2] O·阿里利。；Avron，A。；Zamansky，A.，《三值语义框架中的最大和前最大副一致性》，Studia Logica，97，1，31-60（2011）·Zbl 1256.03030号
[3] O·阿里利。；Straßer，C.，《基于序列的逻辑论证的动态推导》（Proc.COMMA’14）。程序。COMMA'14，《人工智能与应用前沿》，第266卷（2014年），IOS出版社，89-100
[4] O·阿里利。；Straßer，C.，基于序列的逻辑论证，《论证与计算杂志》，6，1，73-99（2015）
[5] 巴罗尼，P。；卡米纳达，M。；Giacomin，M.，《论证语义学导论》，《知识工程评论》，第26、4、365-410页（2011年）
[6] 巴罗尼，P。；Giacomin，M.，《抽象论证系统的语义》（Rahwan，I.；Simary，G.R.，《人工智能中的论证》（2009）），第25-44页
[7] Batens，D.，自适应逻辑的通用逻辑方法，Logica Universalis，1221-242（2007）·Zbl 1116.03019号
[8] 贝纳德博士。；Hunter，A.，基于逻辑的演绎论点理论，《人工智能》，128，1-2，203-235（2001）·Zbl 0971.68143号
[9] 达·科斯塔，N.C.A.，《论不一致形式系统理论》，《圣母院形式逻辑期刊》，15497-510（1974）·Zbl 0236.02022号
[10] Darwiche，A。；Pearl，J.，《论迭代信念修正的逻辑》，人工智能，89，1-2，1-29（1997）·Zbl 1018.03012号
[11] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，《人工智能》，77，321-357（1995）·Zbl 1013.68556号
[12] （Gabbay，D.；Wansing，H.，What is Negation？。What is Negation？，Applied Logic Series，vol.13（1999），Springer）·Zbl 0957.00012号
[14] Gorogannis，N。；Hunter，A.，《用经典逻辑论证实例化抽象论证：假设和属性》，《人工智能》，第175、9-10、1479-1497页（2011年）·Zbl 1225.68248号
[15] Łos，J。；Suzzko，R.，《关于句子逻辑的评论》，Indagationes Mathematicae，20177-183（1958）·Zbl 0092.24802号
[16] Marcos，J.，《论否定：纯粹的局部规则》，《应用逻辑杂志》，3，1，185-219（2005）·Zbl 1063.03013号
[17] Pollock，J.，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号
[18] Prakken，H.，《可废止义务推理形式化的两种方法》，Studia Logica，57，1，73-90（1996）·Zbl 0860.03020号
[19] Rescher，N。；Manor，R.，《基于不一致前提的推断，理论与决定》，1179-217（1970）·Zbl 0212.31103号
[20] Simari，G.R。；Loui，R.P.，《不可行推理的数学处理及其实现》，《人工智能》，第53、2-3、125-157页（1992年）·Zbl 1193.68238号
[21] Straßer，C.，自适应逻辑和可延迟推理。论证、规范推理和缺省推理的应用，《逻辑趋势》，第38卷（2014年），施普林格出版社·Zbl 1350.03003号
[22] 斯特拉，C。；Arieli，O.，规范推理的基于序列的论证，（Proc.DEON'14。程序。DEON’14，LNCS，第8554卷（2014），Springer），224-240·Zbl 1445.03032号
[23] Urquhart，A.，多值逻辑（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》，第二卷（2001），Kluwer），249-295·Zbl 1003.03523号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。