A Formal Method Toward Reasoning About Continuous Change

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.

• Type: Conference
• Year: 2004
• Where: AUSAI
• Authors: Chunping Li
• Keywords: Artificial Intelligence, AUSAI 2004, Continuous Change, Formal Method, Situation Calculus