Semi-automatic Knowledge Representation and Reasoning on Vague Crime Concepts
摘要
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.