Inductive logic programming for discrete event systems
Inductive modelling of dynamic systems attempts to create a model for a system based on observed data. In this work we make possible that methods of Inductive Logic Programming (ILP) can be applied to induce the discrete-event specification of a system from its behaviour. The self-activation capacity of DEVS increases the complexity of this work by introducing time-dependent conditions in the transition functions. Besides, we will show how a new set of “state variables” can be derived from the time-dependent data when the initial set is not sufficiently relevant.
Unable to display preview. Download preview PDF.
- 1.E. Bloedorn and R.S. Michalski. Data driven constructive induction in AQ17-PRE: A method and experiments. Proceedings of the Third International Conference on Tools for AI, San Jose, CA, pages 9–14, 1991.Google Scholar
- 2.E. Bloedorn, R.S. Michalski, and J. Wnek. Multistrategy constructive induction: AQ17-MCI. Proceedings of the 2nd International Workshop on Multistrategy Learning, Harpers Ferry, VW, pages 188–203, 1993.Google Scholar
- 3.C. Feng. Inducing Temporal Fault Diagnostic Rules from a Qualitative Model, chapter 24. Academic Press Limited, 1992.Google Scholar
- 4.D. Mladenic, I. Bratko, R.J. Paul, and M. Grobelnik. Knowledge adquisition for discrete event systems using machine learning. ECAI 94. 11th European Conference on Artificial Intelligence, 1994.Google Scholar
- 5.S. Muggleton. Inverse entailment and progol. New Generation Computing Journal, (13):245–286, 1995.Google Scholar
- 6.R. P. Otero, D. Lorenzo, and P. Cabalar. Automatic induction of DEVS structures. Lecture Notes in Computer Science, (1030):305–315, 1996.Google Scholar
- 7.F. Pichler and H. Schwärtzel (Eds.). CAST, Methods in Modelling. Springer Verlag, 1992.Google Scholar
- 8.Hessam S. Sarjoughian. Inductive Modeling of Discrete-event Systems: A TMS-based Non-monotonic Reasoning Approach. PhD thesis, University of Arizona, 1995.Google Scholar
- 9.B. P. Zeigler. Multifaceted Modelling and Discrete Event Simulation. London: Academic Press, 1984.Google Scholar