Rechtsvisualisierung & Legal Design DOI: 10.38023/bff99bd0-6b00-4b0d-9fe5-8751f1506254

Formalisation Memories

Towards a Pattern approach to legal Design

Leon Qiu
Leon Qiu
Yiwei Lu
Yiwei Lu
Burkhard Schafer
Burkhard Schafer
Field of law:

Rechtsvisualisierung & Legal Design

Collection:

Conference proceedings IRIS 2024

Citation: Leon Qiu / Yiwei Lu / Burkhard Schafer, Formalisation Memories, in: Jusletter IT 27-28 März 2024

The paper brings together ideas from translation studies, software design, architecture and legal theory to propose a new approach to the way in which computational models of the law can be deployed for AI safety. With the proliferation of AI-based autonomous systems, ensuring their law compliance has become a challenge for lawyers and developers alike. One approach to overcoming the “black box” problem are neurosymbolic systems, a combination of machine learning with “Good old fashioned’ AI”. While highly intuitive, this approach faces a number of problems. Formalisation memories, a combination of translation memories with pattern design, could be a way to address some of the resulting issues.


Table of contents

  • 1. Introduction
  • 2. Neurosymbolic approaches to lawful AI: AVs passing driving tests
  • 3. Lost in machine translation
  • 4. Formalisation memories
  • 5. From memories to patterns
    • 5.1. Design Patterns in Architecture
    • 5.2. Contract Patterns
    • 5.3. Legislative Patterns
  • 6. Bridging the Divide: Patterns as the Intermediary Between Law and Code
  • 7. Conclusion
  • 8. Acknowledgement
Please log in to read the full text.
Register for Campus? More
Login Poster
Previous Next