References & Citations
Computer Science > Artificial Intelligence
Title: Fine-Tuning the Odds in Bayesian Networks
(Submitted on 29 May 2021 (v1), last revised 15 Aug 2022 (this version, v3))
Abstract: This paper proposes various new analysis techniques for Bayes networks in which conditional probability tables (CPTs) may contain symbolic variables. The key idea is to exploit scalable and powerful techniques for synthesis problems in parametric Markov chains. Our techniques are applicable to arbitrarily many, possibly dependent parameters that may occur in various CPTs. This lifts the severe restrictions on parameters, e.g., by restricting the number of parametrized CPTs to one or two, or by avoiding parameter dependencies between several CPTs, in existing works for parametric Bayes networks (pBNs). We describe how our techniques can be used for various pBN synthesis problems studied in the literature such as computing sensitivity functions (and values), simple and difference parameter tuning, ratio parameter tuning, and minimal change tuning. Experiments on several benchmarks show that our prototypical tool built on top of the probabilistic model checker Storm can handle several hundreds of parameters.
Submission history
From: Bahare Salmani [view email][v1] Sat, 29 May 2021 20:41:56 GMT (1649kb,D)
[v2] Fri, 16 Jul 2021 11:27:00 GMT (3658kb,D)
[v3] Mon, 15 Aug 2022 19:31:09 GMT (3290kb,D)
Link back to: arXiv, form interface, contact.