A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
p. 177-192
Résumé
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.
Texte
Citer cet article
Référence papier
Natsumi Kitajima, Shinsuke Nara, Yuichi Goto et Jingde Cheng, « A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems », CASYS, 20 | 2008, 177-192.
Référence électronique
Natsumi Kitajima, Shinsuke Nara, Yuichi Goto et Jingde Cheng, « A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems », CASYS [En ligne], 20 | 2008, mis en ligne le 03 September 2024, consulté le 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=2860
Auteurs
Natsumi Kitajima
Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan
Shinsuke Nara
Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan
Yuichi Goto
Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan
Jingde Cheng
Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan