×
莱拉·阿姆古德;法里德·努乌阿

可废止推理的论证系统。 （英语） Zbl 1419.68104号

国际J近似推理 85, 1-20 (2017).
摘要：基于规则的论证系统是为了对可废止信息进行推理而开发的。他们将a作为输入理论由一套事实，一套严格的规则，它编码严格的信息，以及一组可废止的规则描述特殊情况下的一般行为。他们建造论据通过链接这些规则，定义攻击在它们之间，使用语义学用于评估参数，并最终确定似是而非的结论这是根据理论得出的。
咬边是此类系统的主要攻击关系之一。它包括在例外情况成立时阻止适用可废止规则。在本文中，我们考虑这种关系来捕捉理论中所有不同的冲突。我们提出了第一个仅使用根切的论证系统，并表明它满足文献中提出的合理性假设。最后，我们充分刻画了它在各种可接受语义下的扩展及其似是而非的结论。事实上，我们展示了构建论证系统所依据的理论的扩展和子理论之间的完全对应。

引用于1文件

MSC公司：

第68页第27页 人工智能中的逻辑

关键词：

可废止推理;规则系统;论证

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{L.Amgoud}和\textit{F.Nouioua}，国际期刊近似推理85，1--20（2017；Zbl 1419.68104）
全文： 内政部 哈尔

参考文献：

