11–20 of 38 posts
I can’t think a worse name for a programming language that of an actual language.
> The language is named after Pierre Catala, a professor of law who pionneered the French legaltech by creating a computer database of law cases, Juris-Data.
It’s such a French thing to write software supporting French and English while making all the examples in README French...
Also I think the examples are actually quite comprehensible even to non french speakers.
I can’t think a worse name for a programming language that of an actual language.
* British national act as a logic program (1982): the paper that is the based of most current effort in this domain https://www.researchgate.net/publication/234805335_The_Briti...
* Standford codex LSP initiative that try to standarize the format in which legal rule will be encoded https://law.stanford.edu/publications/developing-a-legal-spe... (as far as I know the initiative is still going, don't hesitate to contact oliver goodenough if you want to get involved)
* OECD recently publish (2 weeks a go) a full repport on current initiative in the domain https://www.oecd-ilibrary.org/governance/cracking-the-code_3...
* There was a workshop at last ICAIL where a lot of people showed their progress on the topic (link to all demo video in this gdoc : https://docs.google.com/document/u/0/d/1-7cJ0KsYzQ8IOY3L_bYX...)
* MIT started a journal on the topic ~1 year ago https://law.mit.edu/
If you want to work on this topic DM me :)
If you are intrigued by the idea that law can and will be represented as computer code / data, here are a few link to go deeper : * British national act as a logic program (1982): the paper that is the based of most current effort in this domain https://www.researchgate.net/publication/234805335_The_Briti... * Standford codex LSP initiative that try to standarize the format in which legal rule will be encoded https:/…
If you are intrigued by the idea that law can and will be represented as computer code / data, here are a few link to go deeper : * British national act as a logic program (1982): the paper that is the based of most current effort in this domain https://www.researchgate.net/publication/234805335_The_Briti... * Standford codex LSP initiative that try to standarize the format in which legal rule will be encoded https:/…
Do you think it might be possible to eventually use a Deep Learning model like GPT-3 to do the formalisation for us? It seems like a herculean task to do it by hand.
Short/mid term I believe that we will have tool allowing lawyer / regulator to draft in a formal form from which we will derive the legaleese. The stanford LSP is pushing in this direction and there is early tentative tools already published such as blawx or Oracle Policy Automation. I m aware of at least 3 other tool under development that push for this paradigm.
Fun fact one of the earliest effort in computational law involve lawyer writing contract in a formal english in ~1957 (original paper still full of good ideas on legal formalism https://digitalcommons.law.yale.edu/cgi/viewcont )
We implemented tax law. Split each paragraph as a javadoc for method. Manually calculated data were read from excel sheets, and unit tested. We even used Jira for bug tracking and integration.