Very interesting presentation on the "uncanny valley" of controlled natural languages for representing legal knowledge... Talking about Attempto Controlled English, and Logical English, L4, Catala, and some that I haven't heard of before, like "Lexon". Insightful analysis of the problem of going from declarative clauses in controlled natural langauge to imperative functions in the underlying technology, without the user necessarily knowing what that means for what the code version actually says.

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/

Recap of the first-ever @UAlbertaLaw access to justice technology competition!

Please RT and share with your #LegalTech friends!

First, an introduction to the competitors:
1/ Group 1 created a @docassemble interview that streamlined the criminal client intake process at @slsedmonton by, in some cases, weeks(!). A paper-based process happening at two physically disparate offices, between 3 different people (client, caseworker, and dayleader)... 2/

Lawyer and #legaltech friends in #Alberta. There isn't a lot of good news right now, with #coronavirus or anything else. But there may be an opportunity to do something, and I'd like your help.

Courts are busy places. Social distancing is often not a possibility.
1/n Staying away from court will be a part of good social distancing practice. But staying away from court when you have a date on which you are obliged to appear can exacerbate your existing problems, especially for self-represented litigants.

2/n