Sep, 2022

寻找不连贯 Horn 表达式的共同点

TL;DR研究在与人共存的环境中操作的自主系统需要遵循其所处社会的规则。通过在 Horn 表达式的类上识别三个充分条件,我们提供了一个计算共同点的多项式时间算法。如果移除其中任何一个条件,则可能不存在较大类别的共同点。