References
Facsimile [PDF, 5.3M]

An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems

Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng

p. 225-236

    Abstract

    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.

    Index

    Keywords

    anticipatory reasoning, prediction, temporal relevant logic, forward deduction

    Text

    Download Facsimile [PDF, 5.3M]

    References

    Bibliographical reference

    Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng, « An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems », CASYS, 18 | 2006, 225-236.

    Electronic reference

    Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng, « An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems », CASYS [Online], 18 | 2006, Online since 31 July 2024, connection on 10 November 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=2292

    Authors

    Shinsuke Nara

    Graduate School of Science and Engineering Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Feng Shang

    Graduate School of Science and Engineering Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Takashi Omi

    Graduate School of Science and Engineering Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    Yuichi Goto

    Graduate School of Science and Engineering Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Jingde Cheng

    Graduate School of Science and Engineering Saitama University, 255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan

    By this author

    Copyright

    CC BY-SA 4.0 Deed