If all you are trying to do is get a usable data structure, and express it in a DSL, on the basis of prose, that's maybe doable. Anything more than that it gets sketchy. If you need more than a data structure, and if you need to extract it from something other than prose, it seems we still aren't there. Yet, anyway. But promising.
01/31/2023, 7:50 AM
Interesting. What makes you say so? Have you seen other examples or looked into this more? I'm interested to hear details if you won't mind typing some more 🙂
01/31/2023, 6:50 PM
Yeah, sure. Personal experimentation, and things I've read about attempting to extract semantic meaning from legal texts (which aren't regular prose). I have been able to extract predicates from a paragraph of law, for example, but trying to extract logical expressions that model more than extremely simple statements in a FOL-like way has been frustrating.