Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks

Autor: Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Přispěvatelé: Dept. of Advanced Computing Sciences, RS: FSE DACS, RS-Research Program Towards High-Quality and Intelligent Software (THIS), Department of Computer Science
Jazyk: angličtina
Rok vydání: 2023
Předmět:
Zdroj: Artificial Intelligence, 317:103876. Elsevier Science
Artificial Intelligence, 317:103876. ELSEVIER SCIENCE BV
Heyninck, J, Kern-Isberner, G, Rienstra, T, Skiba, K & Thimm, M 2023, ' Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ', Artificial Intelligence, vol. 317, 103876 . https://doi.org/10.1016/j.artint.2023.103876
ISSN: 0004-3702
DOI: 10.1016/j.artint.2023.103876
Popis: For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals, and nonmonotonic inference. In argumentative contexts, such connections have not yet been investigated. On the one hand, the exact relationship between formal argumentation and nonmonotonic inference relations is a research topic that keeps on eluding researchers despite recently intensified efforts, whereas argumentative revision has been studied in numerous works during recent years. In this paper, we show that relationships between belief revision, defeasible conditionals, and nonmonotonic inference similar to those in propositional logic hold in argumentative contexts as well. We first define revision operators for abstract dialectical frameworks, and use such revision operators to define dynamic conditionals by means of the Ramsey test. We show that such conditionals can be equivalently defined using a total preorder over three-valued interpretations, and study the inferential behaviour of the resulting conditional inference relations.
Databáze: OpenAIRE
Externí odkaz: