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

• 研究課題/領域番号: 18300005
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 埼玉大学
• 研究代表者: 程 京徳 埼玉大学, 大学院・理工学研究科, 教授 (30217228)
• 研究分担者: 後藤 祐一 埼玉大学, 大学院・理工学研究科, 助教 (70400801)
• 研究期間 (年度): 2006 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 6,120千円 (直接経費: 5,400千円、間接経費: 720千円); 2009年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2007年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2006年度: 3,000千円 (直接経費: 3,000千円)
• キーワード: ソフトウェア工学 / 反応的システム / 永続計算システム / 先行推論 / 時間相関論理 / 行動推論 / 規範相関論理 / 汎用先行推論エンジン / 時間規範相関論理

研究概要

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

研究成果

• [雑誌論文] 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
  • 査読あり
• [雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines (2010)
  • 著者名/発表者名: Takahiro Koh, Yuichi GOTO, Jingde CHENG
  • 雑誌名: International Journal of Computational Science (印刷中)
  • 査読あり
• [雑誌論文] 先行推論に基づく永続的反応システム (2009)
  • 著者名/発表者名: 程京徳
  • 雑誌名: Telecom Frontier, SCAT Technical Journal No. 65 ページ: 34-41
  • 査読あり
• [雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control (2009)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
  • 雑誌名: Lecture Notes in Artificial Intelligence 5572 ページ: 68-76
  • 査読あり
• [雑誌論文] 先行推論に基づく永続的反応システム(招待論文) (2009)
  • 著者名/発表者名: 程京徳
  • 雑誌名: Telecom Frontier, SCAT Technical Journal 65 ページ: 34-41
  • 査読あり
• [雑誌論文] 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)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: Vol.5572(Springer-Verla) ページ: 68-76
• [雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control (2009)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: LectureNotesinArtificialIntelligence 5572 ページ: 68-72
  • 査読あり
• [雑誌論文] 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
  • NAID: 120006385753
  • 査読あり
• [雑誌論文] "Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings (2008)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
  • 雑誌名: 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 ページ: 244-254
• [雑誌論文] Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space(L. Kang, et al. (Eds.)) (2008)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings Vol. 5370(Lecture Notes in Computer Science)(Springer-Verlag) ページ: 637-648
• [雑誌論文] A Low Cost and Resilient Message Queuing Middleware (2008)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: International Journal of Computer Science and Network Security 8 ページ: 225-237
  • 査読あり
• [雑誌論文] A Fast Duplication Checking Algorithm for Forward RAsoning Engines (2008)
  • 著者名/発表者名: Takahiro KOH, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: Lecture Notes in Artificial Intelligence 5178 ページ: 499-507
  • 査読あり
• [雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations (2008)
  • 著者名/発表者名: Yuichi GOTO, Takahiro KOH, and Jingde CHENG
  • 雑誌名: Lecture Notes in Artificial Intelligence 5178 ページ: 526-535
  • 査読あり
• [雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (2008)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
  • 雑誌名: AIP Conference Proceedings 1051 ページ: 244-254
  • 査読あり
• [雑誌論文] Qualitative Spatio-Temporal Reasoning about Moving Objects in Three-dimensional Space (2008)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science 5370 ページ: 637-648
  • 査読あり
• [雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: International Journal of Computing Anticipatory Systems 20 ページ: 177-190
  • 査読あり
• [雑誌論文] Continuous Reactability of Persistent Computing Systems (2008)
  • 著者名/発表者名: Yuichi GOTO, Takumi ENDO, and Jingde CHENG
  • 雑誌名: International Journal of Computing Anticipatory Systems 20 ページ: 219-229
  • 査読あり
• [雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction(and some of its Extensions) (2008)
  • 著者名/発表者名: Ying GAO and Jingde CHENG
  • 雑誌名: Mathematical Structures in Computer Science 18 ページ: 145-164
  • NAID: 120006385753
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence (2007)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Journal of Ubiquitous Computing and Intelligence(American Scientific Publishers) Vol.1, No.1(Invited Paper) ページ: 35-41
• [雑誌論文] "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)
  • 著者名/発表者名: Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
  • 雑誌名: FreeEnCal : A Forward Reasoning Engine with General-Purpose(in B. Apolloni, R.J. Howlett, and L.C. Jain(Eds.)) Vol.4693(Springer-Verlag) ページ: 444-452
• [雑誌論文] Persistent Computing Systems Based on Soft System Buses as all Infrastructure of Ubiquitous Computing and Intelligence (2007)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Journal of Ubiquitous Computing and Intelligence 1 ページ: 35-41
  • 査読あり
• [雑誌論文] Operational Semantics for Positive Relevant Logics without Distribution (2007)
  • 著者名/発表者名: Ying GAO and Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science 4497 ページ: 325-335
  • 査読あり
• [雑誌論文] FreeEnCal:A Forward Reasoning Engine with General-Purpose (2007)
  • 著者名/発表者名: Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
  • 雑誌名: Lecture Notes in Computer Science 4693 ページ: 444-452
  • 査読あり
• [雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing (2007)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
  • 雑誌名: Lecture Notes in Computer Science 4693 ページ: 845-851
  • 査読あり
• [雑誌論文] Measuring Reactability of Persistent Computing Systems (2007)
  • 著者名/発表者名: Takumi ENDO, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science 4829 ページ: 144-151
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems (2006)
  • 著者名/発表者名: Jingde CHENG and Feng SHANG
  • 雑誌名: International Journal of Computing Anticipatory Systems(CHAOS) Vol.18 ページ: 61-74
• [雑誌論文] 先行推論による予測とその論理基礎 (2006)
  • 著者名/発表者名: 程 京徳
  • 雑誌名: 日本信頼性学会誌「信頼性」 Vol.28 No.7 ページ: 451-460
• [雑誌論文] Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (2006)
  • 著者名/発表者名: Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science Vol.4006 ページ: 167-178
• [雑誌論文] A Comparative Study between Soft System Bus and Traditional Middlewares (2006)
  • 著者名/発表者名: Mohammad REza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science Vol.4278 ページ: 1264-1273
• [雑誌論文] 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
• [雑誌論文] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] Fast Anticipatory Reasoning for Computing Anticipatory Systems (2009)
  • 著者名/発表者名: Takahiro KOH, Yuichi GOTO, Jingde CHENG
  • 学会等名: Ninth International Conference on Computing Anticipatory Systems
  • 発表場所: Liege, Belgium
• [学会発表] Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems (2009)
  • 著者名/発表者名: Yuichi GOTO, Ryota KUBONIWA, Jingde CHENG
  • 学会等名: Ninth International Conference on Computing Anticipatory Systems
  • 発表場所: Liege, Belgium
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Proceedings of the 8th International Conference on Hybrid Intelligent Systems, pp.410-416
  • 発表場所: Barcelona, Spain(IEEE Computer Society Press)
• [学会発表] Qualitative Spatio-temporal Reasoning about Movement of Mobile Agents/Objects (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: 7th International Conference on Machine Learning and Cybernetics
  • 発表場所: Kunming, China
• [学会発表] Ensuring Reliability and Availability of Soft System Bus (2008)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
  • 学会等名: 2nd IEEE International Conference on Secure System Integration and Reliability Improvement
  • 発表場所: 横浜市国際交流協会
• [学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: 8th International Conference on Hybrid Intelligent Systems
  • 発表場所: Barcelona, Spain
• [学会発表] Testing and Debugging Persistent Computing Systems: A New Chal lenge in Ubiquitous Computing (2008)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
  • 発表場所: Shanghai,China
• [学会発表] An Improvement of REM: A Replication Oriented Event-based Middleware (2008)
  • 著者名/発表者名: Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
  • 学会等名: 4th International Conference on Availability, Reliability and Security
  • 発表場所: 福岡工業大学
• [学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
  • 学会等名: 3rd Intemational Conference on Availability, Reliability and Security
  • 発表場所: Barcelona,Spain
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] Distributed Hash Table based Implementation of Soft System Buses (2007)
  • 著者名/発表者名: Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG
  • 学会等名: 2nd International Conference on Scalable Information Systems
  • 発表場所: Suzhou,China
• [学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning Reacting Systems (2007)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
  • 学会等名: Eighth International Conference on Computing Anticipatory Systems
  • 発表場所: Liege,Belgium
• [学会発表] Continuous Reactabiity of Persistent Computing Systems (2007)
  • 著者名/発表者名: Yuichi GOTO, Takumi ENDO, and Jingde CHENG
  • 学会等名: Eighth International Conference on Computing Anticipatory Systems
  • 発表場所: Liege,Belgium
• [学会発表] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems (2007)
  • 著者名/発表者名: Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
  • 学会等名: Eighth International Conference on Computing Anticipatory Systems
  • 発表場所: Liege,Belgium
• [学会発表] A Semilattice Model for the Theory Grid,Proceedings of the 3rd Intemational Conference on Semantics (2007)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: 3rd International Conference on Semantics, Knowledge and Grid
  • 発表場所: Xi'an,China
• [学会発表] A Rephcation Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks (2007)
  • 著者名/発表者名: Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
  • 学会等名: 5th Intemational Wbrkshop on Middleware fbr Pervasive and Ad-Hoc Computing
  • 発表場所: Newport Beach,USA
• [学会発表] ENQUETE-BAISE:A General-Purpose E-Questionnaire Server fbr Ubiquitous Questiomaire (2007)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, Masato KOIDE, Keigo NAGAHAMA, Masami SOMEYA, Yusuke UTSUMI, and Ayaka SHIONOIRI
  • 学会等名: 2nd IEEE Asia-Pacific Services Computilg Conference
  • 発表場所: Tsukuba,Japan
• [学会発表] 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
• [学会発表] 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
• [学会発表] 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
• [学会発表] Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning, Proceedings of the IEEE 2006 Annual International Conference on Systems (2006)
  • 著者名/発表者名: Jingde CHENG
  • 学会等名: Man, and Cybernetics, pp. 1036-1041, Taipei
  • 発表場所: Taiwan(The IEEE Systems, Man, and Cybernetics Society)