Bipolarity in temporal argumentation frameworks

A Timed Argumentation Framework (TAF) is a formalism where arguments are only valid for consideration during specific intervals of time, called availability intervals, which are defined for every individual argument. The original proposal is based on a single abstract notion of attack between arguments that remains static and permanent in time. Thus, in general, when identifying the set of acceptable arguments, the outcome associated with a TAF will vary over time.Here, we are introducing an extension of TAF adding the capability of modeling a support relation between arguments. In this sense, the resulting framework provides a suitable model for different time-dependent issues; thus, the main contribution of this work is to provide an enhanced framework for modeling a positive (support) and negative (attack) interaction which varies over time, features that are highly relevant in many real-world situations. This addition leads to a Timed Bipolar Argumentation Framework (T-BAF), where classical argument extensions can be defined, aiming at advancing in the integration of temporal argumentation in different application domains. Bipolar frameworks are equipped with temporal availability for arguments.Admissibility-based extensions for timed argumentation are characterized.Several relations between semantics in timed argumentation are presented.Relations between the classic bipolar and extension-based semantics are studied for BAFs.