PROLEG and Normative Diagrams
摘要
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.