Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects
Chunyan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng · 2010
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.