Inductive logic programming for discrete event systems

  • David Lorenzo
Session: Incremental Methods and Inductive Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1147)


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.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    C. Feng. Inducing Temporal Fault Diagnostic Rules from a Qualitative Model, chapter 24. Academic Press Limited, 1992.Google Scholar
  4. 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. 5.
    S. Muggleton. Inverse entailment and progol. New Generation Computing Journal, (13):245–286, 1995.Google Scholar
  6. 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. 7.
    F. Pichler and H. Schwärtzel (Eds.). CAST, Methods in Modelling. Springer Verlag, 1992.Google Scholar
  8. 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. 9.
    B. P. Zeigler. Multifaceted Modelling and Discrete Event Simulation. London: Academic Press, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • David Lorenzo
    • 1
  1. 1.Computer Science Dept.University of A CoruñaSpain

Personalised recommendations