Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports
| Autor: | Marie-Christine Lagasquie-Schiex, Claudette Cayrol |
|---|---|
| Přispěvatelé: | 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, Université Toulouse III - Paul Sabatier (UT3), Lagasquie-Schiex, Marie-Christine, IRIT - Institut de recherche en informatique de Toulouse |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Cognitive science
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] Computer science 0102 computer and information sciences 02 engineering and technology 01 natural sciences Logical theory Argumentation theory [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] Meaning (philosophy of language) 010201 computation theory & mathematics Artificial Intelligence Order (exchange) 0202 electrical engineering electronic engineering information engineering Encoding (semiotics) 020201 artificial intelligence & image processing ComputingMilieux_MISCELLANEOUS |
| Zdroj: | International Journal on Artificial Intelligence Tools International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2020, Special Issue on Selected Papers from the 30th Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2018), 29 (03n04), pp.2060003. ⟨10.1142/S0218213020600039⟩ HAL [Research Report] IRIT/RR--2019--03--FR, IRIT-Institut de recherche en informatique de Toulouse. 2019 |
| ISSN: | 0218-2130 |
| DOI: | 10.1142/S0218213020600039⟩ |
| Popis: | We propose a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks/supports whose targets are arguments or other attacks/supports) with an evidential meaning for supports. Our purpose is to separate the logical expression of the meaning of an attack or an evidential support (simple or higher-order) from the logical expression of acceptability semantics. We consider semantics which specify the conditions under which the arguments (resp. the attacks/supports) are considered as accepted, directly on the extended framework, without translating the original framework into a Dung’s argumentation framework. We characterize the output of a given framework in logical terms (namely as particular models of a logical theory). Our proposal applies to the particular case of Dung’s frameworks, enabling to recover standard extensions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|