Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model — mentioned by caleb-allen

Fri, 27 Mar 2020 15:36:08 GMT

Funny, coincidentally I recently read a paper [0] arguing (among other things) that truth values should be completely removed--that for software engineering they are largely useless and cause mistakes. The argument goes that a True False value will "mean" different things in a context, but then when trying to model a complex entity there are inevitably leakages of definitions. For formal verification of existing Boolean logic, however, it reasons that "verifying" our truth values would be very helpful, by exploring and modeling the state space that is made up by the composition of multiple…

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

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model — mentioned by eternalban

Fri, 10 Apr 2015 17:39:47 GMT

Re. "logic of truth" vs. "logic of resources". Reminds me of Carl Hewitt. Seen this? http://arxiv.org/abs/0812.4852 (search for { contra godel, direct logic }) Can't find it but he quotes a really interesting exchange between Wittgenstein and Turing (who was attending his class) where W in his inimitable style just waves away paradoxes and says "so what?"

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

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model · HackerPapers discussions

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model — mentioned by caleb-allen

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model — mentioned by eternalban