Implementation and Applications of Anticipatory Reasoning-Reacting Systems

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

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.