Search papers, labs, and topics across Lattice.
This paper addresses the limitations of existing neurosymbolic frameworks for Linear Temporal Logic (LTLf) by formally defining various fuzzy semantics and integrating them into a novel framework called DiffLTLf. The authors demonstrate that these fuzzy semantics significantly enhance predictive performance and scalability compared to traditional automata-based approaches. Their findings reveal that DiffLTLf not only matches but occasionally surpasses state-of-the-art probabilistic methods, highlighting the potential of fuzzy interpretations in temporal reasoning tasks.
Fuzzy semantics for LTLf can dramatically enhance predictive performance and scalability, outperforming traditional methods without relying on automata.
Neurosymbolic (NeSy) Artificial Intelligence aims to integrate Deep Learning (DL) architectures with symbolic reasoning. While initial NeSy approaches have targeted mainly symbolic reasoning in propositional and first-order logics, recent works have started to address the construction of neurosymbolic frameworks for Temporal Logics, and in particular for LTLf. These approaches have established temporal NeSy as a promising research direction, laying the foundations for learning under temporal constraints. Nonetheless, they leave many questions unanswered. From a theoretical perspective, several differentiable semantics for interpreting LTLf have been proposed but have not yet been formally and systematically defined within a unified framework. Moreover, existing approaches commonly rely on automata to represent temporal knowledge, resulting in limited scalability. Motivated by this research gap, this paper provides the following contributions: (i) formally defining different fuzzy semantics for LTLf, and systematically analysing theoretical properties regarding equivalences and dualities of temporal operators; (ii) showing how these semantics can be directly integrated within a novel NeSy framework, called DiffLTLf, enabling flexible and scalable learning without relying on the usage of automata; and (iii) introducing a novel evaluation protocol of increased complexity of learning tasks w.r.t. existing benchmarks. Our results show that the choice of fuzzy semantics has a significant impact on predictive performance. Moreover, DiffLTLf achieves performance on par with, and sometimes superior to, state-of-the-art probabilistic approaches while substantially improving scalability. Taken together, these results establish direct fuzzy interpretations as a competitive and scalable alternative to existing temporal NeSy frameworks.
