×
彼得罗·巴罗尼;马西米利亚诺·贾科明;吉奥瓦尼·吉达

SCC-递归性：论证语义的通用模式。 （英语） Zbl 1132.68765号

工件。智力。 168，编号1-2162-210（2005）.
摘要：在论证理论中，Dung的抽象框架基于可拓概念提供了几种可选语义的统一观点。在这种情况下，我们提出了一种通用的议论文语义递归模式，该模式基于议论文框架中强连接组件的分解。我们引入了SCC-递归的基本概念，并证明了所有Dung基于可接纳性的语义都是SCC-递推的，因此我们的模式是一个特例。基于这些理由，我们认为SCC递归性概念在论证语义的研究和定义中起着基础性的作用。特别是，SCC-递归语义空间为研究新建议提供了理想的基础：从分析Dung的首选语义产生可疑结果的几个示例开始，我们引入了四种新的SCC-递推语义，它们能够克服首选语义的局限性，但在其他方面有所不同。

引用于65文件

MSC公司：

68层37 人工智能背景下的不确定性推理

关键词：

论证语义学;扩展;失效循环

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{P.Baroni}等人，Artif。智力。168，编号1--2，162-210（2005；Zbl 1132.68765）
全文： DOI程序

参考文献：

[1] Amgoud，L。；Cayrol，C.，《从基于偏好的论证框架中的不一致性推断》，J.Automat。原因。，2925-169（2002年）·Zbl 1056.68589号
[2] Amgoud，L。；Cayrol，C.，《基于可接受参数产生的推理模型》，《数学年鉴》。人工智能，34，1-3，197-215（2002）·Zbl 1002.68172号
[3] Amgoud，L。；帕森斯，S。；Maudet，N.，《争论、对话和谈判》，（第十四届欧洲人工智能会议记录（ECAI 2000）（2000），IOS出版社：IOS柏林出版社），338-342
[4] 巴罗尼，P。；Giacomin，M.，《用奇怪的循环解决论证中的语义问题》，（第七届欧洲不确定性推理的符号和定量方法会议论文集（ECSQARU 2003）。第七届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU 2003），《人工智能讲义》，第2711卷（2003），施普林格：施普林格奥尔堡，丹麦），440-451·Zbl 1274.68453号
[5] P.Baroni，M.Giacomin，《论证的递归方法：动机和观点》，摘自：《第十届非单调推理国际研讨会论文集》（NMR 2004），加拿大不列颠哥伦比亚省惠斯勒，2004年，第50-58页；P.Baroni，M.Giacomin，《论证的递归方法：动机和观点》，摘自：《第十届非单调推理国际研讨会论文集》（NMR 2004），加拿大不列颠哥伦比亚省惠斯勒，2004年，第50-58页
[6] 巴罗尼，P。；Giacomin，M。；Guida，G.，扩展抽象论证系统理论，人工智能，120，2251-270（2000）·Zbl 0945.68165号
[7] P.Baroni，M.Giacomin，G.Guida，《论论证中的力量概念：克服认识/实践二分法》，载于：《2001年ECSQARU研讨会论文集——论证的进展》，法国图卢兹，2001年，第1-8页；P.Baroni，M.Giacomin，G.Guida，《论论证中的力量概念：克服认识/实践二分法》，载于：《2001年ECSQARU研讨会论文集——论证的进展》，法国图卢兹，2001年，第1-8页
[8] P.Baroni，M.Giacomin，G.Guida，《在基于扩展的论证语义中走向怀疑论的形式化》，载于：《第四届自然论证计算模型研讨会论文集》（CMNA 2004），西班牙巴伦西亚，2004年，第47-52页；P.Baroni，M.Giacomin，G.Guida，《走向基于扩展的论证语义学中怀疑主义的形式化》，载于：《自然论证计算模型第四次研讨会论文集》（CMNA 2004），西班牙巴伦西亚，2004年，第47-52页
[9] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，《人工智能》，77，2，321-357（1995）·兹比尔1013.68556
[10] 加西亚·A·J。；Simari，G.R.，《可失效逻辑编程：论证方法》，理论与实践。逻辑编程，4，1，95-138（2004）·Zbl 1090.68015号
[11] Horty，J.F.，《怀疑论和浮动结论》，人工智能，135，1-2，55-72（2002）·Zbl 0984.68144号
[12] 梅金森，D。；Schlechta，K.，《浮动结论和僵尸路径：对不可行遗传网络的“直接怀疑”方法中的两个深层次困难》，《人工智能》，48，2，199-209（1991）·Zbl 1117.68493号
[13] Pollock，J.L.，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号
[14] Pollock，J.L.，《辩护与失败》，《人工智能》，67，377-407（1994）·Zbl 0807.68085号
[15] Pollock，J.L.，《认知木匠：如何构建一个人的蓝图》（1995），麻省理工学院出版社：麻省理学院出版社剑桥
[16] Pollock，J.L.，《自治代理中目标回归规划的逻辑基础》，《人工智能》，106，2，267-334（1998）·兹比尔0910.68198
[17] Pollock，J.L.，《感知和推理不断变化的世界》，《计算》。情报，14，4，498-562（1998）
[18] Pollock，J.L.，《具有可变辩护度的可推翻推理》，《人工智能》，第133、1-2、233-282页（2001年）·Zbl 0984.68154号
[19] Prakken，H.，《法律论证建模的逻辑工具：法律中可推翻推理的研究》
[20] H.Prakken，《直觉与可辩解推理的建模：一些案例研究》，摘自：《第九届非单调推理国际研讨会论文集》（NMR 2002），法国图卢兹，2002年，第91-102页；H.Prakken，《直觉与可辩解推理的建模：一些案例研究》，摘自：《第九届非单调推理国际研讨会论文集》（NMR 2002），法国图卢兹，2002年，第91-102页
[21] 普拉肯，H。；Sartor，G.，《基于论证的扩展逻辑编程与可取消优先级》，J.Appl。非类别。逻辑，7，25-75（1997）·Zbl 0877.68019号
[22] 普拉肯，H。；Vreeswijk，G.A.W.，《可废止论证的逻辑学》（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》（2001年），Kluwer学术出版社：Kluwer-Academic Dordrecht）·Zbl 1003.03503号
[23] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1-2，81-132（1980）·兹伯利0435.68069
[24] Schlechta，K.，《直接怀疑继承无法捕获扩展的交集》，J.Logic Comput。，3455-467（1993年）·Zbl 0802.68140号
[25] Simari，G.R。；Loui，R.P.，《不可行推理的数学处理及其实现》，《人工智能》，第53、2-3、125-157页（1992年）·兹比尔1193.68238
[26] Verheij，B.，《可废止论证的人工论证助手》，《人工智能》，第150、1-2、291-324页（2003年）
[27] Vreeswijk，G.A.W.，抽象论证系统，人工智能，90，1-2，225-279（1997）·Zbl 1017.03513号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。