* 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 :)
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 )
constitutional :: Constitution -> (Law | Reform) -> Boolean
I really would like to see if one can train a model like that. seeing what gpt-3 can do, it seems that we are not that far away to achieve something like an AI lawyer.
hnchat seems dead from a quick google :(
Deeply interested in this, thought a lot about this before, but can't work on it right now (at my startup). Do you have a blog or something? If private, pls shoot me a mail (address in bio)
Wouldn't it be great to have laws managed in a git repo.
Computational Law derives its power from its emphasis on deductive reasoning. As such, it simply cannot be applied in cases requiring analogical or inductive reasoning. Fortunately, it is sometimes the case that there are enough judicial rulings that the net result is, in effect, a set of categorical constraints even where the original wording of the regulations is not definitive. And, in such cases, Computational Law can be applied to the combination of regulatory and judicial law.
I guess this is why the French programmers are concentrating on the tax code which might be more precisely written!
1) Getting US laws encoded in GitHub
2) Building a better proof of identity/residence verification provider that feels more like Authy and less like shitty SSN/identity questions, which provides a semi-anonymous user ID and geo range
3) Building a distributed consensus layer on top of that which makes it easy to conduct and tally anonymous polls across geo ranges for identity/geo verified users
At least here in Norway there tends to be a strong emphasis on laws being readable by the common people so regular people better know their rights.
E.g. we read consumer laws in high school and that was easy. Older laws are written in a very lawyer like Danish form. But there is continuous effort to simplify law texts.
While I do have an affinity for rigorous definitions I think this could make the law text less accessible to common people.
Also based upon what I know of the US system, it would not work as t he Us system is strongly based on past rulings rather than paragraphs. That makes a formalized approach much harder.
I get regular hits while looking up Rust just because there’s a game with the same name.
Also I think the examples are actually quite comprehensible even to non french speakers.
Most complaw research happen in the logic department of universities.
- blawx.com use ergo 2 in the backend
- Kowalski ( author of iso prolog ) wrote a paper on the topic in the 80's http://www.doc.ic.ac.uk/~rak/papers/British%20N ationality%20Act.pdf
Also Prolog does not solve all the problems related to programming the law, especially it doesn't have a nice way to handle redefinitions of variables with legislative exceptions as described https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3088206
I kid, I kid...
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.
That is a challenge in writing billing or insurance policies management applications.
