http://popups.lib.uliege.be/1373-5411/index.php?id=2293 Index terms fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=4379 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. Thu, 10 Oct 2024 10:08:32 +0200 Thu, 10 Oct 2024 10:08:52 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=4379 http://popups.lib.uliege.be/1373-5411/index.php?id=2454 The notion of anticipatory reasoning-reacting systems, which is a kind of anticipatory systems proposed from information security engineering and software reliability engineering aspects, is first characterized. And then, qualitative requirements and functions of an anticipatory reasoning-reacting system are anaIyzed. Further more, based on these considerations, a formal description of such a system is given. At last, some research issues are briefly introduced. Tue, 20 Aug 2024 16:44:33 +0200 Tue, 08 Oct 2024 14:56:39 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2454 http://popups.lib.uliege.be/1373-5411/index.php?id=2506 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 amount increasement of deduced conclusions. We are developing a forward deduction system for general-purposè entailment calculus, named EnCal. Although EnCal is a forward deduction engine for general-purpose entailment calculus, we expect that it can serve as the forward deduction engine in an anticipatory system to perform anticipatory reasoning based on temporal relevant logics. The key issue to achieve this goal is the efficiency of EnCal. This paper presents results and their implications of our experiences on improving the efficiency of EnCal by parallel processing techniques. Thu, 29 Aug 2024 11:00:11 +0200 Tue, 08 Oct 2024 13:49:58 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2506 http://popups.lib.uliege.be/1373-5411/index.php?id=3027 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. Fri, 06 Sep 2024 16:02:41 +0200 Fri, 06 Sep 2024 16:02:47 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=3027 http://popups.lib.uliege.be/1373-5411/index.php?id=2292 An anticipatory reasoning-reacting system (ARRS) has been proposed as a highly reliable and highly secure reactive system. The most important component of an ARRS is its anticipatory reasoning engine (ARE). We have proposed temporal relevant logic (TRL) as a sound logical basis of anticipatory reasoning, and shown that parallel processing techniques are effective to efficient anticipatory reasoning. This paper presents a real ARE we are developing based on TRLs. We define basic requirements of an ARE, discuss implementation issues for an ARE, present our implementation techniques, and show and discuss some current experimental results obtained by using our ARE. Our ARE can also be used in other computing anticipatory systems where anticipatory reasoning plays a key role. Wed, 31 Jul 2024 12:53:25 +0200 Wed, 31 Jul 2024 12:53:33 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2292