Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917523898761216 |
|---|---|
| author | Ganguly, Arunavo Mendez, Julian Alfredo Kampik, Timotheus |
| author_facet | Ganguly, Arunavo Mendez, Julian Alfredo Kampik, Timotheus |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_23578 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues Ganguly, Arunavo Mendez, Julian Alfredo Kampik, Timotheus Multiagent Systems 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. |
| title | Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues |
| topic | Multiagent Systems |
| url | https://arxiv.org/abs/2605.23578 |