Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them under a single inducti...
Daniel Romero Schellhorn, Till Mossakowski, Björn Gehrke