BriefGPT.xyz
Jun, 2022
基于SMT的带有不确定性的一致性检查(扩展版)
Conformance Checking with Uncertainty via SMT (Extended Version)
HTML
PDF
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
TL;DR
论文介绍了如何通过应用SMT编码来检验具有不确定性的记录信息与数据感知型参考过程的一致性，且作者设计的方法具有模块化和可扩展性为不同类型的不确定性提供适当的成本函数以应对不同的一致性检验任务，并通过实际实现验证了其正确性和可行性。
Abstract
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of
uncertain logs
against
data-aware reference proces
→