|
|
|
|
|
|
by genrilz
793 days ago
|
|
|
Based on the article, it seems like the Cyc had ways to deal with inconsistency. I don't know the details of how they did it, but Paraconsistant Logics [0] provide a general way to prevent any statement from being provable from an inconsistency. [0] https://en.wikipedia.org/wiki/Paraconsistent_logic |
|
|
"Mathematical framework and rules of paraconsistent logic have been proposed as the activation function of an artificial neuron in order to build a neural network"