AWS Machine Learning Blog· Ferhat Erata·· 1 小时前AI 评分18
用反合一（anti-unification）对形式化策略做语义 diff
Semantic diffing of formal policies with anti-unification
AI 导读
开源引擎用反合一（anti-unification）在 e-graph 上计算两条形式化策略的最具体公共模式，把共享部分只展示一次、差异部分并列保留，若差异为零则两策略在给定代数律与领域规则下等价。
来源：AWS Machine Learning Blog · aws.amazon.com