MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations — mentioned by alexisread

Sun, 20 Aug 2023 22:43:44 GMT

I guess you get a combinatorial explosion for binary operators: https://en.wikipedia.org/wiki/Three-valued_logic That's not to say that you can't get some value out of it. SQL is probably the closest language currently to implement TVL, and there have been recent works on datalog as well: https://arxiv.org/pdf/2202.01718.pdf Datalog has generally better defined reasoning than SQL, and can kinda serve duty for typechecking, formal verification. It's worth noting that many languages have the (disjointed) concept of uninitialised values which are equivalent to TVL (Also note nullable types in…

Paper and discussion history. A mention is not an endorsement.

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations · HackerPapers discussions

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations — mentioned by alexisread