Search

This paper presents the first release of the Legal Case, recently developed by the ALIAS Project and still under refinement. The Legal Case is a methodological tool intended to address liability issues of automated ATM systems: it provides for a legal risk management process that can be applied either proactively or retroactively. Used in a proactive way, the Legal Case aims to address the liability issues that may emerge in the design of new technologies. Used in a retroactive way, it is meant to assess liability issues pertaining to an existing piece of technology that has already reached the deployment stage. The Legal Case is mainly designed to be used by a Legal Analyst who is a member of an interdisciplinary project team dealing with the development of new automated technologies (in the case of the proactive approach) or with the accident investigation (in the case of the retroactive approach). Although not yet finalized, the Legal Case methodology is gathering great interest from the ATM community.

Legal reasoning involves multiple temporal dimensions but the existing state of the art of legal representation languages does not allow us to easily combine expressiveness, performance and legal reasoning requirements. Moreover we also aim at the combination of legal temporal reasoning with the defeasible logic approach, maintaining a computable complexity. The contribution of this work is to extend LKIF-rules with temporal dimensions and defeasible tools, extending our previous work [17]. © 2011 Authors.

This paper presents HARE, a rule-based system addressing a section of the Italian law, and in particular the taxes to be paid to start legal proceedings. HARE uses an Italian version of Softlaw's STATUTE Expert. We will then shortly describe the main aspects of STATUTE Expert approach and some recent developments of this system.