Supervised classification is one of the main computational tasks of modern Artificial Intelligence, and it is used to automatically extract an underlying theory from a set of already classified instances. The available learning schemata are mostly limited to static instances, in which the temporal component of the information is absent, neglected, or abstracted into atemporal data, and purely, native temporal classification is still largely unexplored. In this paper, we propose a temporal rulebased classifier based on interval temporal logic, that is able to learn a classification model for multivariate classified (abstracted) time series, and we discuss some implementation issues.

Lucena-Sánchez, E., Muñoz-Velasco, E., Sciavicco, G., Stan, I., Vaccari, A. (2020). Towards Interval Temporal Logic Rule-Based Classification. In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019) (pp.65-70). CEUR-WS.

Towards Interval Temporal Logic Rule-Based Classification

Stan, IE;
2020

Abstract

Supervised classification is one of the main computational tasks of modern Artificial Intelligence, and it is used to automatically extract an underlying theory from a set of already classified instances. The available learning schemata are mostly limited to static instances, in which the temporal component of the information is absent, neglected, or abstracted into atemporal data, and purely, native temporal classification is still largely unexplored. In this paper, we propose a temporal rulebased classifier based on interval temporal logic, that is able to learn a classification model for multivariate classified (abstracted) time series, and we discuss some implementation issues.
paper
Abstracting; Artificial intelligence; Automata theory; Classification (of information); Formal verification; Temporal logic
English
1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis - November 19‐20, 2019
2019
Gigante, N; Mari, F; Orlandini, A
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019)
2020
2509
65
70
https://ceur-ws.org/Vol-2509/
open
Lucena-Sánchez, E., Muñoz-Velasco, E., Sciavicco, G., Stan, I., Vaccari, A. (2020). Towards Interval Temporal Logic Rule-Based Classification. In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019) (pp.65-70). CEUR-WS.
File in questo prodotto:
File Dimensione Formato  
Lucena-Sánchez-2020-CEUR Workshop Proceedings-VoR.pdf

accesso aperto

Descrizione: This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Licenza: Creative Commons
Dimensione 671.76 kB
Formato Adobe PDF
671.76 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/524148
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact