• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Self-evaluation Report

Implementation and Applications of Anticipatory Reasoning-Reacting Systems

Research Project

  • PDF
Project/Area Number 18300005
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionSaitama University

Principal Investigator

CHENG JINGDE  Saitama University, 大学院・理工学研究科, 教授 (30217228)

Project Period (FY) 2006 – 2009
Keywordsソフトウェア工学
Research Abstract

電力・通信制御システムや鉄道・航空管制システムや銀行オンラインシステムや大規模WEBサービスシステムなどの反応的システムは、高度情報化社会における国民生活の安全・安心の確保にとって益々重要になっている。従来の反応的システムは外部からの刺激に対して受動的にしか反応できないので、信頼性と安全性から見れば、いつも受け身になっており、災害や攻撃に事前に能動的に対処することができない。
申請者が提案した先行推論反応システムは、従来の反応的システムに先行予測推論エンジンと自己計測・監視機構を新たに付け加えことにより、システムの内部状態と外部環境の変化を計測し監視しながら、災害や攻撃の前兆を検出し、時間相関論理に基づく先行予測推論の結果、および規範相関論理に基づく行動推論の結果に基づいて、しかるべき行動を決め、災害や攻撃による被害を未然に防ぐことを目指す次世代高信頼性高安全性反応的システムである。
本研究課題は、申請者らによるこれまでの研究成果に基づいて、先行推論反応システムの実現技術を明らかにすると共に、実際の応用事例研究を通じて、先行推論反応システムの有効性と有用性を実証する。

  • Research Products

    (8 results)

All 2009 2008 2007 2006

All Journal Article (6 results) Presentation (2 results)

  • [Journal Article] Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings,Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2009

    • Author(s)
      Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
    • Journal Title

      Vol.5572(Springer-Verla)

      Pages: 68-76

  • [Journal Article] "Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings2008

    • Author(s)
      Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
    • Journal Title

      Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems(in D. M. Dubois(Ed.))(Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems)(The American Institute of Physics) Vol.1051

      Pages: 244-254

  • [Journal Article] Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space(L. Kang, et al. (Eds.))2008

    • Author(s)
      Jingde CHENG
    • Journal Title

      Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings Vol. 5370(Lecture Notes in Computer Science)(Springer-Verlag)

      Pages: 637-648

  • [Journal Article] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence2007

    • Author(s)
      Jingde CHENG
    • Journal Title

      Journal of Ubiquitous Computing and Intelligence(American Scientific Publishers) Vol.1, No.1(Invited Paper)

      Pages: 35-41

  • [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

    • Author(s)
      Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
    • Journal Title

      FreeEnCal : A Forward Reasoning Engine with General-Purpose(in B. Apolloni, R.J. Howlett, and L.C. Jain(Eds.)) Vol.4693(Springer-Verlag)

      Pages: 444-452

  • [Journal Article] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006

    • Author(s)
      Jingde CHENG and Feng SHANG
    • Journal Title

      International Journal of Computing Anticipatory Systems(CHAOS) Vol.18

      Pages: 61-74

  • [Presentation] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008

    • Author(s)
      Jingde CHENG
    • Organizer
      Proceedings of the 8th International Conference on Hybrid Intelligent Systems, pp.410-416
    • Place of Presentation
      Barcelona, Spain(IEEE Computer Society Press)
    • Year and Date
      20080900
  • [Presentation] Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning, Proceedings of the IEEE 2006 Annual International Conference on Systems2006

    • Author(s)
      Jingde CHENG
    • Organizer
      Man, and Cybernetics, pp. 1036-1041, Taipei
    • Place of Presentation
      Taiwan(The IEEE Systems, Man, and Cybernetics Society)
    • Year and Date
      20061000

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi