The Transition Calculus: a high-level formalism for reasoning about action and change

Modelling Dynamic Spatial Systems in the Situation Calculus

“…Consequently, problem is not unique to situation calculus but rather occurs with every formalisation that utilises a logic-based or model-theoretic semantics. Toward the representation of event-operators that lead to the appearance and disappearance of domain objects, Gooday and Cohn (1996) identify a similar problem in the context of transition calculus, which is a high-level formalism for reasoning about action and change (Gooday & Galton, 1997). Drawing on the methodology adopted by Gooday and Cohn, we illustrate our solution to this problem, at least in so far as the present spatial modelling task in the context of the situation calculus formalism is concerned.…”

Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning

“…Utilizing the Transition Calculus (J. Gooday & Galton, 1997), they describe the behavior of a system by events instead of explicit states, where unexplained changes in the implied states are minimized. Bhatt and Loke (2008) propose to model dynamic spatial systems in the situation calculus, whereby qualitative spatial calculi are directly modeled within the theory.…”