Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects

To design and develop anticipatory reasoning-reacting systems with three-dimensional moving objects, it is indispensable to decide the fundamental logic basis to underlie anticipatory reasoning about three-dimensional moving objects. This paper investigates the fundamental logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. The paper presents some basic requirements for the fundamental logic basis and shows that three-dimensional spatio-temporal relevant logic is more suitable than classical mathematical logic and its various classical conservative extensions and various relevant logics to be the fundamental logic basis by two case studies.