A Transformation Mechanism between Sensory Data and Logical Formulas for Anticipatory Reasoning-Reacting Systems

Anticipatory reasoning-reacting systems (ARRSs) were proposed as a new generation of reactive systems. Prediction and decision-making are important facilities of ARRSs. For the facilities, a prediction method and a decision-making method with forward reasoning based on strong relevant logic systems are proposed. On the other hand, practical reactive systems generally get sensory data and own internal status as character strings, but not as logical formulas. To implement facilities of prediction and decision-making based on the proposed methods, a transformation mechanism between observed data and logical formulas is demanded, but such a mechanism has not been proposed until now. This paper presents a transformation mechanism observed data and logical formulas for ARRSs. The mechanism can be applied to any computing anticipatory systems with logic-based reasoning.