林戈·鲍曼;格哈德·布鲁卡 分析抽象论证中的等价动物园。 （英语） Zbl 1401.68300号 Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。2013年9月16日至18日，第14届国际研讨会，CLIMA XIV，西班牙科伦纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40623-2/pbk）。计算机科学课堂讲稿8143。人工智能课堂讲稿，18-33（2013）。 摘要：等价概念比标准等价概念更强，因为它们还考虑到了对可用信息的潜在修改，因此在非单调推理中受到了极大的关注。在这篇论文中，我们主要关注论证中的等价概念。更具体地说，我们建立了许多关于Dung论证框架的各种等价概念之间关系的新结果，这些等价概念位于强等价之间[E.Oikarinen公司和S.Woltran公司，艺术。智力。175，第14–15号，1985–2009（2011；Zbl 1252.68279号)]和标准等效性。我们为最重要的语义提供了各种等价关系（我们称之为等价动物园）的全貌。关于整个系列，请参见[Zbl 1272.68028号]. 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 引文：Zbl 1252.68279号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Baumann｝和\textit｛G.Breuka｝，Lect。注释计算。科学。8143，18-33（2013年；兹比尔1401.68300） 全文： 内政部