菲利普·贝斯纳德;西尔维·多特;塞奥·杜沙特勒;Marie-Christine，Lagasquie-Schiex 用于论证的通用逻辑编码。 （英语） Zbl 07686429号 J.日志。计算。 33，第3号，623-704（2023）. 摘要：论证已成为人工智能中的一个重要工具，它只允许用一组参数和参数之间的二元关系（攻击关系）来表示知识。自Dung于1995年提出开创性的工作以来，为了丰富这个非常简单的框架，提出了许多扩展，增加了第二种交互类型，即支持关系，并使用了高阶或集体交互。同时，逻辑学和抽象论证之间的几个联系也得到了展示和研究，表明这两个领域是密切相关的。在这些作品中，可以找到抽象论证框架的几种逻辑编码。尽管如此，这些编码通常是构建的特别的并且只适用于某些给定的框架。本文的目的是提出一种通用逻辑编码，涵盖多个抽象论证框架家族，从Dung的框架到使用高阶和集体证据支持和攻击的最丰富的框架。 引用于1文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 PDF格式BibTeX公司 XML格式引用 \textit{P.Besnard}等人，J.Log。计算。33，编号3623-704（2023；兹bl 07686429） 全文： DOI程序