The structured argumentation system that represents arguments by premise-conclusion pairs is called premise-conclusion argumentation (PA) and the one that represents arguments by their premises is called base argumentation (BA). To assess whether BA and PA have the same ability in argument evaluation by extensional semantics, this paper defines the notion of extensional equivalence between BA and PA. It also defines the notion of bisimulation between BA and PA and shows that bisimulation implies extensional equivalence. To illustrate how base argumentation, bisimulation and extensional equivalence can contribute to the study of PA, we prove some new results about PA by investigating the extensional properties of a base argumentation framework and exporting them to two premise-conclusion argumentation frameworks via bisimulation and extensional equivalence. We show that there are essentially three kinds of extensions in these frameworks and that the extensions in the two premise-conclusion argumentation frameworks are identical.

中文翻译：

---

基础论证与前提-结论论证之间的互模拟


用前提-结论对表示论证的结构化论证系统称为前提-结论论证（PA），而用前提表示论证的论证系统称为基础论证（BA）。为了通过外延语义来评估BA和PA在论证评估方面是否具有相同的能力，本文定义了BA和PA之间的外延等价概念。它还定义了 BA 和 PA 之间的互模拟概念，并表明互模拟意味着外延等价。为了说明基本论证、互模拟和外延等价如何为 PA 研究做出贡献，我们通过研究基本论证框架的外延性质并通过互模拟和外延等价将它们导出到两个前提-结论论证框架来证明有关 PA 的一些新结果。我们证明这些框架本质上存在三种扩展，并且两个前提-结论论证框架中的扩展是相同的。