Legal Consolidation formalised in Defeasible Logic and based on Agents.

Updated legal corpora have been indicated by the European Union as fundamental to eDemocracy, and member states looking to set up eGovernment initiatives are acting on that input. However, the usual automation of legal consoli- dation presents shortcomings, namely, the collapse of temporal dimensions and local views of normative systems. This paper presents solutions to these shortcomings by providing the formalisation in logic of an appropriate legal temporal model and an investigation of the use of the multi-agent paradigm.

[1]  Guido Boella,et al.  Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[2]  Monica Palmirani,et al.  Automated extraction of normative references in legal texts , 2003, ICAIL.

[3]  Ioannis P. Vlahavas,et al.  DR-DEVICE: A Defeasible Logic System for the Semantic Web , 2004, PPSWR.

[4]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[5]  A Jurisprudential Model,et al.  Legal Reasoning , 2008 .

[6]  Guido Governatori,et al.  Normative Modifications in Defeasible Logic , 2005 .

[7]  Torben Bach Pedersen,et al.  Multidimensional Database Technology , 2001, Computer.

[8]  Carlo Batini,et al.  Enabling Italian E-Government through a Cooperative Architecture , 2001, Computer.

[9]  Michael J. Maher.  Propositional defeasible logic has linear complexity , 2001, Theory and Practice of Logic Programming.

[10]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[11]  Bart Verheij.  Virtual Arguments: On the Design of Argument Assistants for Lawyers and Other Arguers , 2005 .

[12]  Pier Luigi Spinosa.  Assegnazione dei nomi uniformi ai documenti giuridici , 2004 .

[13]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[14]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[15]  Raffaella Brighi.  An ontology for linkups between norms , 2004, Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004..

[16]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[17]  Riccardo Guastini,et al.  Teoria e dogmatica delle fonti , 1998 .

[18]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logics , 2000, PRICAI.

[19]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[20]  Monica Palmirani,et al.  Time Model for Managing the Dynamic of Normative System , 2006, EGOV.