Abstract
Diagnosis of the traces of executions of discrete event systems is of interest to understand dynamical behaviors of a wide range of real world problems like real-time systems or biological networks. In this paper, we propose to address this challenge by extending Learning From Interpretation Transition (LFIT), an Inductive Logic Programming framework that automatically constructs a model of the dynamics of a system from the observation of its state transitions. As a way to tackle diagnosis, we extend the theory of LFIT to model event sequences and their temporal properties. It allows to learn logic rules that exploit those properties to explain sequences of interest. We show how it can be done in practice through a case study.
T. Ribeiro—Independent Researcher.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Package pylfit source code is available at: https://github.com/Tony-sama/pylfit/.
- 2.
References
De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28 (2014)
Inoue, K., Ribeiro, T., Sakama, C.: Learning from interpretation transition. Mach. Learn. 94(1), 51–79 (2014)
Katzouris, N., Artikis, A., Paliouras, G.: Incremental learning of event definitions with inductive logic programming. Mach. Learn. 100(2), 555–585 (2015)
Muggleton, S.: Inductive logic programming: derivations, successes and shortcomings. ACM SIGART Bull. 5(1), 5–11 (1994)
Pencolé, Y., Subias, A.: Diagnosability of event patterns in safe labeled time petri nets: a model-checking approach. IEEE Trans. Autom. Sci. Eng. 19, 1151–1162 (2021)
Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Fakultät für Mathematik und Physik, Technische Hochschule Darmstadt, Darmstadt (Allemagne) (1962)
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, pp. 46–57 (1977)
Ribeiro, T., Folschette, M., Magnin, M., Inoue, K.: Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. 111, 3593–3670 (2021)
Ribeiro, T., Folschette, M., Magnin, M., Inoue, K.: Polynomial algorithm for learning from interpretation transition. In: 1st International Joint Conference on Learning & Reasoning, pp. 1–5 (2021)
Sato, S., Watanabe, Y., Seki, H., Ishii, Y., Yuen, S.: Fault diagnosis for distributed cooperative system using inductive logic programming. In: 2020 IEEE International Conference on Prognostics and Health Management (ICPHM), pp. 1–8. IEEE (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ribeiro, T., Folschette, M., Magnin, M., Okazaki, K., Kuo-Yen, L., Inoue, K. (2024). Diagnosis of Event Sequences with LFIT. In: Muggleton, S.H., Tamaddoni-Nezhad, A. (eds) Inductive Logic Programming. ILP 2022. Lecture Notes in Computer Science(), vol 13779. Springer, Cham. https://doi.org/10.1007/978-3-031-55630-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-55630-2_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-55629-6
Online ISBN: 978-3-031-55630-2
eBook Packages: Computer ScienceComputer Science (R0)