×
辽、北水;黄华新

论证的部分语义。 （英语） Zbl 1298.03079号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，151-164（2011）。
小结：在各种论证体系中，在大多数情况下，只需评估体系中某些论证的正当性状态，而不必计算其他论证的正当化状态。基于这一观察，我们引入了一种有效的方法来评估论证框架中部分论据的状态。该方法基于论证框架的无支持集概念和论证语义的方向性标准。给定一个论证框架及其内的一个子集参数，我们首先确定与该子集中的参数相关的最小参数集（称为最小未支持集）。然后，在满足方向性准则的论证语义下，可以独立评估由最小未支持集（称为原始论证框架的部分语义）诱导的子框架的扩展集。然后，我们分析了论证的部分语义的两个基本性质：单调性和可组合性。
关于整个系列，请参见[Zbl 1223.68013号].

MSC公司：

03B60 其他非经典逻辑
68T27型 人工智能中的逻辑

关键词：

论证;语义学;部分延伸;方向性;无支架集

软件：

ASPARTIX公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Liao}和\textit{H.Huang}，Lect。注释计算。科学。6953、151--164（2011年；Zbl 1298.03079）
全文： 内政部

参考文献：

[1] Amgoud，L.：处理冲突欲望的正式框架。In:Nielsen，T.D.，Zhang，N.L.（编辑）ECSQARU 2003。LNCS（LNAI），第2711卷，第552–563页。施普林格，海德堡（2003）·Zbl 1274.68448号 ·doi:10.1007/978-3-540-45062-7_45
[2] Amgoud，L.，Dimopoulos，Y.，Moraitis，P.：基于论证的谈判的一般框架。收录：Rahwan，I.、Parsons，S.、Reed，C.（编辑）《多代理系统中的论证》。LNCS（LNAI），第4946卷，第1-17页。斯普林格，海德堡（2008）·Zbl 1135.68581号 ·doi:10.1007/978-3-540-78915-4_1
[3] Amgoud，L.，Prade，H.：使用论据制定和解释决策。人工智能173（3-4），413–436（2009）·Zbl 1343.68219号 ·doi:10.1016/j.artint.2008.11.006
[4] Baroni，P.，Giacomin，M.：关于基于扩展的论证语义的基于原则的评估。人工智能171（10-15），675-700（2007）·Zbl 1168.68559号 ·doi:10.1016/j.artint.2007.04.004
[5] Baroni，P.，Giacomin，M.：抽象论证系统的语义。在：Rahwan，I.，Simari，G.R.（编辑）《人工智能的论证》，第25-44页。斯普林格，海德堡（2009）·doi:10.1007/978-0-387-98197-02
[6] Baroni，P.，Giacomin，M.，Guida，G.：Scc-递归：论证语义的一般模式。人工智能168（1-2），162-210（2005）·Zbl 1132.68765号 ·doi:10.1016/j.artint.2005.05.006
[7] Bench-Capon，T.，Dunne，P.E.：人工智能中的论证。人工智能171（10-15），619-641（2007）·Zbl 1168.68560号 ·doi:10.1016/j.artint.2007.05.001
[8] Boella，G.，Kaci，S.，van der Torre，L.：单扩展论证中的动力学：抽象原则和扎根扩展。收录：Sossai，C.，Chemello，G.（编辑）ECSQARU 2009。LNCS，第5590卷，第107–118页。斯普林格，海德堡（2009）·Zbl 1245.91015号 ·doi:10.1007/978-3-642-02906-6_11
[9] Boella，G.、Pigozzi，G.和van der Torre，L.：规范体系变革的规范框架。载于：《2009年AAMAS会议记录》，第169–176页（2009年）
[10] Bondarenko，A.，Dung，P.，Kowalski，R.，Toni，F.：默认推理的抽象论证理论方法。人工智能93，63–101（1997）·Zbl 1017.03511号 ·doi:10.1016/S0004-3702（97）00015-5
[11] 卡米纳达，M.：半稳定语义学。摘自：《2006年COMMA会议录》，第121-130页。IOS出版社，阿姆斯特丹（2006）
[12] Caminada，M.：计算半稳定语义的算法。收录：Mellouli，K.（编辑）ECSQARU 2007。LNCS（LNAI），第4724卷，第222–234页。斯普林格，海德堡（2007）·Zbl 1148.68502号 ·doi:10.1007/978-3-540-75256-122
[13] Capobianco，M.，Chesñevar，C.，Simari，G.：在不断变化的环境中，论证和保证信念的动态。代理和多代理系统杂志11（2），127-151（2005）·Zbl 05387331号 ·doi:10.1007/s10458-005-1354-8
[14] Dung，P.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。人工智能77（2），321-357（1995）·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[15] Dung，P.，Kowalski，R.，Toni，F.：基于假设的可接受论证的辩证证明程序。人工智能170（2），114–159（2006）·Zbl 1131.68103号 ·doi:10.1016/j.artint.2005.07.002
[16] Dung，P.、Mancarella，P.和Toni，F.：计算理想怀疑论。人工智能171（10-15）、642–674（2007）·Zbl 1168.68564号 ·doi:10.1016/j.artint.2007.05.003
[17] Dunne，P.、Hunter，A.、McBurney，P.，Parsons，S.、Wooldridge，M.：加权参数系统：基本定义、算法和复杂性结果。人工智能175（2），457–486（2011）·Zbl 1216.68261号 ·doi:10.1016/j.artint.2010.09.005
[18] Egly，U.、Gaggl，S.、Woltran，S.：ASPARTIX：使用答案集编程实现论证框架。收录：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第5366卷，第734-738页。斯普林格，海德堡（2008）·Zbl 05496737号 ·数字对象标识代码：10.1007/978-3-540-89982-267
[19] Kakas，A.C.，Miller，R.，Toni，F.：关于行动和变化的推理的论证框架。收录：Gelfond，M.，Leone，N.，Pfeifer，G.（编辑）LPNMR 1999。LNCS（LNAI），第1730卷，第78-91页。斯普林格，海德堡（1999）·兹伯利0946.03033 ·doi:10.1007/3-540-46767-X_6
[20] Kim，E.，Ordyniak，S.，Szeider，S.：说服性论证的算法和复杂性结果。人工智能175（9-10），1722-1736（2011）·Zbl 1230.68189号 ·doi:10.1016/j.artint.2011.03.001
[21] Liao，B.，Huang，H.：角度：具有不断变化的知识的自主、规范和可指导的代理人。信息科学180（17），3117–3139（2010）·兹伯利05781063 ·doi:10.1016/j.ins.2010.03.017
[22] Liao，B.，Jin，L.，Koons，R.：论证系统的动力学：基于划分的方法。人工智能175（11），1790–1814（2011）·Zbl 1226.68101号 ·doi:10.1016/j.artint.2011.03.006
[23] Modgil，S.，Caminada，M.：抽象论证框架的证明理论和算法。收录：Rahwan，I.，Simari，G.R.（编辑）《人工智能中的论证》，第105-129页。斯普林格，海德堡（2009）·doi:10.1007/978-0-387-98197-06
[24] Modgil，S.，Luck，M.：基于论证的欲望和规范目标之间冲突的解决方案。收录：Rahwan，I.，Moraitis，P.（编辑）ArgMAS 2008。LNCS（LNAI），第5384卷，第19-36页。斯普林格，海德堡（2009）·Zbl 05505370号 ·doi:10.1007/978-3642-00207-62
[25] Wakaki，T.，Nitta，K.：在答案集编程中计算论证语义。收录：Hattori，H.、Kawamura，T.、Ide，T.，Yokoo，M.、Murakami，Y.（编辑）JSAI 2008。LNCS（LNAI），第5447卷，第254–269页。斯普林格，海德堡（2009）·Zbl 05541128号 ·doi:10.1007/978-3642-00609-8_22
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。