31–38 of 38 posts
I can’t think a worse name for a programming language that of an actual language.
The human language is called Catalan in English and català in Catalan.
I get regular hits while looking up Rust just because there’s a game with the same name.
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.
Cool idea but also comes across as an ultra French idea. French court ruling a as far as I understand are very technocratic. You just must paragraphs applied to reach verdict. 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 la…
Earlier quoted context omitted.
How do those similar projects actually handle ambiguously written laws? All that I see in Catala paper is basically "let this whole thing bounce back and forth between lawyer and programmer until it becomes unambiguous."
To be honest I don't really know in detail. There is an interesting paper about "Computational Law": http://logic.stanford.edu/publications/genesereth/complaw.pd... which says (§3): 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…
This is something I've given some thought to since encountering logic programming. Could something like this be done in say, Prolog?
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
So what is the actual benefit of having the law represented in a programming language?