A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concur...

0

..............................................................................................ii Acknowledgements .................................................................................iv List of Tables ......................................................................................viii List of Figures ................................................................................

In this paper, we analyze the connections between the different qualitative properties of numerical solutions of linear parabolic problems with Dirichlet-type boundary condition. First we formulate the qualitative properties for the differential equations and shad light on their relations. Then we show how the well-known discretization schemes can be written in the form of a one-step iterative ...