Result Details

Symbiotic Local Search for Small Decision Tree Policies in MDPs

ANDRIUSHCHENKO, R.; ČEŠKA, M.; CHAKRABORTY, D.; JUNGES, S.; KRETINSKY, J.; MACÁK, F. Symbiotic Local Search for Small Decision Tree Policies in MDPs. In Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research. ML Research Press, 2025. p. 132-142.
Type
conference paper
Language
English
Authors
Andriushchenko Roman, Ing., DITS (FIT)
Češka Milan, doc. RNDr., Ph.D., DITS (FIT)
Chakraborty Debraj
Junges Sebastian
Kretinsky Jan
Macák Filip, Ing., DITS (FIT)
Abstract

We study decision making policies in Markov decision processes (MDPs). Two key performance indicators of such policies are their value and their interpretability. On the one hand, policies that optimize value can be efficiently computed via a plethora of standard methods. However, the representation of these policies may prevent their interpretability. On the other hand, policies with good interpretability, such as policies represented by a small decision tree, are computationally hard to obtain. This paper contributes a local search approach to find policies with good value, represented by small decision trees. Our local search symbiotically combines learning decision trees from value-optimal policies with symbolic approaches that optimize the size of the decision tree within a constrained neighborhood. Our empirical evaluation shows that this combination provides drastically smaller decision trees for MDPs that are significantly larger than what can be handled by optimal decision tree learners.

Keywords

Markov Decision Processes; Decision trees; Local search

URL
Published
2025
Pages
132–142
Journal
Proceedings of Machine Learning Research, ISSN
Proceedings
Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence
Conference
41st Conference on Uncertainty in Artificial Intelligence
Publisher
ML Research Press
EID Scopus
BibTeX
@inproceedings{BUT198907,
  author="Roman {Andriushchenko} and Milan {Češka} and  {} and  {} and  {} and Filip {Macák}",
  title="Symbiotic Local Search for Small Decision Tree Policies in MDPs",
  booktitle="Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence",
  year="2025",
  journal="Proceedings of Machine Learning Research",
  pages="132--142",
  publisher="ML Research Press",
  url="https://proceedings.mlr.press/v286/andriushchenko25a.html"
}
Projects
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, Standardní projekty, GA23-06963S, start: 2023-03-01, end: 2025-12-31, running
Departments
Back to top