AWS Machine Learning Blog· Ferhat Erata·· 3 小时前AI 评分31
用反合一（anti-unification）对形式化策略做语义 diff
Semantic diffing of formal policies with anti-unification
AI 导读
开源引擎用反合一（anti-unification）在 e-graph 上计算两份形式化策略的语义 diff，把共同结构只展示一次、保留每处差异的两个版本，若差异为空则在给定代数律与领域规则下两策略等价。
来源：AWS Machine Learning Blog · aws.amazon.com