普适计算对推理引擎提出了有别于传统方法的诸多新挑战.面向普适计算的推理引擎需要基于情境驱动,可灵活应对情境时变频繁、实时性、开放性等问题.本文在分析了普适计算中情境感知特性的基础上,提出了一个以一阶谓词逻辑为基础的情境驱动的推理引擎ScudCORE(Scud COntext-driven Reasoning Engine).ScudCORE采用情境过滤机制弱化了由情境时变频繁带来的推理过度频繁、效率低下的问题;采用本体建模技术使推理引擎内外之间的情境信息能相互共享、重用、理解,从而实现推理引擎的主动触发;通过规则管理器增强规则的动态管理功能,提高推理引擎的灵活性.
Pervasive computing puts forward a number of challenges on reasoning engine, such as:to be context-driven, to deal with frequently change of contexts,and to work in a real-time manner. Traditional reasoning engines can hardly meet these new requirements. In this paper, we present a context-driven reasoning engine ScudCORE ( Scud COntext-driven Reasoning Engine), which takes the first order predicate logic as basis. When contexts vary frequently, ScudCORE reduces the reasoning problems of excessive frequency and inefficiency by the context filtering mechanism. We employ ontology to make the reasoning engine convenient to share,reuse and understand context information both inside and outside it. Also we increase its flexibility with a dynamic rule management module.