Version vom 6. März 2025, 10:16 Uhr

Foundations of probability-raising causality in Markov decision processes

Christel BaierChristel Baier, Jakob PiribauerJakob Piribauer, Robin ZiemekRobin Ziemek

ISSN: 1860-5974
DOI Link

Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1):66, 2024

Details
Bibtex

KurzfassungAbstract
This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@article{lmcs:10015,
    title      = {Foundations of probability-raising causality in Markov decision processes},
    author     = {Christel Baier and Jakob Piribauer and Robin Ziemek},
    url        = {https://lmcs.episciences.org/10015},
    doi        = {10.46298/lmcs-20(1:4)2024},
    journal    = {Logical Methods in Computer Science},
    issn       = {1860-5974},
    volume     = {Volume 20, Issue 1},
    eid        = 4,
    year       = {2024},
    month      = {Jan},
    keywords   = {Computer Science - Logic in Computer Science},
}

@@ Zeile 2: / Zeile 2: @@
 |ErsterAutorVorname=Christel
 |ErsterAutorNachname=Baier
-|FurtherAuthors=Jakob Piribauer; Robin Ziemek}}
+|FurtherAuthors=Jakob Piribauer; Robin Ziemek
+}}
 {{Article
+|Referiert=0
 |Title=Foundations of probability-raising causality in Markov decision processes
-|Journal=Log. Methods Comput. Sci.
+|To appear=0
+|Year=2024
+|Journal=Logical Methods in Computer Science
 |Volume=20
 |Number=1
-|Year=2024
+|Pages=66
 }}
 {{Publikation Details
+|Abstract=This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.
+|ISSN=1860-5974
 |DOI Name=10.46298/LMCS-20(1:4)2024
-|Abstract=This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.
 |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
+|BibTex=@article{lmcs:10015,
+    title      = {Foundations of probability-raising causality in Markov decision processes},
+    author     = {Christel Baier and Jakob Piribauer and Robin Ziemek},
+    url        = {https://lmcs.episciences.org/10015},
+    doi        = {10.46298/lmcs-20(1:4)2024},
+    journal    = {Logical Methods in Computer Science},
+    issn       = {1860-5974},
+    volume     = {Volume 20, Issue 1},
+    eid        = 4,
+    year       = {2024},
+    month      = {Jan},
+    keywords   = {Computer Science - Logic in Computer Science},
+}
 }}

Article3926188434: Unterschied zwischen den Versionen

Version vom 6. März 2025, 10:16 Uhr

Foundations of probability-raising causality in Markov decision processes

Christel BaierChristel Baier, Jakob PiribauerJakob Piribauer, Robin ZiemekRobin Ziemek