Abstract
Validating the dynamics of a conceptual model of expertise is a crucial task which is too often neglected and sometimes relegated after the implementation's phase. The motivation for this work is to capture and to simulate the dynamics of a modeled system during the early phases of design. In this paper, we present an approach and a tool based on a general and powerful simulation engine. We assume that the dynamics of a system can be viewed as a causal graph, where the nodes represent the parameters of the system and the links represent causal influences between these parameters. In a given state, the belief on the value of a parameter is an uncertain quantity represented by a probabilistic density over its domain of variation. We consider then semi-quantitative parameters and show that, using some results on discrete probabilities, we can exhibit a simulation method based on matrix calculus. We describe MORSE, a prototype based on a simple simulation algorithm, and illustrate its use on an example. Finally, we discuss the current limitations of this method and conclude about future developments of this work.
Preview
Unable to display preview. Download preview PDF.
References
H. Akkermans, J. Top: Tasks and ontologies in engineering modeling. Proceedings of Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, 1994.
S. Boyera: Un générateur de graphes pour KATEMES. rapport de DEA, Université de Nice, 1993.
K. Bousson, L. Traves-Massuyes: Fuzzy causal simulation in process engineering. Proceedings of the 13th IJCAI, Chambery, 1993.
W. Clancey: Viewing knowledge bases as qualitative models. IEEE expert journal, Volume 4, pp 9–23, 1989.
B. D'Ambrosio: Extending mathematics in qualitative process. Proceedings of the 6th national conference on artificial intelligence, pages 595–599, 1987.
J. De Kleer and J.S. Brown: A qualitative physics based on confluences. Artificial Intelligence, N∘24 (7–83), 1984.
D. Dubois and H. Prade: Order-of-magnitude reasoning with fuzzy relations. Proceedings of IFAC symposium on advanced information processing in automatic control, Nancy, 1989.
R. Dieng, B. Trousse: 3DKAT, a Dependency-Driven Dynamic-Knowledge Acquisition Tool. 3rd International Symposium on Knowledge Engineering, Madrid 1988.
K.D. Forbus: Qualitative process theory. Artificial Intelligence, N∘ 24 (85–168), 1984.
K.D. Forbus: Interpreting measurements of physical systems. Proceedings of AAAI 86, 1986.
B. Kuipers et D. Berleant: Using incomplete quantitative knowledge in qualitative reasoning. Proceedings of the 7th AAAI, Saint-Paul, 1988.
B. Kuipers: Qualitative Simulation. Artificial Intelligence N∘29, 1986.
B. Kuipers: The use of Qualitative Simulation in support of Model-based Reasoning. SPIE Vol. 1293, Applications of Artificial Intelligence VIII, 1990.
B. Neveu: EXPORT: An expert system in breakwater design. ORIA 87, Artificial Intelligence and Sea, Marseille 1987.
Q. Shen and R.R. Leitch: Fuzzy qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics, 23(4), 1993.
P. Struss: Problems of interval-based qualitative reasoning. Readings in qualitative reasoning about physical systems, Morgan Kaufman Publishers, 1990.
L. Traves-Massuyes, K. Bousson, J. Evrard, F. Guerrin, B. Lucas, A. Missier, D. Rahal, M. Tomasena, L. Zimmer: Modélisation et simulation qualitatives, représentation, algorithmes et applications. 4ème Journées du PRC-IA, Marseille, 1992.
M. Vescovi: La représentation des connaissances et le raisonnement sur les systèmes physiques. PhD, Université de Savoie, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tourtier, PA., Boyera, S. (1994). Validating at early stages with a causal simulation tool. In: Steels, L., Schreiber, G., Van de Velde, W. (eds) A Future for Knowledge Acquisition. EKAW 1994. Lecture Notes in Computer Science, vol 867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58487-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-58487-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58487-2
Online ISBN: 978-3-540-49006-7
eBook Packages: Springer Book Archive