A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
Natsumi Kitajima, Shinsuke Nara, Yuichi Goto, Jingde Cheng · 2008
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.