Introducing planning in discrete event systems
Precedent studies have revealed a strong relationship between discrete events formalisms and formalisms for temporal reasoning in Artificial Intelligence. Both areas typically deal with temporal or dynamic domains, but under different points of view. Discrete events formalisms are intended for the analysis of the represented system, predicting its behavior by simulation. Artificial Intelligence approaches pay special attention to the adequacy of the representation to be used, which usually allows solving also planning problems. This paper is a study on the introduction of planning techniques into the DEVS model, used for modeling of discrete event systems. To this aim, we have chosen a basic representation, the Generalized Magnitudes temporal reasoning formalism, which let us represent a complete DEVS model of a system and simultaneously provides interesting properties for planning. The paper identifies the basic steps that a planning. algorithm should carry out providing also some examples. Finally, it poses possible problems that may appear and establishes the future research lines.
Unable to display preview. Download preview PDF.
- 1.P. Dague. Qualitative reasoning: A survey of techniques and applications. AI Communications, 8(3/4):119–192, 1995.Google Scholar
- 3.Joachim Hertzberg and Sylvie Thiebaux. Turning an action formalism into a planner. Journal of Logic and Computation, 1994.Google Scholar
- 4.R. P. Otero, A. Barreiro, P. Cabalar, and D. Lorenzo. Discrete event simulation in an environment for temporal expert systems. Lecture Notes in Computer Science, 1030:271–282, 1996.Google Scholar
- 5.R. P. Otero, A. Barreiro, H. Praehofer, F. Pichler, and J. Mira. Stims-medtool: Integration of expert systems with systems modelling and simulation. Lecture Notes in Computer Science, 763:347–356, 1994.Google Scholar
- 6.Murray P. Shanahan. Explanation in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'93), pages 160–165, 1993.Google Scholar
- 7.L. E. Widman, K. A. Loparo, and W. R. Nielsen (Eds.). Artificial Intelligence, Simulation and Modeling. John Wiley and Sons, New York, 1989.Google Scholar