Structural Analysis of Extension-Based Argumentation Semantics with Joint Acceptability
| Autor: | Yuming Xu, Claudette Cayrol, Lidong Xu |
|---|---|
| Přispěvatelé: | Shandong University, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Liao, Beishui and Agotnes, Thomas and Wang, Yi |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Programming language
Computer science Semantics (computer science) 010102 general mathematics J-complete Foundation (evidence) Admissible set Semantics Initial 02 engineering and technology Extension (predicate logic) computer.software_genre 01 natural sciences J-acceptable Argumentation theory Argumentation semantics Argumentation 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Joint (building) [INFO]Computer Science [cs] 0101 mathematics computer |
| Zdroj: | CLAR 2018: Dynamics, Uncertainty and Reasoning Liao, Beishui and Agotnes, Thomas and Wang, Yi. CLAR 2018: Dynamics, Uncertainty and Reasoning, Springer, pp.1--20, 2019, Logic in Asia: Studia Logica Library book series (LIAA), 978-981-13-7790-7. ⟨10.1007/978-981-13-7791-4_1⟩ Dynamics, Uncertainty and Reasoning ISBN: 9789811377907 CLAR |
| DOI: | 10.1007/978-981-13-7791-4_1⟩ |
| Popis: | International audience; Dung's abstract argumentation provides us with a general framework to deal with argumentation. For extension-based semantics, the central issue is how to determine the extensions w.r.t. various semantics. Motivated by the acceptability and reinstatement criterion, we propose the notions of J-acceptability and J-reinstatement. Correspondingly, we introduce the J-complete semantics which reveals the gap between complete semantics and preferred semantics. It is shown that acceptability together with J-acceptability forms the foundation of extension-based semantics. For example, any admissible set can be built starting from a conflict-free collection of initial sets by iteratively applying some functions based on acceptability and J-acceptability. This novel idea enables to give a clear description of the extensions of the standard semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|