@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews I am only an egg … if I appear well-informed it is merely because the real experts who attend AI conferences are rarely allowed back out into the general population.
See proceedings e.g. dblp.org/db/conf/icail/… and link.springer.com/book/10.1007/9…
See proceedings e.g. dblp.org/db/conf/icail/… and link.springer.com/book/10.1007/9…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews If you are a classically trained legal practitioner just dipping toes into this stuff after reading a Susskind book or two, you might feel the same way that a medieval alchemist might, on reading papers on quantum mechanics – baffled, intrigued, overwhelmed. I sure feel that way.
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews As a side hobby, I'm developing a curriculum intended to be taught in parallel with intro-to-law, covering the basics of (symbolic) AI, computational linguistics, software engineering practice, logic programming, ontologies, and constraint planning problems.
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews The first lesson starts with the semantics of "and" vs "or". Wikipedia gets right into it: en.wikipedia.org/wiki/Exclusive…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews Waiter: "Did you enjoy your meal? Wonderful. Can I get you anything else? You may order espresso and vanilla ice cream."
1: "Great, I'll have an espresso."
2: "Vanilla ice cream for me."
Waiter: "You misunderstand. The only thing available at this point is an affogato."
1: "Great, I'll have an espresso."
2: "Vanilla ice cream for me."
Waiter: "You misunderstand. The only thing available at this point is an affogato."
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews What does this have to do with law? Well, if your name is John Lee Hill, quite a lot, it turns out: cite.case.law/la/245/119/556…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews State v. Hill, 245 La. 119, 157 So. 2d 462 (1963) was the subject of Layman Allen's article Normalized Legal Drafting and the Query Method, 1978. drive.google.com/file/d/0BxOaYa…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews In normal programming, lists are given as
[ foo, bar, baz ]
In L4, the syntax for lists can be
[ foo, bar & baz ]
[ foo, bar && baz ]
[ foo, bar | baz ]
representing "distributive and", "conjunctive and", and "exclusive or". (This is not yet finalized.)
[ foo, bar, baz ]
In L4, the syntax for lists can be
[ foo, bar & baz ]
[ foo, bar && baz ]
[ foo, bar | baz ]
representing "distributive and", "conjunctive and", and "exclusive or". (This is not yet finalized.)
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews With any luck, worldwide adoption of symbolic drafting, as Layman Allen would have wished, will put an end to this sort of nonsense: bbc.com/worklife/artic…
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews Will lawyers have to learn programming? Not necessarily – WYSIWYG editing could be facilitated by controlled natural languages. Bidirectional compilation to English and other natural languages has been demonstrated in principle: researchgate.net/publication/22…
(Hence isomorphism.)
(Hence isomorphism.)
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews What's missing? A learnable, usable, domain-specific language semantically compatible with LegalRuleML and related standards like OWL, BPMN, SBVR, and DMN, and automatically extractable to English and also to Prolog / PDDL / F-Logic / DocAssemble / OpenFisca.
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews @roundtablelaw has demonstrated, with @BlawxAI, the possibilities of structured, symbolic drafting. Some future evolution of a language and IDE like that is likely to be taught in law schools of the future. Actually, not just law schools – it'll be learned just like spreadsheets.
@TimdeSousa @mattwadd @BrigetteMetzler @MonicaPalmirani @metju_betju @AdamWyner @OpenFisca @nardwebster @BR3NDA @tjharrop @piacandrews @RoundTableLaw @BlawxAI Thank you for coming to my TED talk
and to the #RulesAsCode community for sharing your work-in-progress – I am particularly excited about the work happening in NZ, tip of the hat to @nardwebster and @verbman.
If you're doing an RaC project please let me know, maybe I can help?
and to the #RulesAsCode community for sharing your work-in-progress – I am particularly excited about the work happening in NZ, tip of the hat to @nardwebster and @verbman.
If you're doing an RaC project please let me know, maybe I can help?
