Admissibility in Probabilistic Argumentation

Vortrag von Nikolai Käfer

Veranstaltungsort: Online
Beginn: 4. November 2021 um 11:00
Ende: 4. November 2021 um 12:00
Event series: Research Seminar Logic and AI
iCal

Abstract argumentation is a prominent reasoning framework. It comes with a variety of semantics and has lately been enhanced by probabilities to enable a quantitative treatment of argumentation. While admissibility is a fundamental notion in the classical setting, it has been merely reflected so far in the probabilistic setting. In this paper, we address the quantitative treatment of argumentation based on probabilistic notions of admissibility in a way that they form fully conservative extensions of classical notions. In particular, our building blocks are not the beliefs regarding single arguments. Instead, we start from the fairly natural idea that whatever argumentation semantics is to be considered, semantics systematically induces constraints on the joint probability distribution on the sets of arguments. In some cases there might be many such distributions, even infinitely many ones, in other cases, there may be one or none. Standard semantic notions are shown to induce such sets of constraints, and so do their probabilistic extensions. This allows them to be tackled by SMT solvers, as we demonstrate by a proof-of-concept implementation. We present a taxonomy of semantic notions, also in relation to published work, together with a running example illustrating our achievements.

This is a talk regarding the paper at KR 2021. The talk will be given online via BigBlueButton. To access the room, use the following link:

Room Link:

https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n