https://popups.uliege.be/3041-539x/index.php?id=2222 Publications of Auteurs Feng Shang fr 0 https://popups.uliege.be/3041-539x/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 https://popups.uliege.be/3041-539x/index.php?id=2454 https://popups.uliege.be/3041-539x/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 https://popups.uliege.be/3041-539x/index.php?id=2292 https://popups.uliege.be/3041-539x/index.php?id=2215 The notion of anticipatory system, in particular, computing anticipatory system, implies a fundamental assumption or requirement, i.e., to be anticipatory, a computing system must behave continuously and persistently without stopping its running. However, the requirement that a computing system should run continuously and persistently is never taken into account as an essential or general requirement by traditional system design and development methodologies. As a result, a traditional computing system often has to stop its running and service when it needs to be maintained, upgraded or reconfigured, it has some trouble, or it is attacked. From the viewpoints of anticipatory computing and persistent computing, this paper shows that a new type of computing systems, named "persistent computing systems", is indispensable to design and development of true computing anticipatory systems. The paper also discusses how persistent computing systems can be constructed by soft system bus technology, and present some new scientific and technical challenges on anticipatory computing and persistent computing. Tue, 30 Jul 2024 14:35:38 +0200 Tue, 30 Jul 2024 14:35:46 +0200 https://popups.uliege.be/3041-539x/index.php?id=2215