一种基于拓扑排序和约束求解的供应链监督规则冲突检测方法
摘要:
本发明属于知识图谱规则冲突检测领域,公开了一种基于拓扑排序和约束求解的规则冲突检测方法及系统,用于对企业供应链管理系统中规则条例合法性及合理性的判断。本发明采用了基于抽象语法树(AST)的规则解析方法,将以Datalog语法编写的规则字符串解析成JSON格式,并与现有规则集进行语义关联;在规则集中添加或者修改规则时,对规则集进行术语语义不一致冲突检测,如果没有冲突则成功添加或修改,否则出现错误提示,不予添加或修改;采用拓扑排序的方法检测规则集中是否出现依赖环路冲突,来防止规则推理陷入死锁;引入约束求解思想来检测规则集中是否存在互斥规则,避免在规则推理过程中出现错误,从而保证规则推理的正确性。
0/0