A formal method toward reasoning about continuous change

Chunping Li
DOI: https://doi.org/10.1007/978-3-540-30549-1_119
2004-01-01
Abstract:This paper presents a formal method based on the high-level semantics of processes to reason about continuous change With a case study we show how the semantics of processes can be integrated with the situation calculus Our aim is to overcome some limitations of the earlier works and to realize the automated reasoning about continuous change.
What problem does this paper attempt to address?