Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918131121782784 |
|---|---|
| author | Ferfoglia, Irene Silvetti, Simone Saveri, Gaia Nenzi, Laura Bortolussi, Luca |
| author_facet | Ferfoglia, Irene Silvetti, Simone Saveri, Gaia Nenzi, Laura Bortolussi, Luca |
| contents | Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box deep learning methods, making it hard for humans to understand the rationale behind their output. To take on this challenge, we propose a neuro-symbolic framework that unifies classification and explanation through direct embedding of trajectories into a space of Signal Temporal Logic (STL) concepts. By introducing a novel STL-inspired kernel that maps raw time series to their alignment with predefined STL formulae, our model jointly optimises for accuracy and interpretability, as each prediction is accompanied by the most relevant logical concepts that characterise it. This enables classification grounded in human-interpretable temporal patterns and produces both local and global symbolic explanations. Early results show competitive performance while offering high-quality logical justifications for model decisions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_03269 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics Ferfoglia, Irene Silvetti, Simone Saveri, Gaia Nenzi, Laura Bortolussi, Luca Machine Learning Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box deep learning methods, making it hard for humans to understand the rationale behind their output. To take on this challenge, we propose a neuro-symbolic framework that unifies classification and explanation through direct embedding of trajectories into a space of Signal Temporal Logic (STL) concepts. By introducing a novel STL-inspired kernel that maps raw time series to their alignment with predefined STL formulae, our model jointly optimises for accuracy and interpretability, as each prediction is accompanied by the most relevant logical concepts that characterise it. This enables classification grounded in human-interpretable temporal patterns and produces both local and global symbolic explanations. Early results show competitive performance while offering high-quality logical justifications for model decisions. |
| title | Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics |
| topic | Machine Learning |
| url | https://arxiv.org/abs/2508.03269 |