Most Probable Explanation in Probabilistic Answer Set Programming
Abstract
Most Probable Explanation (MPE) is a fundamental problem in statistical relational artificial intelligence. In the context of Probabilistic Answer Set Programming (PASP), solving MPE is still an open research problem. In this paper, we present three novel approaches for solving the MPE task in PASP that are based on: i) Algebraic Model Counting, ii) Answer Set Programming (ASP), and iii) ASP with quantifiers (ASP(Q)). These approaches are implemented and evaluated against existing solvers across different datasets and configurations. Empirical results demonstrate that the novel solutions consistently outperform existing alternatives for non-stratified programs.
Cite
Text
Azzolini et al. "Most Probable Explanation in Probabilistic Answer Set Programming." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/1006Markdown
[Azzolini et al. "Most Probable Explanation in Probabilistic Answer Set Programming." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/azzolini2025ijcai-most/) doi:10.24963/IJCAI.2025/1006BibTeX
@inproceedings{azzolini2025ijcai-most,
title = {{Most Probable Explanation in Probabilistic Answer Set Programming}},
author = {Azzolini, Damiano and Mazzotta, Giuseppe and Ricca, Francesco and Riguzzi, Fabrizio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {9049-9057},
doi = {10.24963/IJCAI.2025/1006},
url = {https://mlanthology.org/ijcai/2025/azzolini2025ijcai-most/}
}