World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention

An anticipatory reasoning-reacting system anticipates based on anticipatory reasoning, which can draw new, previously unknown and/or unrecognized conclusions about some future event or events whose occurrence and truth are uncertain at the point of time when the reasoning is being performed. To perform anticipatory reasoning, we need to express the real world, predictive laws and behavioural patterns of the target domain as empirical theories represented by logical formulas which called world model, predictive model, and behavioural model correspondingly. However, there is no case to show what these models are and how to construct these models. To this end, this paper proposes a general procedure to construct these models, and presents a case study of runway incursion prevention. Besides, this paper also discusses the evaluation of the models.