TL;DR本文介绍了用于解决量化扩展逻辑编程中的第二级推理任务的算法框架Second Level Algebraic Model Counting (2AMC),探讨了使用知识编译技术降低处理效率时的需要考虑变量阶数限制问题,进一步提出并实现了一种静态生成约束的策略,并在多个任务和基准测试上评估了有效性。
Abstract
Quantitative extensions of logic programming often require the solution of so called second level inference tasks, i.e., problems that involve a third operation, such as maximization or normalization, on top of a