Abstract
Although the representation of normative texts and simulation of legal acts are commonly interdisciplinary themes in the field of Artificial Intelligence and Law (AI &Law), some questions remain open or are yet explored. Among them, we can mention the formalization of the legal body in the face of explicit or implicit exceptions in the juridical reasoning, and the treatment of readability issues, in exposing or justifying decision-making. In this paper, we present the prototype LEGIS and discuss about a proposal to simulate legal action on two fronts. We adopt a non-monotonic semantics for knowledge representation that is appropriate to the singularities of the legal realm, the Preferential Semantics, and propose a transformation to a formal logic argumentation style, the Sequent Calculus, in order to raise the inference proofs to a level of legibility not yet conveniently attained by conventional reasoners.