基于谓词推理的冲突检测算法

针对基于策略的网络管理系统中, 由于不同用户的需求不同及系统的资源限度等原因, 导致策略之间的冲突及系统功能无法正常发挥的问题, 提出一种基于谓词推理的冲突检测算法.  该算法通过谓词表达策略的触发条件和作用效果, 并通过推理自动化地获得策略之间的冲突关系, 与传统方法相比具有较好的灵活性和可扩展性.

Conflict Detection Algorithm Based on Predicate Reasoning

Due to the different needs of different users, resourcelimitation of system and other reasons in the policy based network management system, these reasons led to conflict between policies, and system could not playa normal function. We proposed a conflict detection algorithm based on predicate reasoning, which could be obtained the conflict relationship between strategies by means of the trigger condition and the action effect of the predicate expression strategy. Compared with the traditional methods, this method has good flexibility and extensibility.