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.