Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
a
Alex Cruise
06/01/2022, 4:11 PMNeat! Is this based on a standardized state machine encoding?
and/or datalog/prolog implementation 😉
j
Jason Morris
06/01/2022, 4:15 PMSpecifically, stable model constraint answer set programming, implemented in the s(CASP) library for SWI-Prolog.
a
Alex Cruise
06/01/2022, 4:21 PMwhen I try to run http://dev.blawx.com/6/test/tweety/
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 PMYeah, don't look too hard, or you will see my shame. And jsyk the live demo doesn't have the chatbot yet.
a
Alex Cruise
06/01/2022, 4:26 PMheh
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 PMThe 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?
a
Alex Cruise
06/01/2022, 4:28 PMNo, I didn’t want to overwrite anything 🙂
Saved now
aha, saving is required, it doesn’t use transient states
j
Jason Morris
06/01/2022, 4:30 PMAnother of the issues on the backlog, yeah. :)
a
Alex Cruise
06/01/2022, 4:31 PMLooks 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?
j
Jason Morris
06/01/2022, 4:32 PMIt'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?
a
Alex Cruise
06/01/2022, 4:35 PMyeah, that sounds potentially fruitful
j
Jason Morris
06/01/2022, 4:35 PMThere 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.
a
Alex Cruise
06/01/2022, 4:36 PMVerification of the learned model will be a pain though :)
💯 1
j
Jason Morris
06/01/2022, 4:37 PMAnd 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.
a
Alex Cruise
06/01/2022, 5:33 PMI think this concept might be useful for state machine modeling, not just legal stuff 🙂
j
Jason Morris
06/01/2022, 5:39 PMI 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.)
a
Alex Cruise
06/01/2022, 5:43 PM#startuplife
j
Jason Morris
06/01/2022, 5:49 PMSeriously. 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. 😡