5m Early stage demo of the new

Question

<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 · Answer

Neat Is this based on a standardized state machine encoding

Alex Cruise · Answer

and or datalog prolog implementation wink

Jason Morris · Answer

Specifically stable model constraint answer set programming implemented in the s CASP library for SWI Prolog

Alex Cruise · Answer

when I try to run <http dev blawx com 6 test tweety >

Alex Cruise · Answer

oh it looks like it might be working anyway it s just that the right sidebar wasn t visible

Jason Morris · Answer

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 · Answer

heh

Alex Cruise · Answer

<http dev blawx com 6 test does anything fly > says No models even when I introduce a penguin and a non penguin

Jason Morris · Answer

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

Jason Morris · Answer

I don t see a penguin on that link Did you save first

Alex Cruise · Answer

No I didn t want to overwrite anything slightly smiling face

Alex Cruise · Answer

Saved now

Alex Cruise · Answer

aha saving is required it doesn t use transient states

Jason Morris · Answer

Another of the issues on the backlog yeah

Alex Cruise · Answer

Looks pretty neat anyway The chatbot interface seems potentially useful but the underlying ideas are cool

Alex Cruise · Answer

Does the CLEAN markup get automatically translated to rules in any way or just serve as something more akin to machine readable doc

Jason Morris · Answer

It s just markdown for LegalDocML

Jason Morris · Answer

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 · Answer

yeah that sounds potentially fruitful

Jason Morris · Answer

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 · Answer

Verification of the learned model will be a pain though

Jason Morris · Answer

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 · Answer

I think this concept might be useful for state machine modeling not just legal stuff slightly smiling face

Jason Morris · Answer

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

Jason Morris · Answer

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 · Answer

startuplife

Jason Morris · Answer

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 rage