http://popups.lib.uliege.be/1373-5411/index.php?id=2296 Publications of Auteurs Shinsuke Nara fr 0 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=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=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