Skip to main content

Validating at early stages with a causal simulation tool

  • Conference paper
  • First Online:
A Future for Knowledge Acquisition (EKAW 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. S. Boyera: Un générateur de graphes pour KATEMES. rapport de DEA, Université de Nice, 1993.

    Google Scholar 

  3. K. Bousson, L. Traves-Massuyes: Fuzzy causal simulation in process engineering. Proceedings of the 13th IJCAI, Chambery, 1993.

    Google Scholar 

  4. W. Clancey: Viewing knowledge bases as qualitative models. IEEE expert journal, Volume 4, pp 9–23, 1989.

    Google Scholar 

  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. J. De Kleer and J.S. Brown: A qualitative physics based on confluences. Artificial Intelligence, N∘24 (7–83), 1984.

    Google Scholar 

  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. R. Dieng, B. Trousse: 3DKAT, a Dependency-Driven Dynamic-Knowledge Acquisition Tool. 3rd International Symposium on Knowledge Engineering, Madrid 1988.

    Google Scholar 

  9. K.D. Forbus: Qualitative process theory. Artificial Intelligence, N∘ 24 (85–168), 1984.

    Google Scholar 

  10. K.D. Forbus: Interpreting measurements of physical systems. Proceedings of AAAI 86, 1986.

    Google Scholar 

  11. B. Kuipers et D. Berleant: Using incomplete quantitative knowledge in qualitative reasoning. Proceedings of the 7th AAAI, Saint-Paul, 1988.

    Google Scholar 

  12. B. Kuipers: Qualitative Simulation. Artificial Intelligence N∘29, 1986.

    Google Scholar 

  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. B. Neveu: EXPORT: An expert system in breakwater design. ORIA 87, Artificial Intelligence and Sea, Marseille 1987.

    Google Scholar 

  15. Q. Shen and R.R. Leitch: Fuzzy qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics, 23(4), 1993.

    Google Scholar 

  16. P. Struss: Problems of interval-based qualitative reasoning. Readings in qualitative reasoning about physical systems, Morgan Kaufman Publishers, 1990.

    Google Scholar 

  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. M. Vescovi: La représentation des connaissances et le raisonnement sur les systèmes physiques. PhD, Université de Savoie, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Luc Steels Guus Schreiber Walter Van de Velde

Rights and permissions

Reprints 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

Publish with us

Policies and ethics