PROLEG and Normative Diagrams (bibtex)
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"
}
Powered by bibtexbrowser