Abstract
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.
This research was supported in part by the Government of Galicia (Spain), grant XUGA10503B/96
Preview
Unable to display preview. Download preview PDF.
References
P. Dague. Qualitative reasoning: A survey of techniques and applications. AI Communications, 8(3/4):119–192, 1995.
R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to theorem proving in problem solving. Journal of Artificial Intelligence, 2:189–208, 1971.
Joachim Hertzberg and Sylvie Thiebaux. Turning an action formalism into a planner. Journal of Logic and Computation, 1994.
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.
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.
Murray P. Shanahan. Explanation in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'93), pages 160–165, 1993.
L. E. Widman, K. A. Loparo, and W. R. Nielsen (Eds.). Artificial Intelligence, Simulation and Modeling. John Wiley and Sons, New York, 1989.
B. P. Zeigler. DEVS representation of dynamical systems: Event-based intelligent control. Proceedings of the IEEE, 77(1):72–80, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabalar, P., Otero, R.P., Cabarcos, M., Barreiro, A. (1997). Introducing planning in discrete event systems. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025040
Download citation
DOI: https://doi.org/10.1007/BFb0025040
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63811-7
Online ISBN: 978-3-540-69651-3
eBook Packages: Springer Book Archive