Semantisches Browsen
Aus International Center for Computational Logic
We consider the problem of responsibility … We consider the problem of responsibility attribution in the setting of parametric Markov chains. Given a family of Markov chains over a set of parameters, and a property, responsibility attribution asks how the difference in the value of the property should be attributed to the parameters when they change from one point in the parameter space to another. We formalize responsibility as path-based attribution schemes studied in cooperative game theory. An attribution scheme in a game determines how a value (a surplus or a cost) is distributed among a set of participants. Path-based attribution schemes include the well-studied Aumann-Shapley and the Shapley-Shubik schemes. In our context, an attribution scheme measures the responsibility of each parameter on the value function of the parametric Markov chain. We study the decision problem for path-based attribution schemes. Our main technical result is an algorithm for deciding if a path-based attribution scheme for a rational (ratios of polynomials) cost function is over a rational threshold. In particular, it is decidable if the Aumann-Shapley value for a player is at least a given rational number. As a consequence, we show that responsibility attribution is decidable for parametric Markov chains and for a general class of properties that include expectation and variance of discounted sum and long-run average rewards, as well as specifications in temporal logic. well as specifications in temporal logic. +
@article{BFM2021,
author = {Christel Baier and Florian Funke and Rupak Majumdar},
title = {Responsibility Attribution in Parameterized Markovian Models},
journal = {Proceedings of the {AAAI} Conference on Artificial Intelligence},
volume = {35},
number = {13},
year = {2021},
pages = {11734-11743},
doi = {10.1609/AAAI.V35I13.17395}
}
author = {Christel Baier and Florian Funke and Rupak Majumdar},
title = {Responsibility Attribution in Parameterized Markovian Models},
journal = {Proceedings of the {AAAI} Conference on Artificial Intelligence},
volume = {35},
number = {13},
year = {2021},
pages = {11734-11743},
doi = {10.1609/AAAI.V35I13.17395}
}
Baier +
Christel +
Christel Baier, Florian Funke, Rupak Majum … Christel Baier, Florian Funke, Rupak Majumdar<br/> '''[[Article930743493|Responsibility Attribution in Parameterized Markovian Models]]''' <br/>__NOTOC__Proceedings of the AAAI Conference on Artificial Intelligence, 35(13):11734-11743, 2021<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article930743493|Details]]icle930743493|Details]] +
Christel Baier, Florian Funke, Rupak Majum … Christel Baier, Florian Funke, Rupak Majumdar<br/> '''[[Article930743493/en|Responsibility Attribution in Parameterized Markovian Models]]''' <br/>__NOTOC__Proceedings of the AAAI Conference on Artificial Intelligence, 35(13):11734-11743, 2021<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article930743493|Details]]icle930743493|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Responsibility Attribution in Parameterized Markovian Models +
Verarbeitungsfehler„Verarbeitungsfehler <span style="font-size:small;">(Processing error)</span>“ ist ein softwareseitig fest definiertes Attribut, das Fehler im Zusammenhang mit der Verarbeitung von Eingaben sowie bei fehlerhaften Attribut-Datenwert-Zuweisungen (Annotationen) speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:43:49 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Responsibility Attribution in Parameterized Markovian Models +, Responsibility Attribution in Parameterized Markovian Models +, Responsibility Attribution in Parameterized Markovian Models +, Responsibility Attribution in Parameterized Markovian Models +, Responsibility Attribution in Parameterized Markovian Models +, Responsibility Attribution in Parameterized Markovian Models + und Responsibility Attribution in Parameterized Markovian Models +
