We introduce notions of safety, liveness, and fairness, as commonly used in temporal reasoning, to quantitative (bipolar) argumentation dialogues where repeated inferences are drawn from argumentation graphs with weighted nodes. Between inferences, these graphs undergo updates. Strong and weak safety capture that arguments' (final) strengths remain above a specific threshold of justification and always reach the threshold eventually, respectively. Liveness requires that arguments' strengths fluctuate across the threshold of justification. Fairness notions assess how safe arguments are spread within a sequence of argumentation graphs. We formally show how these notions are related, and discuss some analytical challenges with respect to providing general guarantees for our properties.

翻译：我们引入了时间推理中常用的安全性、活性和公平性概念，并将其应用于定量(双极)论证对话中。在此类对话中，基于带权重节点的论证图进行重复推理，且在推理之间这些图会经历更新。强安全性和弱安全性分别捕捉了论点(最终)强度保持高于特定论证阈值以及最终总能达到该阈值的特性。活性要求论点的强度在论证阈值上下波动。公平性概念则用于评估论证序列中安全论点如何分布。我们形式化地证明了这些概念之间的关联性，并讨论了在为此类性质提供通用保证时面临的一些分析挑战。