Abstract
This research is concerned with causal understanding and qualitative reasoning of behavior of physical systems, which are crucial issues of modelbased problem solving. In this paper, a new method of qualitative reasoning and causal ordering is proposed and its application to a power plant is presented. The method is based on our kernel ontologies of causality and time-resolution and a domain ontology of fluid systems. These ontologies help make the design rationales of our method explicit and facilitate reusability of our models. The whole of the target system is represented by combining a set of local component models and global constraints. The component models include local and causal characteristics of each component which are independent of context for their reuse on the basis of the ontology of causality. Global constraints with time-scales are derived according to the general properties of the physical entity which are prepared beforehand as a part of the domain ontology. They contribute to providing intuitive causal ordering of complex behavior originated in various configurations of components, including inter-component negative feedback. Furthermore, the method has been successfully applied to a power plant. All the reasoning results matched those obtained by a domain expert including their ambiguities.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
de Kleer, J., Brown, J. S.: A Qualitative Physics Based on Confluences. Artificial Intelligence, Vol. 24, pp. 7–83 (1984).
Forbus, K. D.: Qualitative Process Theory, Artificial Intelligence, Vol. 24, pp. 85–168 (1984).
Fouché, P., Kuipers, B. J.: Reasoning about Energy in Qualitative Simulation, IEEE Trans. on Systems, Man, and Cybernetics, Vol. 22, No.1, pp. 47–63 (1992).
Iwasaki, Y., Simon, H. A.: Causality in Device Behavior, Artificial Intelligence, Vol. 29, pp. 3–32 (1986).
Iwasaki, Y., Simon, H. A.: Causality and Model Abstraction, Artificial Intelligence, Vol. 67, pp. 143–194 (1994).
Kuipers, B. J.: Qualitative Simulation, Artificial Intelligence, Vol. 29, pp. 289–338 (1986).
Kuipers, B. J.: Qualitative Reasoning, MIT Press (1994)
Mizoguchi, R., Ikeda, M.: Towards Ontology Engineering, Technical Report AI-TR-96-1, I.S.I.R., Osaka Univ. (1996).
Sasajima, M., Kitamura, Y., Ikeda, M., Mizoguchi, R.: FBRL: A Function and Behavior Representation Language, Proc. of the IJCAI'95, pp.1830–1836 (1995).
Schryver, J. C.: Object-Oriented Qualitative Simulation of Human Mental Models of Complex Systems, IEEE Trans. on Systems, Man, and Cybernetics, Vol. 22, No.3, pp. 526–541 (1992).
Skorstad, G.: Finding Stable Causal Interpretations of Equations. Recent advances in Qualitative Physics, Faltings and Struss(Ed.), pp.399–413, MIT Press(1992).
Top, J., Akkermans, H.: Computational and Physical Causality, Proc. of the IJCAI'91, pp.1171–1176(1991).
Washio, T.: Causal Ordering Methods based on Physical Laws of Plant Systems, MITNRL-033, MIT Nuclear Reactor Laboratory (1989)
Williams, B.C.: Qualitative Analysis of MOS Circuits. Artificial Intelligence, Vol. 24, pp. 281–346 (1984).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kitamura, Y., Ikeda, M., Mizoguchi, R. (1996). A qualitative reasoning based on an ontology of fluid systems and its evaluation. In: Foo, N., Goebel, R. (eds) PRICAI'96: Topics in Artificial Intelligence. PRICAI 1996. Lecture Notes in Computer Science, vol 1114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61532-6_25
Download citation
DOI: https://doi.org/10.1007/3-540-61532-6_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61532-3
Online ISBN: 978-3-540-68729-0
eBook Packages: Springer Book Archive