Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks

This paper deals with the temporal aspects of the many-lives argumentation networks. The many-lives idea comes from modelling the reasoning behaviour of sex offenders, which required argumentation systems where each argument x has a natural number Mpxq, indicating how many live attackers are needed to ensure that x is out. The temporal aspect associated with such applications (in general: how many complaints are required to take x out) is that the attackers come at different times. It seems that traditional temporal logic is unable to properly deal with such behaviour and a new type of temporal logic is required. We call it “evolutionary temporal logic". Thus argumentation many-lives systems inspire new developments in temporal logic.