Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked

Time, defeasible logic and belief revision: pathways to legal dynamics

In order to properly model norm change in the law, temporal aspects of legal dynamics must be considered. Since there exist several time-based features of law that should be studied, we discuss two interesting approaches: one based on defeasible logic and the other based on belief revision. Each of these makes use of one of the two classic forms of reasoning about time: point-based and interval-based. Both formalisms provide the necessary logical infrastructure to address the characterization of complex behaviour of legal dynamics.Fil: Tamargo, Luciano Héctor. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Martínez, Diego César. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Antonino Rotolo. Universidad de Bologna; ItaliaFil: Governatori, Guido. Csiro; Australi

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure

Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic

Slides of the talk given at NorMAS 2008. Luxembourg, 15 July 200

Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories

In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model

A Computational Framework for Formalizing Rules and Managing Changes in Normative Systems

Legal texts are typically written in a natural language. However, a legal text that is written in a formal language has the advantage of being subject to automation, at least partially. Such a translation is not easy, and the matter is even more complex because the law changes with time, so if we formalized a legal text that was originally written in natural language, there is a need to keep track of the change. This thesis proposes original developments on these subjects. In order to formalize a legal document, we provide a pipeline for the translation of a legal text from natural to formal language and we apply it to the case of natural resources contracts. In general, adjectives play an important role in a text and they allow to characterize it: for this reason we developed a logical system aimed at reasoning with gradable adjectives. Regarding norm change, we provide an ontology to represent change in a normative system, some basic mechanisms by which an agent may acquire new norms, and a study on the problem of revising a defeasible theory by only changing its facts. Another contribution of this thesis is a general framework for revision that includes the previous points as specific cases

An axiomatic characterization of temporalised belief revision in the law

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given

An approach to temporalised legal revision through addition of literals

As lawmakers produce norms, the underlying normative system is affected showing the intrinsic dynamism of law. Through undertaken actions of legal change, the normative system is continuously modified. In a usual legislative practice, the time for an enacted legal provision to be in force may differ from that of its inclusion to the legal system, or from that in which it produces legal effects. Even more, some provisions can produce effects retroactively in time. In this article we study a simulation of such process through the formalisation of a temporalised logical framework upon which a novel belief revision model tackles the dynamic nature of law. Represented through intervals, the temporalisation of sentences allows differentiating the temporal parameters of norms. In addition, a proposed revision operator allows assessing change to the legal system by including a new temporalised literal while preserving the time-based consistency. This can be achieved either by pushing out conflictive pieces of pre-existing norms or through the modification of intervals in which such norms can be either in force, or produce effects. Finally, the construction of the temporalised revision operator is axiomatically characterised and its rational behavior proved through a corresponding representation theorem.Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Martínez, Diego César. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Tamargo, Luciano Héctor. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Rotolo, Antonino. Universidad de Bologna; Itali

Characterising Deadlines in Temporal Modal Defeasible Logic

We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples