基于确定性有限状态自动机的更快精确 MPE 与约束优化
人工智能
2023-05-11 v3
摘要
我们提出了一种基于确定性有限状态自动机的简洁函数表示，用于图模型中的精确最可能解释（MPE）与约束优化任务。随后我们在桶消除（BE）中利用该简洁表示，将我们的 BE 版本记为 FABE。FABE 通过最小化冗余，在运行时间与内存需求方面显著提升了 BE 的性能。在最可能解释与加权约束满足基准上的结果表明，FABE 常优于当前最先进水平，带来了显著的运行时改进（在我们的测试中达 5 个数量级）。
引用
@article{arxiv.2108.03899,
title = {Faster Exact MPE and Constrained Optimization with Deterministic Finite State Automata},
author = {Filippo Bistaffa},
journal= {arXiv preprint arXiv:2108.03899},
year = {2023}
}
备注
Published in the Proceedings of the 2023 International Joint Conference on Artificial Intelligence (IJCAI)