Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Solving analysis problems in physical worlds requires the representation of large amounts of knowledge. Recently, there has been much interest in using multiple models, in the engineering sense of the word, to capture the complex and diverse knowledge required during analysis. In this paper we represent physical domains as graphs of models, where the nodes of the graph are models and the edges are the assumptions that have to be changed in going from one model to the other. We introduce new, qualitative methods that automatically select and switch models during analysis. Our approach has been successfully used for three implementations in the fields of mechanics, thermodynamics, and fluid dynamics. © 1991.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Dzung Phan, Vinicius Lima
INFORMS 2023
Paula Harder, Venkatesh Ramesh, et al.
EGU 2023
Miao Guo, Yong Tao Pei, et al.
WCITS 2011