×
彼得罗·巴罗尼；马西米利亚诺·贾科明

基于扩展的论证语义的基于原则的评价。 （英语） Zbl 1168.68559号

Artif公司。智力。 171，编号10-15，675-700（2007）.
摘要：在Dung的论证理论背景下提出的语义学越来越多样化，使得通常用于评估和比较不同语义学的基于实例的方法越来越不充分。为了填补这一空白，本文提供了两个主要贡献。首先，通过提出与最大性、防御、方向性和怀疑论概念相关的几个直观概念的形式对应，引入了一组语义评估的通用标准。然后，将提出的标准系统地应用于文献中具有代表性的一组论证语义，即基础语义、完整语义、优选语义、稳定语义、半稳定语义、理想语义、谨慎语义和CF2语义。

引用于64文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

论证框架；论证语义学；怀疑论

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baroni｝和\textit｛M.Giacomin｝，人工制品。智力。171，编号10-15，675--700（2007；Zbl 1168.68559）
全文： 内政部

参考文献：

[1] Amgoud，L。；Cayrol，C.，《基于可接受论点产生的推理模型》，《数学与人工智能年鉴》，34，1-3197-215（2002）·Zbl 1002.68172号
[2] 巴罗尼，P。；Giacomin，M.，《用奇怪的循环解决论证中的语义问题》，（第七届欧洲不确定性推理的符号和定量方法会议论文集（ECSQARU 2003）。第七届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU 2003），演讲笔记Artif。智力。，第2711卷（2003年），斯普林格·弗拉格：斯普林格尔·弗拉格奥尔堡，丹麦），440-451·Zbl 1274.68453号
[3] P.Baroni，M.Giacomin，《根据怀疑论的充分性评估论证语义学》，载于《第八届欧洲不确定性推理的符号和定量方法会议论文集》（ECSQARU 2005），巴塞罗那，2005年，第329-340页；P.Baroni，M.Giacomin，《根据怀疑论的充分性评估论证语义学》，载《第八届欧洲不确定性推理的符号和定量方法会议论文集》（ECSQARU 2005），巴塞罗那，2005年，第329-340页·Zbl 1122.68635号
[4] P.Baroni，M.Giacomin，《基于原则的扩展论证语义评估、比较和设计》，技术报告，布雷西亚大学，意大利，2007年；P.Baroni，M.Giacomin，《基于原则的扩展论证语义评估、比较和设计》，技术报告，意大利布雷西亚大学，2007年·Zbl 1168.68559号
[5] P.Baroni，M.Giacomin，G.Guida，《走向基于扩展的论证语义学中怀疑主义的形式化》，载于：《自然论证计算模型第四次研讨会论文集》（CMNA 2004），西班牙巴伦西亚，2004年，第47-52页；P.Baroni，M.Giacomin，G.Guida，《走向基于扩展的论证语义学中怀疑主义的形式化》，载于：《自然论证计算模型第四次研讨会论文集》（CMNA 2004），西班牙巴伦西亚，2004年，第47-52页
[6] 巴罗尼，P。；Giacomin，M。；Guida，G.，SCC-递归：论证语义的一般模式，人工智能，168，1-2，165-210（2005）·兹比尔1132.68765
[7] Bench-Capon，T.J.M.，《使用基于价值的论证框架在实践论证中的说服》，《逻辑与计算杂志》，13，3，429-448（2003）·Zbl 1043.03026号
[8] 卡米纳达先生，为了论证；《基于论证的推理探索》，博士论文，荷兰阿姆斯特丹Vrije大学，2004年；卡米纳达先生，为了论证；《基于论证的推理探索》，博士论文，阿姆斯特丹弗里杰大学，2004年
[9] 卡米纳达，M.，《半静态语义学》（Dunne，P.E.；Bench-Capon，T.，《第一届参数计算模型国际会议论文集》（COMMA 2006）（2006），IOS出版社：英国利物浦IOS出版社），121-130
[10] 卡米纳达，M.，《论论证中的恢复问题》，（第十届欧洲人工智能逻辑会议论文集（JELIA 06）（2006），施普林格：英国施普林格利物浦），111-123·兹比尔1152.68600
[11] 卡米纳达，M。；Amgoud，L.，《形式论证的公理化描述》，（《第二十届全国人工智能会议论文集》（AAAI-05）（2005），美国人工智能协会，AAAI出版社：美国人工智能学会，AAAI-出版社门罗公园，加利福尼亚州），608-613
[12] 科斯特·马奎斯（Coste-Marquis，S.）。；德弗雷德，C。；Marquis，P.，论证框架的谨慎语义，（第17届IEEE人工智能工具国际会议论文集（ICTAI 2005）（2005），IEEE计算机学会：中国香港IEEE计算机协会），568-572
[13] S.Coste-Marquis、C.Devred、P.Marquis、Sémantiques prudees pour les systèmes d’designation，载于：《第十五届国会AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle（RFIA 2006）会议记录》，法国图尔斯，2006年；S.Coste-Marquis、C.Devred、P.Marquis、Sémantiques prudees pour les systèmes d’designation，摘自：《第十五届国会会议记录》，AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle（RFIA 2006），法国图尔斯，2006
[14] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，《人工智能》，77，2，321-357（1995）·Zbl 1013.68556号
[15] Dung，P.M.先生。；Mancarella，P。；Toni，F.，《基于假设的怀疑论证的辩证法程序》（Dunne，P.E.；Bench-Capon，T.，《第一届国际论证计算模型会议论文集》（COMMA 2006）（2006），IOS出版社：英国利物浦IOS出版社），145-156
[16] Horty，J.F.，《怀疑论和浮动结论》，人工智能，135，1-2，55-72（2002）·兹伯利0984.68144
[17] 雅各布维茨，H。；Vermeir，D.，《论证框架的稳健语义》，《逻辑与计算杂志》，9，2，215-261（1999）·Zbl 0933.68088号
[18] Modgil，S.，层次论证，（第十届欧洲人工智能逻辑会议论文集（JELIA 06）（2006），施普林格：英国施普林格利物浦），319-332·Zbl 1152.68611号
[19] Pollock，J.L.，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号
[20] H.Prakken，《直觉与可辩解推理的建模：一些案例研究》，摘自：《第九届非单调推理国际研讨会论文集》（NMR 2002），法国图卢兹，2002年，第91-102页；H.Prakken，《直觉与可辩解推理的建模：一些案例研究》，摘自：《第九届非单调推理国际研讨会论文集》（NMR 2002），法国图卢兹，2002年，第91-102页
[21] Prakken，H.，《将怀疑认知推理与轻信实践推理相结合》，（Dunne，P.E.；Bench-Capon，T.，《第一届国际争论计算模型会议论文集》（COMMA 2006）（2006），IOS出版社：英国利物浦IOS出版社），311-322
[22] 普拉肯，H。；Vreeswijk，G.A.W.，《可废止论证的逻辑学》（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》（2001），Kluwer学术出版社：Kluwer-学术出版社Dordrecht）·Zbl 1003.03503号
[23] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1-2，81-132（1980）·Zbl 0435.68069号
[24] B.Verheij，《辩证论证的两种方法：可容许集和论证阶段》，摘自：《第八届荷兰人工智能会议论文集》（NAIC’96），荷兰乌得勒支，1996年，第357-368页；B.Verheij，《辩证论证的两种方法：可容许集和论证阶段》，摘自：《第八届荷兰人工智能会议论文集》（NAIC’96），荷兰乌得勒支，1996年，第357-368页
[25] G.A.W.Vreeswijk，《可废止推理中基准问题的插值》，载于《第二届世界人工智能基础会议论文集》（WOCFAI 95），法国巴黎，第453-468页；G.A.W.Vreeswijk，《可废止推理中基准问题的插值》，载于《第二届世界人工智能基础会议论文集》（WOCFAI 95），法国巴黎，第453-468页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。