Unambiguity Verification and Execution Prioritization of Rule Set

摘要：

Rule set is a commonly used structure in rule engine. As an unambiguous rule set, the execution result in any context should be independent from the rule execution sequence. This paper proposes the necessary conditions of primal rule set to be unambiguous. An unambiguity verification algorithm for general rule set is also proposed to improve the unambiguity checking efficiency based on condition expression structural information. Rule set execution efficiency is really dependent on rule execution sequence. This paper discuss how to reduce the times of condition checking by sorting rules according to rule execution trace. Two heuristic algorithms are proposed for the optimization problem. The efficiency of the algorithms is illustrated through a toy example.

关键词： ule Engine Rule Set Rule Set Ambiguityule Engine Rule Set Rule Set AmbiguityR

作者: Chun hua Tian Feng Li Jing Xiao Tie Liu Hao Zhang

作者单位: IBM Research -China,Beijing 100193, China IBM Research-China.

会议类型: 国际会议

会议名称: 2010 IEEE International Conference on Service Operations and Logistics,and Informations(2010 IEEE 服务、运筹、物流与信息化国际研讨会)

会议地点: 青岛

会议语种:英文

页码: 46-51

在线出版日期: 2010-07-15（万方平台首次上网日期，不代表论文的发表时间）