Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
Daniel Romero Schellhorn, Till Mossakowski, Björn Gehrke
Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them un…
cs.AI2026
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
Daniel Romero Schellhorn, Till Mossakowski
ULLER (Unified Language for LEarning and Reasoning) offers a unified first-order logic (FOL) syntax, enabling its knowledge bases to be used directly across a wide range of neurosy…