Abstract
Abstract dialectical frameworks (in short, ADFs) are one of the most general and unifying approaches to formal argumentation. As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is
the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.
the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.
| Original language | English |
|---|---|
| Pages | 2655-2666 |
| DOIs | |
| Publication status | Published - 2022 |
| Event | 31st International Joint Conference on Artificial Intelligence - Messe WIen, Vienna, Austria Duration: 23 Jul 2022 → 29 Jul 2022 Conference number: 31 https://ijcai-22.org/ |
Conference
| Conference | 31st International Joint Conference on Artificial Intelligence |
|---|---|
| Abbreviated title | IJCAI-ECAI 2022 |
| Country/Territory | Austria |
| City | Vienna |
| Period | 23/07/22 → 29/07/22 |
| Internet address |