Formal Quality Measures for Predictors in Markov Decision Processes

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Abstract

In adaptive systems, predictors are used to anticipate changes in the system’s state or behavior that may require system adaption, e.g., changing its configuration or adjusting resource allocation. Therefore, the quality of predictors is crucial for the overall reliability and performance of the system under control. This paper studies predictors in systems exhibiting probabilistic and non-deterministic behavior modelled as Markov decision processes (MDPs). Main contributions are the introduction of quantitative notions that measure the effectiveness of predictors in terms of their average capability to predict the occurrence of failures or other undesired system behaviors. The average is taken over all memoryless policies. We study two classes of such notions. One class is inspired by concepts that have been introduced in statistical analysis to explain the impact of features on the decisions of binary classifiers (such as precision, recall, f-score). Second, we study a measure that borrows ideas from recent work on probability-raising causality in MDPs and determines the quality of a predictor by the fraction of memoryless policies under which (the set of states in) the predictor is a probability-raising cause for the considered failure scenario.

Details

Original languageEnglish
Title of host publicationProceedings of the 39th Annual AAAI Conference on Artificial Intelligence
EditorsToby Walsh, Julie Shah, Zico Kolter
Place of PublicationWashington, DC
PublisherAAAI Press
Pages26760-26768
Number of pages9
ISBN (print)978-1-57735-897-8
Publication statusPublished - 11 Apr 2025
Peer-reviewedYes

Publication series

SeriesProceedings of the AAAI Conference on Artificial Intelligence
Number25
Volume39
ISSN2159-5399

Conference

Title39th AAAI Conference on Artificial Intelligence
Abbreviated titleAAAI-25
Conference number39
Duration25 February - 4 March 2025
Website
Degree of recognitionInternational event
LocationPennsylvania Convention Center
CityPhiladelphia
CountryUnited States of America

External IDs

Scopus 105003906923
ORCID /0000-0002-5321-9343/work/204613771
ORCID /0000-0003-4829-0476/work/204616309
ORCID /0000-0002-8490-1433/work/204616445
ORCID /0000-0003-1724-2586/work/204617027

Keywords

ASJC Scopus subject areas