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

Conflict Detection Algorithm Based on Predicate Reasoning

作　　者：刘洁群[1] 

机构地区：[1]合肥学院计算机科学与技术系,合肥230601

出　　处：《吉林大学学报（理学版）》2016年第1期112-115,共4页Journal of Jilin University:Science Edition

基　　金：安徽省高校自然科学研究重点项目(批准号:KJ2014A212)

摘　　要：针对基于策略的网络管理系统中,由于不同用户的需求不同及系统的资源限度等原因,导致策略之间的冲突及系统功能无法正常发挥的问题,提出一种基于谓词推理的冲突检测算法.该算法通过谓词表达策略的触发条件和作用效果,并通过推理自动化地获得策略之间的冲突关系,与传统方法相比具有较好的灵活性和可扩展性.Due to the different needs of different users,resource limitation of system and other reasons in the policy based network management system,these reasons led to conflict between policies,and system could not play a 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.

关 键 词：基于策略的网络管理 谓词推理 冲突检测 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]