Implementation and Applications of Anticipatory Reasoning-Reacting Systems

预期推理反应系统的实现和应用

• 批准号: 18300005
• 负责人: CHENG Jingde
• 金额: $ 3.92万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18300005/
• 关键词: ソフトウェア工学; 反応的システム; 永続計算システム; 先行推論; 時間相関論理; 行動推論; 規範相関論理; 汎用先行推論エンジン; 時間規範相関論理

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.

从可靠性和安全性的角度来看，几乎所有现有的反应式系统都是被动的，因为它们只能响应外部刺激而执行操作，而没有能力响应灾难和攻击，并主动处理它们。预期推理-反应系统是一种新型的高可靠性和高安全性的反应系统，它能预先检测和预测攻击和故障的征兆，采取行动通知用户，并自行执行防御攻击和故障的操作。在本研究中，我们开发了一些基本的技术，包括基于时间相关逻辑的预期推理，基于道义相关逻辑的行动推理，一个通用的前向推理引擎，和持久计算的中间件，并通过一些案例研究显示预期推理反应系统的有效性。

项目成果

"Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings

“计算预期系统：CASYS 2007-第八届国际会议，比利时列日，2007 年 8 月 6-11 日”AIP 会议记录

• 发表时间: 2008
• 期刊: 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
• 作者: Jingde CHENG;Yuichi GOTO;and Natsumi KITAJIMA
• 通讯作者: and Natsumi KITAJIMA

Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence

基于软系统总线的持久计算系统作为普适计算和智能的基础设施

• 发表时间: 2007
• 期刊: Journal of Ubiquitous Computing and Intelligence(American Scientific Publishers) Vol.1, No.1(Invited Paper)
• 作者: Ikki Fujiwara;Kento Aida;Isao Ono;Jingde CHENG
• 通讯作者: Jingde CHENG

Persistent Computing Systems Based on Soft System Buses as all Infrastructure of Ubiquitous Computing and Intelligence

基于软系统总线的持久计算系统作为泛在计算和智能的基础设施

• 发表时间: 2007
• 期刊: Journal of Ubiquitous Computing and Intelligence 1
• 作者: 木谷友哉;中橋亮;中田明夫;安本慶一;東野輝夫;西村元一,合田憲人;福田明宏,十鳥弘泰,佐藤和史,米田淳一,大津金光,横田隆史,馬場敬信;Ichiro Satoh;Jingde CHENG
• 通讯作者: Jingde CHENG

A Comparative Study between Soft System Bus and Traditional Middlewares

软系统总线与传统中间件的比较研究

• 发表时间: 2006
• 期刊: Lecture Notes in Computer Science Vol.4278
• 作者: Mohammad REza SELIM;Takumi ENDO;Yuichi GOTO;Jingde CHENG
• 通讯作者: Jingde CHENG

Persistent Computing Systems as an Infrastructure for Pervasive Services

持久计算系统作为普适服务的基础设施

• 发表时间: 2006
• 作者: Jingde CHENG;Yuichi GOTO;Masami SOMEYA;Takumi ENDO
• 通讯作者: Takumi ENDO