Fast Anticipatory Reasoning for Computing Anticipatory Systems

Anticipatory reasoning engine is an indispensable component for computing anticipatory systems. In practical computing anticipatory systems, the efficiency of anticipatory reasoning engine is a key issue to satisfy the real-time requirements from applications. FreeEnCal: a forward reasoning engine for general-purpose purpose is a hopeful candidate for anticipatory reasoning engines. However, the current FreeEnCaJ is not efficient enough for practical computing anticipatory systems. This paper presents a new implementation of FreeEnCal improved by adopting fast algorithms, and shows its efficiency by comparing the improved FreeEnCal with the old one. The improved FreeEnCal can be used as an anticipatory reasoning engine of practical computing anticipatory systems.