奥费尔·阿列利；马丁·卡米纳达。 一种基于QBF的抽象论证语义的形式化。 （英语） Zbl 1284.68533号 J.应用。日志。 11，第2期，229-252（2013）. 摘要：我们介绍了一种基于符号理论和量化布尔公式（QBFs）的统一逻辑理论，它可以作为表示和计算各种基于论证的决策问题的基础。结果表明，在我们的框架内，我们能够以简单和模块化的方式为抽象论证理论建模广泛的语义。这包括完整、扎根、首选、稳定、半稳定、阶段、理想和渴望的语义。此外，我们的方法纯粹是合乎逻辑的，例如，使诸如怀疑和轻信接受论据之类的决策问题仅仅是一个隐含和可满足性检查的问题。后者可通过非现成QBF解决方案进行验证。 引用于7文件 MSC公司： 68T27型 人工智能中的逻辑 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：抽象论证框架的语义；量化布尔公式；签名理论 软件：奥斯卡；ASPARTIX公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}和\textit{M.W.A.Caminada}，J.Appl。日志。11，第2号，229--252（2013；Zbl 1284.68533） 全文： 内政部 链接 参考文献： [1] Amgoud，L。；Devred，C.，作为约束满足问题的论证框架，（Benferhat，S.；Grant，J.，第五届可扩展不确定性管理国际会议论文集（SUM？11）。程序。第五届可扩展不确定性管理国际会议（SUM？11），《计算机科学讲义》，第6929卷（2011），施普林格出版社，110-122 [2] Antoniou，G.，《非单调推理》（1997），麻省理工学院出版社·Zbl 0948.68169号 [3] Arieli，O.，《通过有符号量化布尔公式的次一致推理和优先蕴涵》，ACM计算逻辑学报，8，3（2007），第18条·Zbl 1367.68274号 [4] Arieli，O.，《论证框架的冲突容忍语义》，（Fariñas del Cerro，L.；Herzig，A.；Mengin，J.，第13届欧洲人工智能逻辑会议（JELIA？12）。程序。第十三届欧洲人工智能中的逻辑会议（JELIA’12），计算机科学讲稿，第7519卷（2012），施普林格出版社，28-40·Zbl 1361.68215号 [5] O·阿里利。；Avron，A.，《逻辑双参数推理》，《逻辑、语言和信息杂志》，5，1，25-63（1996）·Zbl 0851.03017号 [6] O·阿里利。；Caminada，M.W.A.，《基于QBF的一般论证形式化框架》，（Verheij，B.；Szeider，S.；Woltran，S.，第四届论证计算模型会议（COMMA？12）。程序。第四届论证计算模型会议（COMMA’12），《人工智能与应用前沿》，第245卷（2012），IOS出版社，105-116 [7] O·阿里利。；Denecker，M.，《将优先次协调推理还原为经典蕴涵》，《逻辑与计算杂志》，13，4，557-580（2003）·Zbl 1034.03023号 [8] O·阿里利。；Denecker，M。；Van Nuffelen，B。；Bruynoogh，M.，用符号公式修复数据库的计算方法，《数学和人工智能年鉴》，46，1-2，4-37（2006）·Zbl 1097.68549号 [9] O·阿里利。；Zamansky，A.，基于相似性的不一致容忍逻辑，（Janhunen，T.；Niemelä，I.，Proc.第12届欧洲人工智能逻辑会议（JELIA’10）。程序。第十二届欧洲人工智能逻辑会议（JELIA？10），《人工智能讲义》，第6341卷（2010），施普林格出版社，11-23·Zbl 1306.68179号 [10] 巴罗尼，P。；Giacomin，M.，《抽象论证系统的语义》（Rahwan，I.；Simary，G.R.，《人工智能中的论证》（2008），Springer），第25-44页 [11] 巴罗尼，P。；Giacomin，M。；Guida，G.，SCC-递归性：论证语义的一般模式，《人工智能》，168，1-2，162-210（2005）·Zbl 1132.68765号 [12] Benedetti，M。；Mangassarian，H.，基于QBF的形式验证：经验和观点，《可满足性、布尔建模和计算杂志》，5，1-4，133-191（2008）·Zbl 1172.68538号 [13] 贝纳德博士。；Doutre，S.，论证系统的语义表征，（Dubois，D.；Welty，C.；Williams，M.A.，第九届知识表示和推理原则国际会议（KR’04）（2004），AAAI出版社），183-193 [15] 贝纳德博士。；Schaub，T。；托姆皮茨，H。；Woltran，S.，《通过量化布尔公式进行准一致性推理》，第一部分：公理化符号系统，（Flesca，S..等，第八届欧洲人工智能逻辑会议（JELIA’02）。程序。第八届欧洲人工智能逻辑大会（JELIA’02），《人工智能讲义》，第2424卷（2002），施普林格出版社，320-331·兹比尔1013.03023 [16] 贝纳德博士。；Schaub，T。；托姆皮茨，H。；Woltran，S.，《通过量化布尔公式进行次一致性推理，第二部分：不一致理论的外化》，（Nielsen，T.D.；Zhang，N.L.，第七届欧洲不确定性推理符号和定量方法会议（ECSQARU’03）。程序。第七届欧洲不确定性推理的符号和定量方法会议（ECSQARU’03），《人工智能讲义》，第2711卷（2003），施普林格出版社，528-539·Zbl 1274.03050号 [17] 贝纳德博士。；Schaub，T。；托姆皮茨，H。；Woltran，S.，《通过量化命题逻辑表示次一致性推理》，（Bertossi，L.；Hunter，A.；Schaub，T.，《不一致容忍》，《计算机科学讲义》，第3300卷（2004），Springer），84-118·Zbl 1111.68118号 [18] 波埃拉，G。；Hulstijn，J。；van der Torre，L.，《抽象论证的逻辑》，（《多智能体系统论证研讨会论文集》（ArgMAS？05）。多智能体系统论证研讨会论文集（ArgMAS’05），《计算机科学讲义》，第4049卷（2005），Springer，29-41·Zbl 1236.68246号 [19] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，63-101（1997）·Zbl 1017.03511号 [20] 卡米纳达，M.W.A.，《关于恢复辩论的问题》，（费舍尔，M.；范德霍克，W.；科涅夫，B.；利西萨，A.，《第十届欧洲人工智能逻辑会议论文集》（JELIA’06）。程序。第十届欧洲人工智能逻辑会议（JELIA’06），《人工智能讲义》，第4160卷（2006），施普林格出版社，111-123·兹比尔1152.68600 [21] 卡米纳达，M.W.A.，《半稳定语义学》，（Dunne，P.E.；Bench-Capon，T.J.M.，《第一届计算论模型国际会议论文集》（COMMA’06）（2006），IOS出版社），121-130 [23] 卡米纳达，M.W.A.，《舞台语义的算法》（Giacomin，M.；Baroni，P.；Cerutti，F.；Simari，G.R.，《第三届国际辩论计算模型会议论文集》（COMMA？10）（2010），IOS出版社），147-158 [25] 卡米纳达，M.W.A.，《理想语义和阶段语义的标记方法，论证和计算》，2，1，1-21（2011） [26] M.W.A.卡米纳达。；Amgoud，L.，《论论证形式主义的评价》，人工智能，171，5-6，286-310（2007）·Zbl 1168.68562号 [27] M.W.A.卡米纳达。；Gabbay，D.M.，《形式论证的逻辑解释》，专刊：论证理论的新观点。特刊：《论证理论的新观点》，Studia Logica，93，2-3，109-145（2009）·兹比尔1188.03011 [28] M.W.A.卡米纳达。；Pigozzi，G.，关于抽象扩充中的判断聚合，自治代理和多代理系统，22，1，64-102（2011） [29] M.W.A.卡米纳达。；Podlaszewski，M.，《作为说服对话的基础语义学》（Verheij，B.；Szeider，S.；Woltran，S.，Proc.第四届辩论计算模型会议（COMMA？12）。程序。第四届论证计算模型会议（COMMA’12），《人工智能与应用前沿》，第245卷（2012），IOS出版社，478-485 [31] M.W.A.卡米纳达。；Wu，Y.，稳定语义的一个论证游戏，IGPL逻辑杂志，17，1，77-90（2009）·Zbl 1155.68080号 [33] M.W.A.卡米纳达。；卡尼埃利，W.A。；Dunne，P.E.，《半静态语义学》，《逻辑与计算杂志》，22，5，1207-1254（2012）·Zbl 1267.68223号 [34] Cayrol，C。；Doutre，S。；Mengin，J.，《论证框架轻信偏好语义的辩证证明理论》，（Benferhat，S.；Besnard，P.，Proc.第六届欧洲不确定性推理的符号和定量方法会议（ECSQARU？01）。程序。第六届欧洲不确定性推理的符号和定量方法会议（ECSQARU’01），《人工智能讲义》，第2143卷（2001），施普林格出版社，668-679·Zbl 1001.68574号 [35] Cayrol，C。；Doutre，S。；Mengin，J.，《与论证框架的首选语义相关的决策问题》，《逻辑与计算杂志》，13，3，377-403（2003）·Zbl 1032.03518号 [36] Delgrade，J。；Schaub，T。；托姆皮茨，H。；Woltran，S.，《关于使用量化布尔公式计算信念改变操作》，《逻辑与计算杂志》，14，6，801-826（2004）·Zbl 1066.03028号 [37] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用》，人工智能，77，321-357（1995）·Zbl 1013.68556号 [38] Dung，P.M。；Mancarella，P。；Toni，F.，《计算理想怀疑论》，《人工智能》，171，10-15，642-674（2007）·Zbl 1168.68564号 [39] Dunne，P.E.，满足图形理论约束的自变量系统的计算属性，人工智能，171，701-729（2007）·Zbl 1168.68565号 [40] 邓恩，体育。；Caminada，M.W.A.，抽象论证框架中半稳定语义的计算复杂性，（第11届欧洲人工智能逻辑会议（JELIA？08）。程序。第十一届欧洲人工智能中的逻辑会议（JELIA’08），《人工智能讲义》，第5293卷（2008），施普林格出版社，153-165·Zbl 1178.68557号 [41] Dvořák，W.，《论计算论证正当性状态的复杂性》，（Modgil，S.；Oren，N.；Toni，F.，《形式论证理论与应用后程序第一届国际研讨会》（TAFA-11）。《论文集》第1期形式论证理论与应用国际研讨会（TAFA-11），《人工智能课堂讲稿》，第7132卷（2012年），施普林格出版社，32-49 [42] 德沃夏克，W。；Woltran，S.，论证框架中半稳定和阶段语义的复杂性，《信息处理快报》，110，425-430（2010）·Zbl 1229.68041号 [44] 德沃夏克，W。；Szeider，S。；Woltran，S.，通过一元二阶逻辑进行抽象论证，（Benferhat，S.；Grant，J.，第五届可扩展不确定性管理国际会议论文集（SUM？11）。程序。第五届可扩展不确定性管理国际会议（SUM？11），《计算机科学讲义》，第6929卷（2012），施普林格出版社，85-98 [45] Egly，美国。；Woltran，S.，《使用量化布尔公式在论证框架中进行推理》，（Dunne，P.E.；Bench-Capon，T.J.M.，Proc.第一届国际论证计算模型会议（COMMA’06）（2006），IOS出版社），133-144 [46] Egly，美国。；Gaggl，S.A。；Woltran，S.，ASPARTIX，《使用答案集编程实现论证框架》，（de la Banda，M.G.；Pontelli，E.，第24届逻辑编程国际会议（ICLP？08）。程序。第24届逻辑程序设计国际会议（ICLP’08），计算机科学讲稿，第5366卷（2008），斯普林格出版社，734-738 [47] Egly，美国。；Gaggl，S.A。；Woltran，S.，《论证框架的答案编程编码》，《论证与计算》，1，2，144-177（2010）·Zbl 1226.68018号 [48] Gabbay，D.M.，《CF2语义的等式方法》，（Verheij，B.；Szeider，S.；Woltran，S.，Proc.第四届论证计算模型会议（COMMA？12）。程序。第四届论证计算模型会议（COMMA’12），《人工智能与应用前沿》，第245卷（2012），IOS出版社，141-152·Zbl 1401.68011号 [49] Gabbay，D.M.，论证网络的等式方法，论证与计算，3，2-3，87-142（2012） [50] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.A.；Bowen，K.，《第五届逻辑编程国际会议/研讨会论文集》（1988），麻省理工出版社，1070-1080 [51] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算，9，3-4，365-385（1991）·Zbl 0735.68012号 [52] Gorogiannis，北。；Hunter，A.，《用经典逻辑论证实例化抽象论证：假设和属性》，《人工智能》，第175、9-10、1479-1497页（2011年）·Zbl 1225.68248号 [53] 总督，G。；Maher，M.J。；安东尼乌，G。；Billington，D.，可解逻辑的论证语义，《逻辑与计算杂志》，14，5，675-702（2004）·兹比尔1067.03038 [54] Grossi，D.，《论论证理论的逻辑》，（van der Hoek，W.；Kaminka，G.A.；Lespérance，Y.；Luck，M.；Sen，S.，Proc.第九届自主代理和多代理系统国际会议（AAMAS 2010），第1卷（2010），IFAMAS），409-416 [55] Grossi，D.，《模型检验游戏在抽象论证中的应用》，（van Ditmarsch，H.P.；Lang，J.；Ju，S.，Proc.第三届逻辑、理性和互动国际研讨会（LORI’11）。程序。第三届逻辑、合理性和互动国际研讨会（LORIĺ11），计算机科学讲稿，第6953卷（2011年），施普林格出版社，74-86·Zbl 1298.03065号 [56] 雅各布维茨，H。；Vermeir，D.，论证框架的辩证语义学，（第七届人工智能与法律国际会议论文集ICAIL（1999），ACM），53-62 [57] 雅各布维茨，H。；Vermeir，D.，《论证框架的稳健语义》，《逻辑与计算杂志》，9，2，215-261（1999）·Zbl 0933.68088号 [58] Kleene，S.C.，《元数学导论》（1950），Van Nostrand·Zbl 0047.00703号 [59] Mangassarian，H。；Veneris，A.G。；Benedetti，M.，《用于验证、调试和测试的时序电路的稳健QBF编码》，IEEE计算机事务，59，7，981-994（2010）·Zbl 1366.94786号 [60] McCarthy，J.，《限定在形式化常识中的应用》，《人工智能》，第28期，第89-116页（1986年） [62] Pollock，J.L.，《如何合理推理》，《人工智能》，第57期，第1-42页（1992年）·Zbl 0763.68056号 [63] Pollock，J.L.，《认知木工》。《如何塑造一个人的蓝图》（1995），麻省理工学院出版社 [64] Prakken，H.，《结构化论证的抽象框架》，《论证与计算》，1，2，93-124（2010） [65] 普拉肯，H。；Sartor，G.，《具有不可行优先级的基于论证的扩展逻辑编程》，《应用非经典逻辑杂志》，第7期，第25-75页（1997年）·Zbl 0877.68019号 [66] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号 [67] Rintanen，J.T.，通过理论证明构建条件计划，《人工智能研究杂志》，10，323-352（1999）·Zbl 0916.68139号 [68] Toni，F。；Sergot，M.，《论证与答案集编程》，（Balduccini，M.；Son，T.，《逻辑编程、知识表示与非单调推理》，《逻辑程序设计、知识表示和非单调推理，计算机科学讲义》，第6565卷（2011），Springer），164-180·Zbl 1326.68279号 [69] van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的完善语义》，《ACM杂志》，38，3，620-650（1991）·兹比尔0799.68045 [71] Verheij，B.，《带论证方案的辩证论证：法律逻辑方法》，《人工智能与法律》，第11期，第2-3期，第167-195页（2003年） [72] Wakaki，T。；Nitta，K.，《答案集编程中的计算论证语义》，（人工智能的新前沿（JSAI？08）。人工智能新前沿（JSAI’08），计算机科学讲义，第5447卷（2008），施普林格出版社，254-269 [74] Wu，Y。；卡米纳达，M.W.A.，《基于标签的论证状态》，《逻辑学研究》，第3、4、12-29页（2010年） [75] Wu，Y。；M.W.A.卡米纳达。；Gabbay，D.M.，论证中的完全扩展与逻辑编程中的三值稳定模型一致，特刊：论证理论中的新思想。特刊：《论证理论的新观点》，Studia Logica，93，1-2，383-403（2009）·Zbl 1189.68127号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。