Implementation and Applications of Anticipatory Reasoning-Reacting Systems
| Project/Area Number |
18300005
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Saitama University |
|---|
Principal Investigator |
CHENG Jingde (CHENG JINGDE) Saitama University, 大学院・理工学研究科, 教授 (30217228)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
GOTO Yuichi 埼玉大学, 大学院・理工学研究科, 助教 (70400801)
|
|---|
| Project Period (FY) |
2006 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥6,120,000 (Direct Cost: ¥5,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2009: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2006: ¥3,000,000 (Direct Cost: ¥3,000,000)
|
|---|
| Keywords | ソフトウェア工学 / 反応的システム / 永続計算システム / 先行推論 / 時間相関論理 / 行動推論 / 規範相関論理 / 汎用先行推論エンジン / 時間規範相関論理 |
|---|
| Research Abstract |
Almost all existing reactive systems are passive from the viewpoint of reliability and security, because they can only perform the operations in response to external stimulus but have no ability to response to disasters and attacks, and deal with them actively. Anticipatory Reasoning-Reacting Systems was proposed as a new type of reactive system with high reliability and high security that detect and predict omens of attacks and failures anticipatorily, take some actions to inform its users, and perform some operations to defend attacks and failures by themselves. In this research, we have developed some basic techniques including anticipatory reasoning based on temporal relevant logics, action reasoning based on deontic relevant logics, a forward reasoning engine with general-purpose, and a middleware for persistent computing, and showed the effectiveness of Anticipatory Reasoning-Reacting Systems by some case studies.
|
Report
(6 results)
Research Products
(75 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007,XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy,September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2007
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
Author(s)
Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
Organizer
Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings(E. Corchado, X. Wu, E. Oja (Eds.))
Place of Presentation
Springer-Verlag
Related Report
-
-
-
-
-
-
-
-
[Presentation] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
Author(s)
Yuichi GOTO, Takahiro KOH, Jingde CHENG
Organizer
Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
Place of Presentation
Springer-Verlag
Related Report
-
[Presentation] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008
Author(s)
Takahiro KOH, Yuichi GOTO, Jingde CHENG
Organizer
Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
Place of Presentation
Springer-Verlag
Related Report
-
[Presentation] Ensuring Reliability and Availability of Soft System Bus2008
Author(s)
Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
Organizer
Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement(The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society)
Place of Presentation
Yokohama, Japan
Related Report
-
-
-
-
-
-
-
-
-
-
-
[Presentation] FreeEnCal : A Forward Reasoning Engine with General-Purpose2007
Author(s)
Jingde CHENG, Shinsuke NARA, Yuichi GOTO
Organizer
Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II(B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.))
Place of Presentation
Springer-Verlag
Related Report
-
-
[Presentation] Operational Semantics for Positive Relevant Logics without Distribution2007
Author(s)
Ying GAO, Jingde CHENG
Organizer
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings(S. B. Cooper, B. Loewe, and A. Sorbi (Eds.))
Place of Presentation
Springer-Verlag
Related Report
-
-
-
-
-
-
-
-
-
-
-
