Title
#share-your-work
j

Jason Morris

05/31/2022, 10:53 PM

https://youtu.be/C8AkqwS_dJQ

(5m) Early-stage demo of the new auto-chatbot feature I'm working on in Blawx. Interested to know whether it's a compelling motivation for "rules as code", and why or why not.
Alex Cruise

Alex Cruise

06/01/2022, 4:11 PM
Neat! Is this based on a standardized state machine encoding?
4:12 PM
and/or datalog/prolog implementation 😉
j

Jason Morris

06/01/2022, 4:15 PM
Specifically, stable model constraint answer set programming, implemented in the s(CASP) library for SWI-Prolog.
Alex Cruise

Alex Cruise

06/01/2022, 4:21 PM
4:22 PM
oh, it looks like it might be working anyway, it’s just that the right sidebar wasn’t visible
j

Jason Morris

06/01/2022, 4:24 PM
Yeah, don't look too hard, or you will see my shame. And jsyk the live demo doesn't have the chatbot yet.
Alex Cruise

Alex Cruise

06/01/2022, 4:26 PM
heh
4:26 PM
http://dev.blawx.com/6/test/does_anything_fly/ says “No models” even when I introduce a penguin and a non-penguin
j

Jason Morris

06/01/2022, 4:26 PM
The sidebar should really pop open when people click run. Long list of stuff like that to fix, but I'm focused on some proof of concept issues first.
4:28 PM
I don't see a penguin on that link. Did you save first?
Alex Cruise

Alex Cruise

06/01/2022, 4:28 PM
No, I didn’t want to overwrite anything 🙂
4:29 PM
Saved now
4:29 PM
aha, saving is required, it doesn’t use transient states
j

Jason Morris

06/01/2022, 4:30 PM
Another of the issues on the backlog, yeah. 😃
Alex Cruise

Alex Cruise

06/01/2022, 4:31 PM
Looks pretty neat anyway! The chatbot interface seems potentially useful but the underlying ideas are cool.
4:32 PM
Does the CLEAN markup get automatically translated to rules in any way, or just serve as something more akin to machine-readable doc?
j

Jason Morris

06/01/2022, 4:32 PM
It's just "markdown for LegalDocML".
4:34 PM
I'm skeptical of attempts to auto-generate code from legal text. DataLex had had limited success with a weaker semantics. No one else has shown any progress. Eventually, Blawx might generate a dataset that would be useful for training a ML approach that would maybe get you started?
Alex Cruise

Alex Cruise

06/01/2022, 4:35 PM
yeah, that sounds potentially fruitful
j

Jason Morris

06/01/2022, 4:35 PM
There are also people in Finland working on tech for legal drafters that would annotate the relationship between terms in legislation and ontological concepts say the source, which is a possible approach, but hard to get adopted.
Alex Cruise

Alex Cruise

06/01/2022, 4:36 PM
Verification of the learned model will be a pain though 😃
j

Jason Morris

06/01/2022, 4:37 PM
And there is LegalRuleML, which is a logical target for attempts to extract rules from legal text. So some of the pieces exist. Just no stack that actually works, yet.
Alex Cruise

Alex Cruise

06/01/2022, 5:33 PM
I think this concept might be useful for state machine modeling, not just legal stuff 🙂
j

Jason Morris

06/01/2022, 5:39 PM
I bet you're right. The visual code interface has wide applicability. Constraint answer set programming has wide applicability, but less so. I don't know about state machine modeling specifically, but formal verification tasks generally have a tonne of overlap with what s(CASP) is good at. I have often thought one potential use-case would be to generate a set of inputs and corresponding outputs that could be used to verify software built in other languages, for example.
5:43 PM
If you create an example of state machine modeling in Blawx, send me a link or a pull request. Blawx doesn't have an "export" feature, in this version, yet. (Did I mention the list is long? It's a long-ass list.)
Alex Cruise

Alex Cruise

06/01/2022, 5:43 PM
#startuplife
j

Jason Morris

06/01/2022, 5:49 PM
Seriously. If you have a better use case, let me know. Startup life is hard enough if your target clients are NOT technologically self-defeating governments that take a year to do security audits of bug fixes. 😡