Computer-assisted hybrid reasoning in simulation and analysis of physical systems

  • Michał Kleiber Institute of Fundamental Technological Research Polish Academy of Sciences
  • Zenon Kulpa Institute of Fundamental Technological Research Polish Academy of Sciences

Abstract

The aim of the paper is to advocate the use of hybrid reasoning systems for computer-assisted analysis of physical systems. The paper starts from a critical assessment of classic numerical techniques, with the problem of sensitivity analysis of fuel rod support spring in a nuclear reactor used as an example. Then, the significance and some basic issues concerning qualitative physics methods of analysis of physical systems are discussed. Using the example of the so-called "snap-through" mechanism, the basic principles, advantages and limitations of qualitative simulation technique are shown. Certain future development possibilities are indicated, especially the necessity to formalise the order-oj-magnitude reasoning. The recently developing techniques of diagrammatic reasoning are also introduced, with another mechanical example illustrating sources of their advantages for certain kinds of problems. The significant role of logical (expert-system-like) reasoning techniques and constraint-satisfaction systems is shown as well. Finally, the hybrid reasoning system concept is sketched. Such hybrid systems should integrate quantitative (numerical) analysis, various methods of qualitative analysis as well .as diagrammatic and logical reasoning techniques.

Keywords

References

[1] J. Ambroziak, M. Kleiber. Blackboard consultation in solid mechanics. Engng. Applic. Artif. Intell., 4: 85- 95, 1991.
[2] J. Barwise, J. Etchemendy. Visual information and valid reasoning. In: A. Zimmerman, S. Cunningham, eds., Visualization in Teaching and Learning Mathematics, 9-24. Mathematical Assoc. of America, Washington, DC, 1991. .
[3] I. Bratko, I. Mozetic, N. Lavrac. KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. The MIT Press, Cambridge, MA, 1989.
[4] P. Breitkopf, M. Kleiber. Non-numerical computational techniques in structural mechanics. Advances in Mechanics, 11: 109- 139, 1988.
[5] X. Chen, T. Hisada, M. Kleiber, H. Noguchi. Comparison of different sensitivity analysis algorithms for large deformation elastic-plastic problems. In: H. Kleiber, T. Hisada, eds., Design Sensitivity Analysis, 209- 229. Atlanta Technology Publ., Atlanta, GA, 1993.
Published
Jul 17, 2023
How to Cite
KLEIBER, Michał; KULPA, Zenon. Computer-assisted hybrid reasoning in simulation and analysis of physical systems. Computer Assisted Methods in Engineering and Science, [S.l.], v. 2, n. 3, p. 165-186, july 2023. ISSN 2956-5839. Available at: <https://cames.ippt.gov.pl/index.php/cames/article/view/1471>. Date accessed: 21 nov. 2024.
Section
Articles

Most read articles by the same author(s)