论文部分内容阅读
普适计算对推理引擎提出了诸多方面的挑战，如：需情境驱动、需应对情境时变频繁、实时性、开放性等，传统推理引擎难以满足这些新需求。本文以一阶谓词逻辑为基础，提出了一个情境驱动的推理引擎ScudCORE(Scud COntext-driven Reasoning Engine)。ScudCORE采用情境过滤机制弱化了由情境时变频繁带来的推理过度频繁、效率低下的问题;利用本体建模技术实现了推理引擎内外之间情境信息的共享、重用、理解功能;通过规则管理器模块增加了推理引擎的灵活性。