References
Facsimile [PDF, 5.4M]

A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems

Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng

p. 177-192

    Abstract

    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.

    Index

    Keywords

    anticipatory reasoning-reacting systems, decision making, deontic relevant logic, action reasoning engine for general-purpose

    Text

    Download Facsimile [PDF, 5.4M]

    References

    Bibliographical reference

    Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng, « A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems », CASYS, 20 | 2008, 177-192.

    Electronic reference

    Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng, « A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems », CASYS [Online], 20 | 2008, Online since 03 September 2024, connection on 10 January 2025. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=2860

    Authors

    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

    By this author

    Yuichi Goto

    Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Jingde Cheng

    Department of Information and Computer Science, Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Copyright

    CC BY-SA 4.0 Deed