Abstract
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented by means of qualitative operators and envelope functions. A semiqualitative model is transformed into a family of quantitative models.
In this paper the analysis of a model is proposed as a constraint satisfaction problem. Constraint satisfaction is an umbrella term for a variety of techniques of Artificial Intelligence and related disciplines. In this paper attention is focused on intervals consistency techniques. The semiqualitative analysis is automatically made by means of consistency techniques. The presented method is applied to a industrial biometallurgical system in order to show how increase the capacity of production.
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
Preview
Unable to display preview. Download preview PDF.
References
Abelson H., The bifurcation interpreter: a step towards the automatic analysis in dynamical systems. Int. J. Computers Math. Applic. Vol 20, na8 13–35, 1990.
Dvorak D. Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation Ph.D. Dissertation, University of Texas. Tech. Report AI92-170, 1992.
Garcia M.J., La Oxidación biológica en continuo del ión ferroso en reactores de pelicula bacterian soportada. Ph.D. Thesis. Universidad de Sevilla. 1992.
Garca R.M., Ortega J.A., Toro M. Representación y simulación de modelos integrando conocimiento cualitativo y cuantitativo. In Proc. VII Conf. Asoc. Española para Inteligencia Artificial, 1997 (to appear).
Gasca R.M. Razonamiento y simulación en sistemas que integran conocimiento cualitativo y cuantitativo Ph.D. Thesis Universidad de Sevilla, 1998.
Kay H., Kuipers B., Numerical behavior envelopes for qualitative models. Proc. 11th National Conf. on Artificial Intelligence, 606–613, 1993.
Kay H. Refining Imprecise models and their behaviors Ph.D. Tesis, University of Texas, 1996.
Kuipers B.J., Qualitative simulation, Artifical Inteligence 29,289–338, 1986.
Sacks E., Automatic qualitative analysis of dynamic systems using piecewise linear approximations, Artificial Intelligence 41, 313–364, 1990.
Sacks E., Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation Artificial Intelligence no48, 27–56, 1991.
Vescovi M., Farquhar A., Iwasaki Y., Numerical interval simulation: combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems Proc. 14th Int. Joint Conf. on Artificial Intelligence, 1806–1812, 1994.
Yip K.M., KAM: A system for intelligently guiding numerical experimentation by computer, MIT Press, 1991.
Zhao F., Extracting and representing qualitative behaviors of complex systems in phase space. Artificial Intelligence no 69, 51–92, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag
About this paper
Cite this paper
Gasca, R.M., Ortega, J.A., Toro, M. (1998). Automatic semiqualitative analysis: Application to a biometallurgical system. In: Mira, J., del Pobil, A.P., Ali, M. (eds) Methodology and Tools in Knowledge-Based Systems. IEA/AIE 1998. Lecture Notes in Computer Science, vol 1415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64582-9_762
Download citation
DOI: https://doi.org/10.1007/3-540-64582-9_762
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64582-5
Online ISBN: 978-3-540-69348-2
eBook Packages: Springer Book Archive