@marclauritsen introduced me to Luigi Logrippo, who has been working on law and logic for many years. Luigi has a wonderful compendium of thoughts and references at LegalLogicBlog. I love the breadth. A list at Referee focuses on machine judgment.

Machine adjudication of course happens when the traffic light goes red or the magnetic card at the hotel stops letting you in. The references are to something deeper.

CmA is totally superficial. It focuses on text on pages, character strings. Blah, blah, Ginger, blah, blah.” By making it easy to group and reuse character strings (movable thoughts, as opposed to movable type?) it enables data treatment of them. With use, the system will be able to anticipate documents, hence consequences. Presenting again the issue of machine judgment.