Citation: Leon Qiu / Yiwei Lu / Burkhard Schafer, Formalisation Memories, in: Jusletter IT 28 March 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
Jurius is your personal assistant for all questions related to Weblaw. Whether you need information about subscriptions, products, or services, Jurius is here to help. Just ask your question and receive immediate answers.
