Advertisement

Validating at early stages with a causal simulation tool

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 867)

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.

Keywords

Density Vector Piecewise Constant Function Causal Influence Knowledge Engineer Causal Dependency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    H. Akkermans, J. Top: Tasks and ontologies in engineering modeling. Proceedings of Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, 1994.Google Scholar
  2. 2.
    S. Boyera: Un générateur de graphes pour KATEMES. rapport de DEA, Université de Nice, 1993.Google Scholar
  3. 3.
    K. Bousson, L. Traves-Massuyes: Fuzzy causal simulation in process engineering. Proceedings of the 13th IJCAI, Chambery, 1993.Google Scholar
  4. 4.
    W. Clancey: Viewing knowledge bases as qualitative models. IEEE expert journal, Volume 4, pp 9–23, 1989.Google Scholar
  5. 5.
    B. D'Ambrosio: Extending mathematics in qualitative process. Proceedings of the 6th national conference on artificial intelligence, pages 595–599, 1987.Google Scholar
  6. 6.
    J. De Kleer and J.S. Brown: A qualitative physics based on confluences. Artificial Intelligence, N∘24 (7–83), 1984.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    R. Dieng, B. Trousse: 3DKAT, a Dependency-Driven Dynamic-Knowledge Acquisition Tool. 3rd International Symposium on Knowledge Engineering, Madrid 1988.Google Scholar
  9. 9.
    K.D. Forbus: Qualitative process theory. Artificial Intelligence, N∘ 24 (85–168), 1984.Google Scholar
  10. 10.
    K.D. Forbus: Interpreting measurements of physical systems. Proceedings of AAAI 86, 1986.Google Scholar
  11. 11.
    B. Kuipers et D. Berleant: Using incomplete quantitative knowledge in qualitative reasoning. Proceedings of the 7th AAAI, Saint-Paul, 1988.Google Scholar
  12. 12.
    B. Kuipers: Qualitative Simulation. Artificial Intelligence N∘29, 1986.Google Scholar
  13. 13.
    B. Kuipers: The use of Qualitative Simulation in support of Model-based Reasoning. SPIE Vol. 1293, Applications of Artificial Intelligence VIII, 1990.Google Scholar
  14. 14.
    B. Neveu: EXPORT: An expert system in breakwater design. ORIA 87, Artificial Intelligence and Sea, Marseille 1987.Google Scholar
  15. 15.
    Q. Shen and R.R. Leitch: Fuzzy qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics, 23(4), 1993.Google Scholar
  16. 16.
    P. Struss: Problems of interval-based qualitative reasoning. Readings in qualitative reasoning about physical systems, Morgan Kaufman Publishers, 1990.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    M. Vescovi: La représentation des connaissances et le raisonnement sur les systèmes physiques. PhD, Université de Savoie, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  1. 1.ACACIA projectINRIASophia-Antipolis CedexFrance

Personalised recommendations