arXiv 1809.048612018-09cs.AI

结构化论证中的关联性

Relevance in Structured Argumentation

Ruhr-University Bochum（波鸿鲁尔大学）

AnneMarie Borg, Christian Straßer

备注：: Extended version of the paper with the same name published in the main track of IJCAI 2018. It countains additionally a treatment of credulous and weak skeptical semantics

摘要：

我们研究了结构化论证系统所获得的非单调结果关系中的相关性质。必要相关性关注的是在添加不相关信息的情况下，结果关系的稳健性。为了解释什么是相关性，我们使用句法和语义考虑。句法标准是在关联逻辑领域提出的，近年来又以不干涉和抗碰撞的名义应用于论证理论。其基本思想是，一个给定的论证理论的结论应该是强大的，在添加信息，共享没有命题变量与原始数据库。一些语义相关性准则是从非单调逻辑中得到的。例如，谨慎单调性指出，如果我们从论证理论中获得某些结论，如果我们将其中一些添加到给定的数据库中，我们可能仍然会获得相同的结论。在本文中，我们研究的结构化论证系统，保证相关desiderata的属性。

英文摘要：

We study properties related to relevance in non-monotonic consequence relations obtained by systems of structured argumentation. Relevance desiderata concern the robustness of a consequence relation under the addition of irrelevant information. For an account of what (ir)relevance amounts to we use syntactic and semantic considerations. Syntactic criteria have been proposed in the domain of relevance logic and were recently used in argumentation theory under the names of non-interference and crash-resistance. The basic idea is that the conclusions of a given argumentative theory should be robust under adding information that shares no propositional variables with the original database. Some semantic relevance criteria are known from non-monotonic logic. For instance, cautious monotony states that if we obtain certain conclusions from an argumentation theory, we may expect to still obtain the same conclusions if we add some of them to the given database. In this paper we investigate properties of structured argumentation systems that warrant relevance desiderata.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

摘要：

英文摘要：

相关论文