Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems
Jingde Cheng, Yuichi Goto, Natsumi Kitajima, Daniel M. Dubois · AIP conference proceedings · 2008
Anticipatory reasoning‐reacting systems dealing with mobile objects must concern not only the notion of time but also the notion of space. To design and develop such anticipatory reasoning‐reacting systems, we need to consider not only linear (total order) time but also branching (partial order) time, not only plane (two‐dimensional) space but also solid (three‐dimensional) space. To specify, verify, and reason about mobile objects in various anticipatory reasoning‐reacting systems, we need a right fundamental logic system to provide us with a criterion of logical validity for reasoning as well as a formal representation and specification language. This paper proposes a new family of three‐dimensional spatio‐temporal relevant logics as a hopeful candidate for the fundamental logic.