Initial Sets in Abstract Argumentation Frameworks
| Autor: | Claudette Cayrol, Yuming Xu |
|---|---|
| Přispěvatelé: | Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Shandong University - SDU (CHINA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Shandong University, Institut de recherche en informatique de Toulouse ( IRIT ), Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), 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, Institut National Polytechnique de Toulouse - INPT (FRANCE) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Logic
Computer science Semantics (computer science) media_common.quotation_subject 0102 computer and information sciences 02 engineering and technology computer.software_genre 01 natural sciences [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [ INFO.INFO-LG ] Computer Science [cs]/Machine Learning [cs.LG] Argumentation theory [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG] 0202 electrical engineering electronic engineering information engineering [ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL] [ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI] Abstract argumentation Skepticism media_common Logique en informatique Initial semantics business.industry Programming language [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Informatique et langage Extension (predicate logic) Intelligence artificielle Apprentissage Philosophy 010201 computation theory & mathematics 020201 artificial intelligence & image processing [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] Artificial intelligence Extension-based semantics business computer AND gate |
| Zdroj: | Proceedings of CLAR 2016 1st Chinese Conference on Logic and Argumentation (CLAR 2016) 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Apr 2016, Hangzou, China. Proceedings of CLAR 2016, 1811, pp. 72-85, 2018 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Apr 2016, Hangzou, China. pp. 72-85 |
| Popis: | International audience; Dung’s abstract argumentation provides us with a general framework to deal with argumentation, non-monotonic reasoning and logic programming. For the extension-based semantics, one of the basic principles is I-maximality which is in particular related with the notion of skeptical justification. Another one is directionality which can be employed for the study of dynamics of argumentation. In this paper, we introduce two new extension-based semantics into Dung’s abstract argumentation, called grounded-like semantics and initial semantics which satisfy the I-maximality and directionality principles. The initial semantics has many good properties and can be expected to play a central role in studying other extension-based semantics, such as admissible, complete and preferred semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|