Projekte pro Jahr
Abstract
Rephrasing argumentation semantics in terms of subsets of defeasible elements allows for gaining new insights for reasoning about acceptance in established fragments of the central structured argumentation formalism of ASPIC+. We provide a non-trivial generalization of these recent results, capturing preferences in ASPIC+. In particular, considering preferences under the weakest-link principle, we show that the stable semantics can be phrased in terms of subsets of defeasible elements. We employ the rephrasing for establishing both complexity results and practical algorithms for reasoning about acceptance in this variant of ASPIC+. Justified by completeness for the second level of the polynomial hierarchy, we develop an iterative answer set solving based approach to reasoning about acceptance under the so-called elitist lifting in ASPIC+ frameworks. Our implementation of the approach scales well in practice.
Originalsprache | englisch |
---|---|
Titel | Proceedings KR |
Seiten | 215-225 |
Seitenumfang | 11 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2022 |
Veranstaltung | 19th International Conference on Principles of Knowledge Representation and Reasoning: KR 2022 - Haifa, Israel Dauer: 31 Juli 2022 → 5 Aug. 2022 |
Konferenz
Konferenz | 19th International Conference on Principles of Knowledge Representation and Reasoning |
---|---|
Kurztitel | KR 2022 |
Land/Gebiet | Israel |
Ort | Haifa |
Zeitraum | 31/07/22 → 5/08/22 |
Fingerprint
Untersuchen Sie die Forschungsthemen von „Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 1 Laufend
-
FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI
1/09/22 → 31/08/25
Projekt: Forschungsprojekt