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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

PROLEG and Normative Diagrams

  • Diogo Sasdelli,
  • Bianca Steffes

摘要

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.