先行予測に基づく反応的システムの実現と応用

2009 年度 研究成果報告書

• 研究課題/領域番号: 18300005
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 埼玉大学
• 研究代表者: 程 京徳 埼玉大学, 大学院・理工学研究科, 教授 (30217228)
• 研究分担者: 後藤 祐一 埼玉大学, 大学院・理工学研究科, 助教 (70400801)
• 研究期間 (年度): 2006 – 2009
• キーワード: ソフトウェア工学 / 反応的システム / 永続計算システム / 先行推論 / 時間相関論理 / 行動推論 / 規範相関論理 / 汎用先行推論エンジン

研究概要

従来の反応的システムは、外部からの刺激に対して受動的にしか反応できないので、信頼性と安全性から見れば、いつも受け身になっており、異常や攻撃に事前に能動的に対処することができない。先行推論反応システムは、被害を未然に能動的に防ぐために、高信頼性高安全性を有する次世代反応的システムとして研究代表者により提案されたものである。本研究は、時間相関論理に基づく先行予測推論、規範相関論理に基づく行動推論、汎用高速前向き推論エンジン、永続計算を実現するためのミドルウエアなど、先行推論反応システムの実現にとって必要な基盤技術を開発したと共に、応用事例研究を通じて、先行推論反応システムの有効性と有用性を実証した。

研究成果

