定量论证对话中的安全性、活性与公平性
多智能体系统
2026-05-25 v1
摘要
我们引入安全性、活性和公平性等概念，这些概念在时序推理中广泛使用，用于包含带权节点（bipolar）论证对话中的重复推理，其中论证图在推理之间发生更新。强安全和弱安全捕捉论证强度（最终）是否保持在特定正当性阈值之上，以及是否最终到达该阈值。活性要求论证强度在正当性阈值之间波动。公平性概念评估这些概念在论证图序列中如何分布。我们形式化地展示了这些概念之间的关系，并讨论了就这些属性提供一般保证面临的分析挑战。
引用
@article{arxiv.2605.23578,
title = {Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues},
author = {Arunavo Ganguly and Julian Alfredo Mendez and Timotheus Kampik},
journal= {arXiv preprint arXiv:2605.23578},
year = {2026}
}