摘要:
针对基于策略的网络管理系统中, 由于不同用户的需求不同及系统的资源限度等原因, 导致策略之间的冲突及系统功能无法正常发挥的问题, 提出一种基于谓词推理的冲突检测算法. 该算法通过谓词表达策略的触发条件和作用效果, 并通过推理自动化地获得策略之间的冲突关系, 与传统方法相比具有较好的灵活性和可扩展性.
中图分类号:
刘洁群. 基于谓词推理的冲突检测算法[J]. 吉林大学学报(理学版), 2016, 54(01): 112-115.
LIU Jiequn. Conflict Detection Algorithm Based on Predicate Reasoning[J]. Journal of Jilin University Science Edition, 2016, 54(01): 112-115.