In this paper we address the formal representation of vagueness in the legal domain, focusing on a “use case” in the Italian criminal law, namely the distinction of two crimes, “snatching” and “robbery”. After a few epistemological clarifications on the concept of vagueness and a short premise on the legal background, we tackle the problem by adopting Answer Set Programming as modelling language. First, we encode the “static” law parts and then we enhance the encoding by learning from sentences. This is a first step for a legal reasoning system capable of evolving by doing a fully automatic learning from sentences.
Semi-automatic Knowledge Representation and Reasoning on Vague Crime Concepts
Dozzi M.;Dovier A.;Formisano A.;Costantini F.
2026-01-01
Abstract
In this paper we address the formal representation of vagueness in the legal domain, focusing on a “use case” in the Italian criminal law, namely the distinction of two crimes, “snatching” and “robbery”. After a few epistemological clarifications on the concept of vagueness and a short premise on the legal background, we tackle the problem by adopting Answer Set Programming as modelling language. First, we encode the “static” law parts and then we enhance the encoding by learning from sentences. This is a first step for a legal reasoning system capable of evolving by doing a fully automatic learning from sentences.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
