Semantica Categorica Basata su Monadi Unifica il Framework Neurosymbolic ULLER
ULLER (Unified Language for LEarning and Reasoning) fornisce una sintassi logica del primo ordine per sistemi neurosimbolici, originariamente con tre semantiche indipendenti: classica, fuzzy e probabilistica. I ricercatori mostrano che queste sono tutte istanze di un framework categorico basato su monadi, consentendo l'aggiunta modulare di nuove semantiche e traduzioni sistematiche. Viene delineata l'aggiunta della quantificazione generalizzata nelle Logic Tensor Networks (LTN) a domini infiniti tramite la monade di Giry. È stata pubblicata un'implementazione modulare in Python e Haskell.
Fatti principali
- ULLER offre una sintassi logica del primo ordine unificata per sistemi neurosimbolici.
- La specifica originale ha tre semantiche pairwise indipendenti: classica, fuzzy, probabilistica.
- Queste semantiche sono istanze di un framework categorico basato su monadi.
- Le monadi modellano gli effetti collaterali nella programmazione funzionale.
- Nuove semantiche possono essere aggiunte in modo modulare.
- Sono abilitate traduzioni sistematiche tra le semantiche.
- Viene delineata l'aggiunta della quantificazione generalizzata nelle LTN a domini infiniti.
- È stata pubblicata un'implementazione modulare in Python e Haskell.
Entità
Istituzioni
- arXiv