http://popups.lib.uliege.be/1373-5411/index.php?id=2218 Index terms fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=4369 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 internal status as character strings, but not as logical formulas. To implement facilities of prediction and decision-making based on the proposed methods, a transformation mechanism between observed data and logical formulas is demanded, but such a mechanism has not been proposed until now. This paper presents a transformation mechanism observed data and logical formulas for ARRSs. The mechanism can be applied to any computing anticipatory systems with logic-based reasoning. Thu, 10 Oct 2024 10:06:22 +0200 Thu, 10 Oct 2024 10:06:42 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=4369 http://popups.lib.uliege.be/1373-5411/index.php?id=3035 Anticipatory reasoning-reacting systems were proposed as a new generation of reactive systems with high reliability and high security. At present, there is no engineering environment to support development and maintenance of anticipatory reasoning-reacting systems. This paper presents a development and maintenance environment we are building for developing and maintaining anticipatory reasoning-reacting systems. By using our development and maintenance environment, developers and maintainers can develop and maintain various practical anticipatory reasoning-reacting systems more easily. Fri, 06 Sep 2024 16:03:29 +0200 Fri, 06 Sep 2024 16:03:39 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=3035 http://popups.lib.uliege.be/1373-5411/index.php?id=2860 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 discusses why the deontic relevant logic should be adopted as the fundamental logic to underlie reasoning about actions, presents a forward reasoning engine for reasoning about actions, and shows results of a case study to perform automated reasoning about actions based on deontic relevant logic. Tue, 03 Sep 2024 15:24:51 +0200 Tue, 03 Sep 2024 15:24:59 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2860 http://popups.lib.uliege.be/1373-5411/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 http://popups.lib.uliege.be/1373-5411/index.php?id=2215