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 FreeEnCal 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.
منابع مشابه
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
A computing anticipatory system must have the ability to make decision about its next action. To design and develop various computing anticipatory systems effectively, it is desirable to find a general methodology for decision making in computing anticipatory systems. This paper presents a deontic relevant logic approach to reasoning about actions in computing anticipatory systems. The paper di...
متن کاملEfficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
A practical anticipatory system with requirements of high reliability and high security must be able to perform any anticipatory reasoning to get enough effective conclusions anticipatorily within an acceptable time in order to satisfy the requirements from applications. This is a contradictory requirement since the execution time of anticipatory reasoning gets longer in proportion to the amoun...
متن کاملImplementation Issues of Anticipatory Reasoning-Reacting Systems
From information security engineering and software engineering aspects, a new-generation reactive system, named Anticipatory Reasoning-Reacting System, was proposed earlier. To construct this proactive system, we start with a more comprehensive description of general anticipatory systems. And based on this description, we further clarify what kind of systems we intend to implement. With the cla...
متن کاملIntroduction to Computing Anticipatory Systems
This paper deals with an introduction to computing anticipatory systems starting with Robert Rosen's definition of anticipatory systems. Firstly, the internalist and externalist aspects of anticipation will be explained at an intuitive point of view. Secondly, the concepts of incursion and hyperincursion are proposed to model anticipatory systems. Thirdly, a simple example of a computing antici...
متن کامل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 in...
متن کامل