I find this fascinating, as it raises the possibility of a single framework that can unify neural and symbolic computation by "defuzzing" activations into what are effectively symbols. Has anyone looked at the possibility of going the other way, by fuzzifying logical computation?

> fuzzifying logical computation?

Isn't that basically what the sigmoid operator does? Or more in the direction of averaging many logical computations, we have random forests.