Discover and read the best of Twitter Threads about #rulesascode
Most recents (8)
After the #ProLaLa'2022 conference and its wonderful talks, I had the chance to discuss with a lot of #rulesascode luminaries, including @gsileno @mengwong @LThorneMcCarty. With these new insights, here's my take on the state of the art ⬇️ 🧵
[1/15] The logic programming community has probably already discovered all the major challenges, paradoxes and schools of thoughts about translating law into code from the 70's to the 90's. For new PhD students, reading these papers is absolutely necessary!
[2/15] I included a short biblio in my thesis (merigoux.ovh/assets/Brouill…) but you can find a lot of references in Giovani's thesis (gsileno.net/articles/silen…) or @LThorneMcCarty's latest position paper (researchgate.net/profile/L-Thor…).
OK, new version, short 🧵. What do we need from a production-quality #RulesAsCode tool? Web based. Open Source. Free. Code and law, side-by-side, literate programming style. Declarative, logical. Encoding annotations. Tests. Sophisticated reasoning around uncertainty. 1/
Visual interface for natural language explanations. Good structural isomorphism between law and code. Ability to deal well with defeasibility. Date math. Number math. Abductive reasoning. Explainable negations. Minimum stable models. Easy to write. Easy to read. Web API. 2/
This is the closest thing I have seen. SWISH is an online literate programming environment for SWI-Prolog, which has now re-implemented s(CASP) as a @SwiProlog_ library. Here is the r34 encoding I did last year as a SWISH notebook. 3/
swish.swi-prolog.org/p/r34v2.swinb
swish.swi-prolog.org/p/r34v2.swinb
This year, popl22.sigplan.org has a brand new workshop: Programming Languages and the Law (ProLala)! Please submit extended abstracts about legal language design, static analysis, program synthesis or verification before Oct 28th. More details at popl22.sigplan.org/home/prolala-2…
Law at large underpins modern society, codifying and governing many aspects of citizens’ daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions.
But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm.
I just finished teaching a 2 months class on Computational law at Epitech (a french software engineering school). Here is how it went…
I start with serie of 3 half day workshop through video conference where I start by going briefly through the history of the field, starting with Layman E Allen attempt to formAlise legalise in 1957 digitalcommons.law.yale.edu/cgi/viewconten…
Then moving to Legol, legol 2 and prolog with M. J. SERGOT and team work on British Nationality Act as a logic program doc.ic.ac.uk/~rak/papers/Br…
Jason Morris (@RoundTableLaw) has published demos of various tech relevant for legislative drafters interested in #RulesAsCode.
Most are on his YouTube site youtube.com/c/JasonMorrisR…
There are several there for his Blawx system, also illustrated at blawx.com/2020/01/exampl…
1/3
Most are on his YouTube site youtube.com/c/JasonMorrisR…
There are several there for his Blawx system, also illustrated at blawx.com/2020/01/exampl…
1/3
On YouTube Jason also has demos of two other systems -
Oracle Policy Automation and
DocAssemble (used with Blawx)
#RulesAsCode
2/3
Oracle Policy Automation and
DocAssemble (used with Blawx)
#RulesAsCode
2/3
On the "Medium" site Jason has written up worked explanations for -
Normative AI (on a Mental Health Act) medium.com/@jason_90344/a…
DataLex (on same Act) medium.com/@jason_90344/r…
Ergo Lite (on a q from US/Can Law School Admission Test) medium.com/@jason_90344/a…
#RulesAsCode
3/3
Normative AI (on a Mental Health Act) medium.com/@jason_90344/a…
DataLex (on same Act) medium.com/@jason_90344/r…
Ergo Lite (on a q from US/Can Law School Admission Test) medium.com/@jason_90344/a…
#RulesAsCode
3/3
1/ I believe rules as code will be the most important societal and technological change of the 2020's. It will be impacting both the physical and digitals world. But what is it? and why is it important? Or why you should care? 👇 #rulesascode
2/ Today society is governed by the Rules of Law, Regulation and Contract that independent participating actors abide to. You have no choose, you need to obey law.
3/ Overtime these rules gain in complexity and length. They are written in legalese, a different language than the common language with its own vocabulary and sentences structures. You also need training to be able to fully understand them, or ask a trained lawyer.
Here's a case study that we (@verbman @curt_is_online) hope can link the great open discussions happening online to a tangible use case for #rulesascode and #lawascode. Ideally, referring to the same law will enable more detailed discussion. Rip it apart.
medium.com/@tom_5050/a-ru…
medium.com/@tom_5050/a-ru…
@mireillemoret @laurence_diver @ColinGavaghan @nullary @RoundTableLaw @mengwong @lilianedwards @lawgeeknz @piacandrews @nardwebster @scott_pm @mchardcastle @TimdeSousa @mattwadd @DMerigoux @matti_sg @BR3NDA @tjharrop @robholmesnz @craigaatkinson @gthurstonnz
Great to see this getting attention. Who is prepared to code up the relevant legislation in the case study and document their process? Will anyone be making an attempt?
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews I am only an egg … if I appear well-informed it is merely because the real experts who attend AI conferences are rarely allowed back out into the general population.
See proceedings e.g. dblp.org/db/conf/icail/… and link.springer.com/book/10.1007/9…
See proceedings e.g. dblp.org/db/conf/icail/… and link.springer.com/book/10.1007/9…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews If you are a classically trained legal practitioner just dipping toes into this stuff after reading a Susskind book or two, you might feel the same way that a medieval alchemist might, on reading papers on quantum mechanics – baffled, intrigued, overwhelmed. I sure feel that way.
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews As a side hobby, I'm developing a curriculum intended to be taught in parallel with intro-to-law, covering the basics of (symbolic) AI, computational linguistics, software engineering practice, logic programming, ontologies, and constraint planning problems.
