×
佐奥州阿尔坎塔拉；萨米·Sá

关于抽象辩证框架的三个有价值的接受条件。 （英语） Zbl 1433.68415号

Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 3-23 (2019).
摘要：抽象辩证框架(自动数字滤波器s） 是Dung抽象论证框架的概括(自动飞行s） 其中每个参数都有一个由布尔公式表示的相关接受条件。所得到的扩展具有足够的健壮性，不仅可以对原始的攻击关系建模自动飞行s、 还有其他类型的依赖关系和参数之间的交互。最近的发展自动数字滤波器s提出了一种涉及三值验收条件的替代形式化方法，将自动数字滤波器三值论证标签是计算论证文献中的一个核心概念。在本文中，我们修改了在这种三值方法下定义的一些主要语义，并证明了我们的定义与自动飞行第条。
关于整个系列，请参见[Zbl 1420.68005号].

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

抽象辩证框架；参数标签；论证；知识表示；不确定性

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{J.Alcántara}和\textit{S.Sá}，电子。注释Theor。计算。科学。344，3--23（2019年；Zbl 1433.68415）
全文： 内政部

参考文献：

[1] Joáo Alcántara和Samy Sá。具有三值接受条件的抽象辩证框架。（出现）。；若昂·阿尔坎塔拉和萨米·Sá。具有三值接受条件的抽象辩证框架。（显示）。
[2] 彼得罗·巴罗尼；马丁·卡米纳达（Martin Caminada）；Giacomin，Massimiliano，《论证语义学导论》，《知识工程评论》，第26、4、365-410页（2011年）
[3] 格哈德·布鲁卡（Gerhard Brewka）；斯特凡·埃尔马塔勒尔（Stefan Ellmauthaler）；汉内斯·斯特拉斯（Hannes Strass）；约翰·沃纳（Johannes Wallner）；Woltran，Stefan，抽象辩证框架。综述，IFCoLog《逻辑及其应用期刊》，4，8，2263-2317（2017）
[4] 格哈德·布鲁卡（Gerhard Brewka）；斯特凡·埃尔马塔勒尔（Stefan Ellmauthaler）；汉内斯·斯特拉斯（Hannes Strass）；约翰·彼得·沃纳（Johannes Peter Wallner）；Woltran，Stefan，《重新审视抽象辩证框架》（《第二十届国际人工智能联合会议论文集》（2013），AAAI出版社），803-809
[5] 格哈德·布鲁卡（Gerhard Brewka）；Sylwia Polberg；Woltran，Stefan，粪框架的泛化及其在形式论证中的作用，IEEE智能系统，29，1，30-38（2014）
[6] 格哈德·布鲁卡（Gerhard Brewka）；Woltran，Stefan，《抽象辩证框架》，（第十二届国际知识表示与推理原则会议（2010），AAAI出版社），102-111
[7] 马丁·卡米纳达（Martin Caminada），《论论证中的恢复问题》，《人工智能中的逻辑学》，第111-123页（2006年）·Zbl 1152.68600号
[8] 卡米纳达，马丁，《半静态语义学》，（第一届计算论证模型国际会议，第144卷（2006年）），121-130
[9] 马丁·卡米纳达（Martin Caminada）；Pigozzi，Gabriella，《论抽象论证中的判断聚合》，《自治代理和多代理系统》，22，1，64-102（2011）
[10] 马丁·卡米纳达（Martin Caminada）；萨米·Sá；佐奥州阿尔坎塔拉；Dvořák，Wolfgang，《逻辑编程语义和论证语义之间的等价性》，《国际近似推理杂志》，58，87-111（2015）·Zbl 1328.68211号
[11] 华盛顿州马丁·卡米纳达；Dov M.Gabbay，《形式论证的逻辑解释》，《逻辑研究》，第93、2-3、109页（2009年）·兹比尔1188.03011
[12] 克劳德特·凯罗尔（Claudette Cayrol）；Lagasquie-Schiex，Marie-Christine，《关于两极论证框架中论点的可接受性》，（欧洲推理和不确定性的符号和定量方法会议（2005），Springer），378-389·Zbl 1122.68639号
[13] 克劳德特·凯罗尔（Claudette Cayrol）；Lagasquie-Schiex，Marie-Christine，《论证图中的两极性：更好地理解》，《国际近似推理杂志》，54，7，876（2013）·兹比尔1316.68152
[14] 科斯特·马奎斯，西尔维；塞巴斯蒂安·科尼埃奇尼；皮埃尔侯爵；Akli Ouali，Mohand，《论证框架中的加权攻击》，（第13届知识表示与推理原则国际会议论文集（2012），AAAI出版社），593-597
[15] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，《人工智能》，77，321-357（1995）·Zbl 1013.68556号
[16] 保罗·E·邓恩（Paul E.Dunne）。；安东尼·亨特（Anthony Hunter）；彼得·麦克伯尼（Peter McBurney）；西蒙·帕森斯；Michael Wooldridge，《加权参数系统：基本定义、算法和复杂性结果》，《人工智能》，175,2457-486（2011）·兹比尔1216.68261
[17] 科尔·克莱恩（Cole Kleene），斯蒂芬（Stephen）；de Bruijn，英国国家电网公司；de Groot，J。；科内利斯·扎安（Cornelis Zaanen），阿德里安（Adriaan），《元数学导论》，第483卷（1952年），范诺斯特兰德：范诺斯特朗（van Nostrand），纽约
[18] 迭戈·C·马丁内斯。；加尔科纳，亚历杭德罗·J。；Simari，Guillermo R.，《具有不同强度攻击的抽象论证框架》（《第十一届知识表示与推理原则国际会议论文集》（KR’08）（2008）），135-144
[19] 桑杰·莫吉尔，《论证框架中偏好的推理》，人工智能，173，9-10，901-934（2009）·Zbl 1192.68663号
[20] 尼尔·奥伦；蒂莫西·诺曼（Timothy J.Norman），《基于证据的论证的语义学》，（安东尼·亨特（Anthony Hunter）；菲利普·贝斯纳德（Philippe Besnard）；西尔维·杜特（Sylvie Doutre），《第二届国际辩论计算模型会议论文集》（COMMA），第172卷（2008年），IOS出版社），276-284
[21] Sylwia Polberg；Oren，Nir，《重新审视抽象论证系统中的支持》（COMMA（2014）），369-376
[22] John L.Pollock，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号
[23] 约翰·波洛克（John L.Pollock），《认知木工：如何塑造一个人的蓝图》（1995），米特出版社
[24] Przymusinski，Teodor C.，《基础良好的语义与三值稳定语义一致》，《信息学基础》，13，4，445-463（1990）·兹比尔0706.68029
[25] 吉列尔莫·R·西马里。；Loui，Ronald P.，《不可行推理的数学处理及其实现》，人工智能，53，2-3，125-157（1992）·Zbl 1193.68238号
[26] Strass，Hannes，《抽象辩证框架的近似运算符和语义》，人工智能，205，39-70（2013）·Zbl 1334.68212号
[27] 塔斯基，阿尔弗雷德，格理论不动点定理及其应用，太平洋数学杂志，5，2，285-309（1955）·Zbl 0064.26004号
[28] 范·伊梅伦，弗兰斯·H。；Verheij，Bart，形式和计算角度的论证理论，IFColog《逻辑学及其应用杂志》，4，8，2099-2181（2017）
[29] Verheij，Bart，《辩证论证的两种方法：可接受集和论证阶段》，Proc。NAIC，96，357-368（1996）
[30] Vreeswijk，Gerard AW，《不可行论证研究》（1993年），阿姆斯特丹自由大学，博士论文·Zbl 0789.03026号
[31] Vreeswijk，Gerard AW，抽象论证系统，人工智能，90，1-2，225-279（1997）·Zbl 1017.03513号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。