The key part is that the court system can correct for a bug before the law itself is changed; it's a way to fix things as the code is being executed for a particular case, before the developers have even identified how/if the bug applies for other cases and figured out a general fix, much less implemented one.
In each case it may depend upon the 'application'.
For easily-understood fields undergoing well-scrutinized legal code changes it's (presumably) likely that legal drafting issues can be caught and fixed early.
Conversely, in software projects (even open source ones) where the users and authors are few and/or fail to pay attention to mistakes and errors, it could take years to report and fix issues.
All that said, in the presence of a mindful, careful and effective engineering team with responsive users, it does seem that software - or at least software processes like source control, code review and the democratized ability to contribute code changes - has an evolutionary advantage.
The premise: the judiciary is one source of authority; the legislature is another. If we treat contracts and laws as executable programs and specifications, we want to find bugs at compile time, because handling exceptions at run-time is called "going to court".
How do we find bugs at compile time? Static analysis. Formal methods. Formal verification methodologies (Lamport's TLA+, MIT's Alloy) applied to contracts and laws make it possible to SAT-solve for loopholes ("sploits") that violate LTL/CTL specifications. Once law is code you can go full white-hat/black-hat. Automate the fuzzing. https://www.theatlantic.com/technology/archive/2017/09/savin...
Maybe we don't always want "law as code" ... for, say, criminal law. Judicial discretion is important. Human judgement matters. Though if an overworked public defender can only spare two hours out of the hundred you deserve, the robolawyer starts to sound more attractive. What if we send Watson to law school? If you're hunting for a way to stay out of jail, wouldn't you want Deep Blue and AlphaGo to help you find it?
https://www.nytimes.com/interactive/2019/01/31/us/public-def...
There are plenty of black-and-white areas where the rules don't invite human interpretation: mostly things to do with finances -- like how DoNotPay.com can help apply for unemployment. Even in those domains, there are deep, deep pockets lobbying against the kinds of freedom (as in speech, and as in beer) that "law as code" promises.
https://www.propublica.org/article/inside-turbotax-20-year-f...
But, you ask, what about the knowledge acquisition bottleneck? Ah, yes, the AI Winter. Ontologies (SUMO, OWL, UFO-L), visual modeling notations (BPMN, DMN), and a new generation of tools (Flora-2, Protégé) take a new whack at that problem without going anywhere near machine learning and neural nets, which typically lack the nuance you need when every comma counts.
https://www.bbc.com/worklife/article/20180723-the-commas-tha...
Spring is coming. The vision for computable law, as laid out by Michael Genesereth at Stanford's CodeX Center, is for software that does for legal reasoning what the spreadsheet does for quantitative reasoning. (Who's Michael Genesereth? You've heard of Russell & Norvig's textbook on AI. He was Stuart Russell's Ph.D advisor.)
https://dl.acm.org/doi/10.1145/1165485.1165517
Is there any money in this? Hell, yes. In the US, DoNotPay is running a pitch-perfect Christensen disruption playbook. Outside the US, the EU has issued a half-million-euro tender for exactly the Rules As Code thing mentioned above: machine-readable-and-executable regulations. See section 1.4.2 of the PDF at https://etendering.ted.europa.eu/document/document-old-versi...
Oh, and as of last month, Singapore has just thrown $10M behind a project to turn the "law as code" vision into open source software that you can clone off Github.
I've been researching computational law since 2015, and a picture of the future legal tech stack is coming together in my head: open-source, open-standards, laws and contracts drafted in a domain-specific language from the start; libraries of clauses, linters and interpreters and unit testers and theorem provers built into the IDE, that find bugs in contracts in real time as you edit; compilers to English and other languages; model-driven architectures that flow from the specification to the app.
Once that legal stack is downloadable and accessible to the geeks of the world, then, as Joshua Browder would say, DoNotPay a law firm thousands of dollars just to copy and paste a Word doc out of their library. The law firm is not the customer -- as Atrium proved, expensively.
To help move this stack out of my head and into Github, the SG government is funding the development of open-source software targeted to real-world use cases, for drafting rules and contracts in a DSL. They've approved a grant for my small team (hi, Alexis! <3) to hire people to make it happen.
https://www.thetechnolawgist.com/2020/03/31/legalese-singapo...
If you're in a position to move to Singapore (whenever air travel reboots) ... and have skills in obscure but powerful technologies (or want to gain those skills) ... and want to help design a language that could be the basis for the next iteration of the legal industry ... we're hiring:
https://computational.law/hiring
I can see the attraction in making rules/regulation as code. But there is a downside we should be cautious of. Making law into code doesn't necessarily make it more readable/understandable or clearer for humans. In fact, making it into code will make it scalable to add lots of rules (very prescriptive, not derivable from a set of core principles) making them hard to comprehend for anyone but a rules evaluation engine. Anyone who has implemented a business rules engine and operated it in a complex workflow domain (like say e-commerce or banking) knows what I'm talking about. Then, when the machine renders judgement, we will need technical engineers to debug/explain/interpret why the machine evaluated all the rules to this particular judgement. There will also be potential for modeling the legal context of a particular case incorrectly while feeding it to the machine which can make the machine render incorrect judgment. Now, how will you appeal this decision?
Maybe force the lawmakers to include a text explaining the "spirit" of the law, also including indicators to the law effectiveness. For example, a law is implemented to bring down then "car accidents per million" indicator. If one year later car accidents are the same or more then the law is scrapped.
What you propose of robo-lawyers and law as code sounds as the script for a futuristic Kafka's "The Process" as an episode of Black Mirror.
This made my day! Wish you all the best and hope that this will materialize. Who needs skyscrapers and stuff (Marc is writing about) if you can have computational law?! In the meantime I will try to escape the country that will adopt such techniques the last: ol Germany
PeterisP|5 years ago
jka|5 years ago
For easily-understood fields undergoing well-scrutinized legal code changes it's (presumably) likely that legal drafting issues can be caught and fixed early.
Conversely, in software projects (even open source ones) where the users and authors are few and/or fail to pay attention to mistakes and errors, it could take years to report and fix issues.
All that said, in the presence of a mindful, careful and effective engineering team with responsive users, it does seem that software - or at least software processes like source control, code review and the democratized ability to contribute code changes - has an evolutionary advantage.
mengwong|5 years ago
(TL;DR: yes, "law is code". And $10M of fresh funding says law should be open-source code, to be precise. Hackers wanted.)
Background: the "Rules as Code" movement is bringing software engineering practices to the drafting of law. https://govinsider.asia/inclusive-gov/four-things-you-should...
The premise: the judiciary is one source of authority; the legislature is another. If we treat contracts and laws as executable programs and specifications, we want to find bugs at compile time, because handling exceptions at run-time is called "going to court".
How do we find bugs at compile time? Static analysis. Formal methods. Formal verification methodologies (Lamport's TLA+, MIT's Alloy) applied to contracts and laws make it possible to SAT-solve for loopholes ("sploits") that violate LTL/CTL specifications. Once law is code you can go full white-hat/black-hat. Automate the fuzzing. https://www.theatlantic.com/technology/archive/2017/09/savin...
Maybe we don't always want "law as code" ... for, say, criminal law. Judicial discretion is important. Human judgement matters. Though if an overworked public defender can only spare two hours out of the hundred you deserve, the robolawyer starts to sound more attractive. What if we send Watson to law school? If you're hunting for a way to stay out of jail, wouldn't you want Deep Blue and AlphaGo to help you find it? https://www.nytimes.com/interactive/2019/01/31/us/public-def...
There are plenty of black-and-white areas where the rules don't invite human interpretation: mostly things to do with finances -- like how DoNotPay.com can help apply for unemployment. Even in those domains, there are deep, deep pockets lobbying against the kinds of freedom (as in speech, and as in beer) that "law as code" promises. https://www.propublica.org/article/inside-turbotax-20-year-f...
But, you ask, what about the knowledge acquisition bottleneck? Ah, yes, the AI Winter. Ontologies (SUMO, OWL, UFO-L), visual modeling notations (BPMN, DMN), and a new generation of tools (Flora-2, Protégé) take a new whack at that problem without going anywhere near machine learning and neural nets, which typically lack the nuance you need when every comma counts. https://www.bbc.com/worklife/article/20180723-the-commas-tha...
Spring is coming. The vision for computable law, as laid out by Michael Genesereth at Stanford's CodeX Center, is for software that does for legal reasoning what the spreadsheet does for quantitative reasoning. (Who's Michael Genesereth? You've heard of Russell & Norvig's textbook on AI. He was Stuart Russell's Ph.D advisor.) https://dl.acm.org/doi/10.1145/1165485.1165517
Is there any money in this? Hell, yes. In the US, DoNotPay is running a pitch-perfect Christensen disruption playbook. Outside the US, the EU has issued a half-million-euro tender for exactly the Rules As Code thing mentioned above: machine-readable-and-executable regulations. See section 1.4.2 of the PDF at https://etendering.ted.europa.eu/document/document-old-versi...
Oh, and as of last month, Singapore has just thrown $10M behind a project to turn the "law as code" vision into open source software that you can clone off Github.
I've been researching computational law since 2015, and a picture of the future legal tech stack is coming together in my head: open-source, open-standards, laws and contracts drafted in a domain-specific language from the start; libraries of clauses, linters and interpreters and unit testers and theorem provers built into the IDE, that find bugs in contracts in real time as you edit; compilers to English and other languages; model-driven architectures that flow from the specification to the app.
Once that legal stack is downloadable and accessible to the geeks of the world, then, as Joshua Browder would say, DoNotPay a law firm thousands of dollars just to copy and paste a Word doc out of their library. The law firm is not the customer -- as Atrium proved, expensively.
To help move this stack out of my head and into Github, the SG government is funding the development of open-source software targeted to real-world use cases, for drafting rules and contracts in a DSL. They've approved a grant for my small team (hi, Alexis! <3) to hire people to make it happen. https://www.thetechnolawgist.com/2020/03/31/legalese-singapo...
(Why Singapore? Fun fact: it's the only country in the world whose prime minister has degrees in mathematics and computer science.) https://twitter.com/leehsienloong/status/595166789660647426?...
If you're in a position to move to Singapore (whenever air travel reboots) ... and have skills in obscure but powerful technologies (or want to gain those skills) ... and want to help design a language that could be the basis for the next iteration of the legal industry ... we're hiring: https://computational.law/hiring
vinay_ys|5 years ago
lucio|5 years ago
What you propose of robo-lawyers and law as code sounds as the script for a futuristic Kafka's "The Process" as an episode of Black Mirror.
WanderPanda|5 years ago
0x8BADF00D|5 years ago
atoav|5 years ago