Possible Controllability of Control Argumentation Frameworks -- Extended Version
The recent Control Argumentation Framework (CAF) is a generalization of Dung's Argumentation Framework which handles argumentation dynamics under uncertainty; especially it can be used to model the behavior of an agent which can anticipate future changes in the environment. Here we provide new insights on this model by defining the notion of possible controllability of a CAF. We study the complexity of this new form of reasoning for the four classical semantics, and we provide a logical encoding for reasoning with this framework.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Representing Pure Nash Equilibria in Argumentation
In this paper we describe an argumentation-based representation of normal form games, and demonstrate how argumentation can be used to compute pure strategy Nash equilibria. Our approach builds on Modgil's Extended Argum…
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known re…
Controllability of Coarsely Measured Networked Linear Dynamical Systems (Extended Version)
We consider the controllability of large-scale linear networked dynamical systems when complete knowledge of network structure is unavailable and knowledge is limited to coarse summaries. We provide conditions under whic…
Community DetectionStochastic Block ModelCyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the possibility to express supports, leading…
Abstract ArgumentationTowards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
We propose a novel ranking-based semantics for Dung-style argumentation frameworks with the help of conditional logics. Using an intuitive translation for an argumentation framework to generate conditionals, we can apply…
Abstract ArgumentationTranslation