[1] Amgoud，L。；Nouioua，F.，论证系统中的根切，（第九届可扩展不确定性管理国际会议，第九届国际可扩展不确定管理会议，SUM’15（2015）），267-281
[2] Bondarenko，A。；邓，P。；科瓦尔斯基，R。；Toni，F.，《缺省推理的抽象论证理论方法》，Artif。智力。，93, 63-101 (1997) ·Zbl 1017.03511号
[3] Dung，P.，《论据的可接受性及其在非单调推理、逻辑编程和人与人之间的博弈中的基本作用》，Artif。智力。J.，77，2，321-357（1995）·Zbl 1013.68556号
[4] Amgoud，L。；Ben-Naim，J.，论证框架的基于排名的语义，（第七届可扩展不确定性管理国际会议，第七届国际可扩展不确定管理会议，SUM’13，第8078卷（2013）），134-147
[5] Cayrol，C。；Lagasquie-Schiex，M.，《论证的渐进性》，J.Artif。智力。研究，23，245-297（2005）·Zbl 1080.68608号
[6] Amgoud，L。；Cayrol，C.，《从基于偏好的论证框架中的不一致性推断》，J.Autom。原因。，29, 2, 125-169 (2002) ·Zbl 1056.68589号
[7] Gorogannis，N。；Hunter，A.，用经典逻辑论证实例化抽象论证：公设和性质，人工制品。智力。J.，175，9-10，1479-1497（2011）·Zbl 1225.68248号
[8] Amgoud，L。；Besnard，P.，抽象论证框架的逻辑极限，J.Appl。非类别。日志。，23, 3, 229-267 (2013) ·Zbl 1400.68201号
[10] Prakken，H.，《结构化论证的抽象框架》，J.Argument Comput。，1, 2, 93-124 (2010)
[11] 加西亚，a。；Simari，G.，《可失效逻辑编程：论证方法》，理论与实践。日志。程序。，4, 1-2, 95-138 (2004) ·Zbl 1090.68015号
[12] 总督，G。；马希尔，M。；安东尼奥，G。；Billington，D.，可废止逻辑的论证语义，J.Log。计算。，14675-702（2004年）·Zbl 1067.03038号
[13] Wyner，A。；工作台盖，T。；Dunne，P.，《关于抽象论证框架中知识库的实例化》，（《第14届多智能体系统计算逻辑国际研讨会论文集》，《第14次多智能体体系计算逻辑国际会议论文集》CLIMA XIV（2013）），34-50·Zbl 1401.68313号
[14] Wyner，A。；工作台盖，T。；邓恩，P。；Cerutti，F.，实例化论证框架中“论证”的感觉，论证计算。，6, 1, 50-72 (2015)
[15] Strass，H.，在抽象辩证框架中实例化知识库，（《第十四届多智能体系统计算逻辑国际研讨会论文集》，第十四届国际多智能体计算逻辑研讨会论文集，CLIMA XIV（2013）），86-101·Zbl 1343.68229号
[16] 卡米纳达，M。；Amgoud，L.，《论论证形式主义的评价》，Artif。智力。J.，171，5-6，286-310（2007）·Zbl 1168.68562号
[17] 波洛克，J.，《如何以失败的方式推理》，Artif。智力。J.，57，1，1-42（1992）·Zbl 0763.68056号
[18] 埃尔万·戈兰森，M。；福克斯，J。；Krause，P.，作为“逻辑不确定性”的论点的可接受性， （第二届欧洲推理和不确定性的符号和定量方法会议以及推理和不确定性的定量方法，ECSQARU'93，格拉纳达，西班牙，计算机科学讲义，第747卷（1993），施普林格），85-90
[19] Amgoud，L。；Besnard，P.，《基于规则的论证系统结果的正式表征》，（第七届可扩展不确定性管理国际会议，第七届国际可扩展不确定管理会议，SUM’13（2013）），78-91
[20] Benferhat，S。；Bannay，F.，条件知识的上下文处理，（第六届基于知识系统的信息处理和不确定性管理国际会议，第六届关于基于知识系统中的信息处理与不确定性管理的国际会议，IPMU’96（1996）），1-7
[21] Lam，H。；Governatori，G.，可废止推理中的必要性规则是什么？，（计算机科学讲义，第6645卷（2011）），187-192·Zbl 1327.68256号
[22] Amgoud，L.，《逻辑论证系统的假设》，《国际近似推理》。，55, 9, 2028-2048 (2014) ·Zbl 1433.68438号
[23] Reiter，R.，默认推理逻辑，Artif。智力。J.，13，1-2，81-132（1980）·Zbl 0435.68069号
[24] Lukaszewicz，W.，《默认逻辑的考虑：替代方法》，计算。智力。，4, 1-16 (1988)
[25] 盖尔方德，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 365-385 (1991) ·Zbl 0735.68012号
[26] Gebser，M。；加里布，M。；默瑟，R。；Schaub，T.，单调答案集编程，J.Log。计算。，2009年4月19日，539-564·Zbl 1180.68100号
[27] 卡米纳达，M。；Sá，S。；Alcántara，J.，《关于逻辑编程语义和论证语义之间的等价性》，（第十二届欧洲不确定性推理的符号和定量方法会议，第十二届不确定性推理符号和量化方法欧洲会议，ECSQARU’13（2013）），97-108·Zbl 1390.68607号
[28] 卡米纳达，M。；Sá，S。；J.阿尔坎塔拉。；Dvorák，W.，《关于逻辑编程语义和论证语义之间的等价性》，《国际近似推理》。，58, 87-111 (2015) ·兹比尔1328.68211
[29] 盖特纳，D。；Toni，F.，《基于假设的论证中的计算参数和攻击》，IEEE Intell。系统。，22, 6, 24-33 (2007)
[30] 莫吉尔，S。；Prakken，H.，《偏好论证的一般描述》，Artif。智力。，195361-397（2013）·Zbl 1270.68284号
[31] Dung，P.M。；Son，T.C.，《基于论证的特殊推理方法》，Artif。智力。，133, 1-2, 35-85 (2001) ·Zbl 0984.68153号
[32] 科恩，A。；加西亚，a。；Simari，G.，《不可行逻辑编程中的支持和削弱》，（第11届欧洲不确定性推理的符号和定量方法会议，第11届不确定性推理符号和定量方式欧洲会议，ECSQARU’11（2011）），50-61·Zbl 1341.68209号
[33] 科恩，A。；加西亚，a。；Simari，G.，《支持和削弱抽象论证框架》，（第七届信息和知识系统基础国际会议，第七届国际信息和知识体系基础会议，FoIKS’12（2012）），107-123
[34] 科恩，A。；加西亚，a。；Simari，G.，《支持和削弱的结构化论证系统》，《工程应用》。Artif公司。智力。，49, 149-166 (2016)
[35] Amgoud，L。；Ben-Naim，J.，基于论证的排名逻辑，（《2015年自治代理和多代理系统国际会议论文集》，2015年国际自治代理和多重代理系统会议论文集，AAMAS’2015（2015）），1511-1519
[36] Rescher，N。；Manor，R.，《论不一致前提的推论》，《决定论》。，1, 179-219 (1970) ·Zbl 0212.31103号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。