Citation Context

... to derive conclusions given some propositions as input. Finally to incorporate the temporal dimension we timestamp all propositions in the language, and we adopt the persistence mechanism devised in =-=[16]-=- to deal with temporalised normative positions. Essentially if we can assert the conclusion p:t0, i.e.,sp holds at time t0, then we can continue to assert p for all t'>t0, until we have an event such ...

Citation Context

...de a better handling of deadlines in FCL Obligation modalities, because they are frequently used in the specification of obligations. In particular we will try to incorporate in FCL the approaches of =-=[9]-=- to represent temporal notions and temporalised normative positions and of [4] to incorporate obligation deadlines. The example has also identified a need to establish a common ontology for the events...

Citation Context

...gic (TDL) is an umbrella expression to designate extensions of DL to capture time. TDL has proved useful in modelling temporal aspects of normative reasoning, such as temporalised normative positions =-=[16]-=-; in addition, it was suggested that the notion of a temporal viewpoint may solve the problem of retroactive modifications [12,13]. In this section we present some variants that deal with temporal dim...

Citation Context

..., is a feasible option in this regard. However, as we said, this diverges from our view of the counts-as link. An alternative possibility is thus to introduce explicit temporal dimensions, as done in =-=[21]-=-, in order to make explicit when an institutional fact p is cancelled by a conflicting one which results from the subsequent exercise of a different power, or even of the same power that produced p. F...

Citation Context

...es, or for the management of automated service level agreements [10]. This research is part of a larger research effort to investigate the use of defeasible logic for reasoning with legal information =-=[9,8]-=-. The remainder of the paper is structured as follows. In Section 2 we define the Temporal Modal Defeasible Logic to be used in our characterisation. In Section 3 we provide a characterisation of diff...

Citation Context

...annot lead to any conclusion but are used to defeat some rules by producing evidence to the contrary. In this sense, defeaters are suitable to model the termination of the persistence of obligations (=-=Governatori et al. 2005-=-, Governatori & Rotolo 2008b). Consider Example 5 (we assume that the reparational obligation is a punctual one): invinit invoice ⇒ O a,π pr pay ⊗ Oppay fine invterm pay ❀ ¬O a,π pr pay Here, complian...

Citation Context

...s, which in turn, in case of their violation, refer to other rules, and so forth.Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain 287 Persistence of normative effects =-=[20]-=-. Some normative effects persist over time unless some other and subsequent event terminate them. For example: “If one causes damage, one has to provide compensation.”. Other effects hold on the condi...