• [雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines (2010)
  • 著者名/発表者名: Takahiro Koh, Yuichi GOTO, Jingde CHENG
  • 雑誌名: International Journal of Computational Science Vol. 4, No. 3
  • 査読あり
• [雑誌論文] 先行推論に基づく永続的反応システム (2009)
  • 著者名/発表者名: 程京徳
  • 雑誌名: Telecom Frontier, SCAT Technical Journal No. 65 ページ: 34-41
  • 査読あり
• [雑誌論文] Continuous Reactability of Persistent Computing Systems (2008)
  • 著者名/発表者名: Yuichi GOTO, Takumi ENDO, Jingde CHENG
  • 雑誌名: International Journal of Computing Anticipatory Systems Vol. 20 ページ: 219-229
  • 査読あり
• [雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, Jingde CHENG
  • 雑誌名: International Journal of Computing Anticipatory Systems Vol. 20 ページ: 177-190
  • 査読あり
• [雑誌論文] A Low Cost and Resilient Message Queuing Middleware (2008)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
  • 雑誌名: International Journal of Computer Science and Network Security Vol. 8, No. 8 ページ: 225-237
  • 査読あり
• [雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction (and some of its Extensions) (2008)
  • 著者名/発表者名: Ying GAO, Jingde CHENG
  • 雑誌名: Mathematical Structures in Computer Science Vol. 18, No. 1 ページ: 145-164
  • 査読あり
• [雑誌論文] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence (Invited Paper) (2007)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Journal of Ubiquitous Computing and Intelligence Vol. 1, No. 1 ページ: 35-41
  • 査読あり
• [雑誌論文] A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic (2007)
  • 著者名/発表者名: Yuichi GOTO, Jingde CHENG
  • 雑誌名: Electronic Notes in Theoretical Computer Science Vol. 169 ページ: 87-97
  • 査読あり
• [雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction (2007)
  • 著者名/発表者名: Ying GAO, Jingde CHENG
  • 雑誌名: Electronic Notes in Theoretical Computer Science Vol. 169 ページ: 61-71
  • 査読あり
• [雑誌論文] An Anticipatory Reasoning Engine for Computing Anticipatory Systems (2006)
  • 著者名/発表者名: Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
  • 雑誌名: International Journal of Computing Anticipatory Systems Vol. 18 ページ: 225-234
  • 査読あり
• [雑誌論文] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems (2006)
  • 著者名/発表者名: Jingde CHENG, Feng SHANG
  • 雑誌名: International Journal of Computing Anticipatory Systems Vol. 18 ページ: 61-74
  • 査読あり
• [雑誌論文] 先行推論による予測とその論理基礎 (2006)
  • 著者名/発表者名: 程京徳
  • 雑誌名: 日本信頼性学会誌「信頼性」 Vol. 28, No. 7 ページ: 451-460
  • 査読あり
• [学会発表] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control (2009)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
  • 学会等名: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings(E. Corchado, X. Wu, E. Oja (Eds.))
  • 発表場所: Springer-Verlag
  • 年月日: 20090600
• [学会発表] An Improvement of REM : A Replication Oriented Event-based Middleware (2009)
  • 著者名/発表者名: Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
  • 学会等名: Proceedings of the 4th International Conference on Availability, Reliability and Security
  • 発表場所: Fukuoka, Japan, IEEE Computer Society Press
  • 年月日: 20090316-20090319
• [学会発表] Testing and Debugging Persistent Computing Systems : A New Challenge in Ubiquitous Computing (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Proceedings of the 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
  • 発表場所: Shanghai, China, IEEE Computer Society Press
  • 年月日: 20081217-20081220
• [学会発表] Qualitative Spatiotemporal Reasoning about Moving Objects in Three-dimensional Space (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008, Proceedings(L. Kang, et al. (Eds.))
  • 発表場所: Springer-Verlag
  • 年月日: 20081200
• [学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (Invited Paper) (2008)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, Natsumi KITAJIMA
  • 学会等名: Computing Anticipatory Systems : CASYS 2007-Eighth International Conference, Liege, Belgium, 6-11 August 2007, AIP Conference Proceedings (D. M. Dubois (Ed.))
  • 発表場所: The American Institute of Physics
  • 年月日: 20081100
• [学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Proceedings of the 8th International Conference on Hybrid Intelligent Systems
  • 発表場所: Barcelona, Spain, IEEE Computer Society Press
  • 年月日: 20080910-20080912
• [学会発表] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations (2008)
  • 著者名/発表者名: Yuichi GOTO, Takahiro KOH, Jingde CHENG
  • 学会等名: 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.))
  • 発表場所: Springer-Verlag
  • 年月日: 20080900
• [学会発表] A Fast Duplication Checking Algorithm for Forward Reasoning Engines (2008)
  • 著者名/発表者名: Takahiro KOH, Yuichi GOTO, Jingde CHENG
  • 学会等名: 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.))
  • 発表場所: Springer-Verlag
  • 年月日: 20080900
• [学会発表] Ensuring Reliability and Availability of Soft System Bus (2008)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
  • 学会等名: 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)
  • 発表場所: Yokohama, Japan
  • 年月日: 20080714-20080717
• [学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
  • 学会等名: Proceedings of the 3rd International Conference on Availability, Reliability and Security
  • 発表場所: Barcelona, Spain, IEEE Computer Society Press
  • 年月日: 20080304-20080307
• [学会発表] Measuring Reactability of Persistent Computing Systems (2007)
  • 著者名/発表者名: Takumi ENDO, Yuichi GOTO, Jingde CHENG
  • 学会等名: Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers(M. Lumpe and W. Vanderperren (Eds.))
  • 発表場所: Springer-Verlag
  • 年月日: 20071200
• [学会発表] FreeEnCal : A Forward Reasoning Engine with General-Purpose (2007)
  • 著者名/発表者名: Jingde CHENG, Shinsuke NARA, Yuichi GOTO
  • 学会等名: 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.))
  • 発表場所: Springer-Verlag
  • 年月日: 20071200
• [学会発表] A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks (2007)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
  • 学会等名: Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing : held at the ACM/IFIP/USENIX 8th International Middleware Conference
  • 発表場所: Newport Beach, USA, ACM Press
  • 年月日: 20071126-20071130
• [学会発表] Distributed Hash Table based Implementation of Soft System Buses (2007)
  • 著者名/発表者名: Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
  • 学会等名: Proceedings of the 2nd International Conference on Scalable Information Systems, ACM International Conference Proceeding Series
  • 発表場所: Suzhou, China, ACM Press
  • 年月日: 20070606-20070608
• [学会発表] Operational Semantics for Positive Relevant Logics without Distribution (2007)
  • 著者名/発表者名: Ying GAO, Jingde CHENG
  • 学会等名: 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.))
  • 発表場所: Springer-Verlag
  • 年月日: 20070600
• [学会発表] Persistent Computing Systems as an Infrastructure for Pervasive Services (2006)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, Masami SOMEYA, Takumi ENDO
  • 学会等名: Proceedings of the 1st International Symposium on Pervasive Computing and Applications
  • 発表場所: Urumchi, China, IEEE
  • 年月日: 20060803-20060805
• [学会発表] A Prototype Implementation of an Anticipatory Reasoning-Reacting System (Invited Paper) (2006)
  • 著者名/発表者名: Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, Jingde CHENG
  • 学会等名: Computing Anticipatory Systems : CASYS 2005-Seventh International Conference, Liege, Belgium, 8-13 August 2005(D. M. Dubois (Ed.))
  • 発表場所: American Institute of Physics
  • 年月日: 20060600
• [学会発表] Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems (2006)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Proceedings of the 1st International Conference on Availability, Reliability and Security
  • 発表場所: Vienna, Austria, IEEE Computer Society Press
  • 年月日: 20060420-20060422