by Diogo Sasdelli and Bianca Steffes
Abstract:
Employing symbolic logic and similar formal methods for representing legal knowledge constitutes a challenging interdisciplinary undertaking. In particular, the fundamental methodological disparities between legal reasoning and mathematical logic can hinder the effectiveness of interdisciplinary communication. By offering an intuitive, relatively accessible way to bridge the gap between natural language and logical formalisms, so-called legal visualisation methods constitute a promising approach to at least mitigate this problem. The paper at hand discusses the challenges and advantages of combining PROLEG, an established textual formalism for legal knowledge, with the legal visualisation method of normative diagrams.
Reference:
Diogo Sasdelli and Bianca Steffes: PROLEG and Normative Diagrams, In New Frontiers in Artificial Intelligence (Yukiko Nakano, Toyotaro Suzumura, eds.), Springer Nature Singapore, pp. 130–145, 2025.
Bibtex Entry:
@InProceedings{ sasdellietal25normdiagprologjurisin,
author = "Sasdelli, Diogo and Steffes, Bianca",
editor = "Nakano, Yukiko and Suzumura, Toyotaro",
title = "PROLEG and Normative Diagrams",
booktitle = "New Frontiers in Artificial Intelligence",
year = "2025",
publisher = "Springer Nature Singapore",
address = "Singapore",
pages = "130--145",
abstract = "Employing symbolic logic and similar formal methods for
representing legal knowledge constitutes a challenging
interdisciplinary undertaking. In particular, the
fundamental methodological disparities between legal
reasoning and mathematical logic can hinder the
effectiveness of interdisciplinary communication. By
offering an intuitive, relatively accessible way to bridge
the gap between natural language and logical formalisms,
so-called legal visualisation methods constitute a
promising approach to at least mitigate this problem. The
paper at hand discusses the challenges and advantages of
combining PROLEG, an established textual formalism for
legal knowledge, with the legal visualisation method of
normative diagrams.",
isbn = "978-981-96-7071-0"
}