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.
I don't see a penguin on that link. Did you save first?
06/01/2022, 4:28 PM
No, I didn’t want to overwrite anything 🙂
aha, saving is required, it doesn’t use transient states
06/01/2022, 4:30 PM
Another of the issues on the backlog, yeah. 😃
06/01/2022, 4:31 PM
Looks pretty neat anyway! The chatbot interface seems potentially useful but the underlying ideas are cool.
Does the CLEAN markup get automatically translated to rules in any way, or just serve as something more akin to machine-readable doc?
06/01/2022, 4:32 PM
It's just "markdown for LegalDocML".
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?
06/01/2022, 4:35 PM
yeah, that sounds potentially fruitful
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.
06/01/2022, 4:36 PM
Verification of the learned model will be a pain though 😃
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.
06/01/2022, 5:33 PM
I think this concept might be useful for state machine modeling, not just legal stuff 🙂
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.
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.)
06/01/2022, 5:43 PM
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. 😡