Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning-Reacting Systems
Jingde Cheng · AIP conference proceedings · 2004
A new type of reactive systems, named ‘Anticipatory Reasoning‐Reacting Systems’, has been proposed as a certain class of anticipatory systems. A key function of an anticipatory reasoning‐reacting system is its ability of anticipatory reasoning that requires a sound logic basis to provide a satisfactory criterion for validity of reasoning. This paper points out why the classical mathematical logic, its various classical conservative extensions, and its various non‐classical alternatives are not suitable logical basis for underlying anticipatory reasoning, shows that temporal relevant logic is a more hopeful candidate for the purpose, and gives a brief introduction to an automated forward deduction system for general‐purpose entailment calculus, named ‘EnCal’, which can be used as a reasoning engine for anticipatory reasoning. The paper also proposes a new and challenging research problem (NRT problem): how can we deal with those modal notions of Normativeness, Relevance, and Temporality within a unified logic system to underlie representing, specifying, reasoning about, and verifying anticipatory behavior of an anticipatory system?