{"type":"ScholarlyArticle","title":"Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks","authors":[{"name":"Bahare Salmani","slug":"bahare-salmani","given":"Bahare","family":"Salmani","affiliation":"RWTH Aachen University"},{"name":"Joost-Pieter Katoen","slug":"joost-pieter-katoen","given":"Joost-Pieter","family":"Katoen","affiliation":"RWTH Aachen University"}],"abstract":"This paper addresses the ε-close parameter tuning problem for Bayesian\r\nnetworks (BNs): find a minimal ε-close amendment of probability entries\r\nin a given set of (rows in) conditional probability tables that make a\r\ngiven quantitative constraint on the BN valid. Based on the\r\nstate-of-the-art “region verification” techniques for parametric Markov\r\nchains, we propose an algorithm whose capabilities go\r\nbeyond any existing techniques. Our experiments show that ε-close tuning\r\nof large BN benchmarks with up to eight parameters is feasible. In\r\nparticular, by allowing (i) varied parameters in multiple CPTs and (ii)\r\ninter-CPT parameter dependencies, we treat subclasses of parametric BNs\r\nthat have received scant attention so far.","doi":"10.24963/ijcai.2023/635","url":"https://ijcai.org/proceedings/2023/635","pdf":"https://ijcai.org/proceedings/2023/0635.pdf","markdown":"https://ijcai.org/proceedings/2023/635.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/635","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Uncertainty in AI","track":"Main Track","number":635,"pages":{"first":5720,"last":5729},"keywords":["Uncertainty in AI: UAI: Tractable probabilistic models","Uncertainty in AI: UAI: Bayesian networks","Uncertainty in AI: UAI: Graphical models"],"videos":[],"references":[{"position":1,"raw":"[Ballester-Ripoll and Leonelli, 2022] Rafael Ballester- Ripoll and Manuele Leonelli. You only derive once (YODO): automatic differentiation for efficient sensitivity analysis in Bayesian networks. In PGM, volume 186 of Proceedings of Machine Learning Research, pages 169-180. PMLR, 2022.","title":"You only derive once (YODO): automatic differentiation for efficient sensitivity analysis in Bayesian networks","authors":"Leonelli Ballester-Ripoll, Rafael Ballester-Ripoll, Manuele Leonelli","year":"2022","venue":"Proceedings of Machine Learning Research","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Barreiro et al., 2021] Pablo Barreiro, Jesús San-Román, Maria del Mar Carretero, and Francisco Javier Candel. In- fection and infectivity: Utility of rapid antigen tests for the diagnosis of covid-19. Revista Española de Quimioter- apia, 34(Suppl1):46, 2021.","title":"Infection and infectivity: Utility of rapid antigen tests for the diagnosis of covid-19","authors":"Barreiro","year":"2021","venue":"Revista Española de Quimioterapia","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bolt and van der Gaag, 2015] Janneke H. Bolt and Linda C. van der Gaag. Balanced tuning of multi-dimensional Bayesian network classifiers. In ECSQARU, volume 9161 of Lecture Notes in Computer Science, pages 210-220. Springer, 2015.","title":"Balanced tuning of multi-dimensional Bayesian network classifiers","authors":"H Janneke, Linda C Bolt, Van Der Gaag","year":"2015","venue":"ECSQARU","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bolt and van der Gaag, 2017] Janneke H. Bolt and Linda C. van der Gaag. Balanced sensitivity functions for tuning multi-dimensional Bayesian network classifiers. Int. J. Ap- prox. Reason., 80:361-376, 2017.","title":"Balanced sensitivity functions for tuning multi-dimensional Bayesian network classifiers","authors":"H Janneke, Linda C Bolt, Van Der Gaag","year":"2017","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Castillo et al., 1997] Enrique F. Castillo, José Manuel Gutiérrez, and Ali S. Hadi. Sensitivity analysis in discrete Bayesian networks. IEEE Trans. Syst. Man Cybern. Part A, 27(4):412-423, 1997.","title":"Sensitivity analysis in discrete Bayesian networks","authors":"Enrique F Castillo, José Manuel Gutiérrez, Ali S Hadi","year":"1997","venue":"IEEE Trans. Syst. Man Cybern. Part A","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Chan and Darwiche, 2004] Hei Chan and Adnan Darwiche. Sensitivity analysis in Bayesian networks: From single to multiple parameters. In UAI, pages 67-75. AUAI Press, 2004.","title":"Sensitivity analysis in Bayesian networks: From single to multiple parameters","authors":"Chan, Darwiche ; ] Hei Chan, Adnan Darwiche","year":"2004","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Chan and Darwiche, 2005] Hei Chan and Adnan Darwiche. A distance measure for bounding probabilistic belief change. Int. J. Approx. Reason., 38(2):149-174, 2005.","title":"A distance measure for bounding probabilistic belief change","authors":"Chan, Darwiche ; ] Hei Chan, Adnan Darwiche","year":"2005","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Chan, 2005] Hei Chan. Sensitivity analysis of probabilistic graphical models. University of California, Los Angeles, 2005.","title":"Sensitivity analysis of probabilistic graphical models","authors":"Hei Chan","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Coupé and van der Gaag, 2002] Veerle M. H. Coupé and Linda C. van der Gaag. Properties of sensitivity analy- sis of Bayesian belief networks. Ann. Math. Artif. Intell., 36(4):323-356, 2002.","title":"Properties of sensitivity analysis of Bayesian belief networks","authors":"M H Veerle, Linda C Coupé, Van Der Gaag","year":"2002","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Cubuktepe et al., 2018] Murat Cubuktepe, Nils Jansen, Se- bastian Junges, Joost-Pieter Katoen, and Ufuk Topcu. Syn- thesis in pMDPs: A tale of 1001 parameters. In ATVA, vol- ume 11138 of Lecture Notes in Computer Science, pages 160-176. Springer, 2018.","title":"Synthesis in pMDPs: A tale of 1001 parameters","authors":"Nils Murat Cubuktepe, Sebastian Jansen, Joost-Pieter Junges, Ufuk Katoen, Topcu","year":"2018","venue":"ATVA","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cubuktepe et al., 2022] Murat Cubuktepe, Nils Jansen, Se- bastian Junges, Joost-Pieter Katoen, and Ufuk Topcu. Convex optimization for parameter synthesis in MDPs. IEEE Trans. Autom. Control., 67(12):6333-6348, 2022.","title":"Convex optimization for parameter synthesis in MDPs","authors":"Nils Murat Cubuktepe, Sebastian Jansen, Joost-Pieter Junges, Ufuk Katoen, Topcu","year":"2022","venue":"IEEE Trans. Autom. Control","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Darwiche, 2009] Adnan Darwiche. Modeling and Reason- ing with Bayesian Networks. Cambridge University Press, 2009.","title":"Modeling and Reasoning with Bayesian Networks","authors":"Adnan Darwiche, Darwiche","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Dinnes et al., 2022] Jacqueline Dinnes, Pawana Sharma, Sarah Berhane, Susanna S van Wyk, Nicholas Nyaaba, Julie Domen, Melissa Taylor, Jane Cunningham, Clare Davenport, Sabine Dittrich, et al. Rapid, point-of- care antigen tests for diagnosis of sars-cov-2 infection. Cochrane Database of Systematic Reviews, 7, 2022.","title":"Rapid, point-ofcare antigen tests for diagnosis of sars-cov-2 infection","authors":"Jacqueline Dinnes, Pawana Sharma, Sarah Berhane, Susanna S Van Wyk, Nicholas Nyaaba, Julie Domen, Melissa Taylor, Jane Cunningham, Clare Davenport, Sabine Dittrich","year":"2022","venue":"Cochrane Database of Systematic Reviews","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Heck et al., 2022] Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, and Joost-Pieter Katoen. Gradient- descent for randomized controllers under partial observ- ability. In VMCAI, volume 13182 of Lecture Notes in Computer Science, pages 127-150. Springer, 2022.","title":"Gradientdescent for randomized controllers under partial observability","authors":"Heck","year":"2022","venue":"VMCAI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Hensel et al., 2022] Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk. The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf., 24(4):589-610, 2022.","title":"The probabilistic model checker storm","authors":"Hensel","year":"2022","venue":"Int. J. Softw. Tools Technol. Transf","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Katoen, 2016] Joost-Pieter Katoen. The probabilistic model checking landscape. In LICS, pages 31-45. ACM, 2016.","title":"The probabilistic model checking landscape","authors":"Joost-Pieter Katoen","year":"2016","venue":"LICS","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kisa et al., 2014] Doga Kisa, Guy Van den Broeck, Arthur Choi, and Adnan Darwiche. Probabilistic sentential deci- sion diagrams. In KR. AAAI Press, 2014.","title":"Probabilistic sentential decision diagrams","authors":"Kisa","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Kwisthout and van der Gaag, 2008] Johan Kwisthout and Linda C. van der Gaag. The computational complexity of sensitivity analysis and parameter tuning. In UAI, pages 349-356. AUAI Press, 2008.","title":"The computational complexity of sensitivity analysis and parameter tuning","authors":"Van Kwisthout, Gaag Der, Johan Kwisthout, Linda C Van Der Gaag","year":"2008","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Leonelli, 2019] Manuele Leonelli. Sensitivity analysis be- yond linearity. Int. J. Approx. Reason., 113:106-118, 2019.","title":"Sensitivity analysis beyond linearity","authors":"Manuele Leonelli","year":"2019","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Nishiura et al., 2020] Hiroshi Nishiura, Tetsuro Kobayashi, Takeshi Miyama, Ayako Suzuki, Sung-mok Jung, Kat- suma Hayashi, Ryo Kinoshita, Yichi Yang, Baoyin Yuan, Andrei R Akhmetzhanov, et al. Estimation of the asymp- tomatic ratio of novel coronavirus infections (covid-19). Int. Journal of Infectious Diseases, 94:154-155, 2020.","title":"Estimation of the asymptomatic ratio of novel coronavirus infections (covid-19)","authors":"Hiroshi Nishiura, Tetsuro Kobayashi, Takeshi Miyama, Ayako Suzuki, Sung-Mok Jung, Katsuma Hayashi, Ryo Kinoshita, Yichi Yang, Baoyin Yuan, Andrei R Akhmetzhanov","year":"2020","venue":"Int. Journal of Infectious Diseases","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Pearl, 1988] Judea Pearl. Probabilistic reasoning in intel- ligent systems: networks of plausible inference. Morgan kaufmann, 1988.","title":"Judea Pearl. Probabilistic reasoning in intelligent systems: networks of plausible inference","authors":"Pearl","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Peng and Ding, 2005] Yun Peng and Zhongli Ding. Mod- ifying Bayesian networks by probability constraints. In UAI, pages 459-466. AUAI Press, 2005.","title":"Modifying Bayesian networks by probability constraints","authors":"Ding ; Peng, Yun Peng, Zhongli Ding","year":"2005","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Quatmann et al., 2016] Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen. Parameter synthesis for Markov models: Faster than ever. In ATVA, volume 9938 of Lecture Notes in Computer Sci- ence, pages 50-67, 2016.","title":"Parameter synthesis for Markov models: Faster than ever","authors":"Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen","year":"2016","venue":"ATVA","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Renooij, 2014] Silja Renooij. Co-variation for sensitivity analysis in Bayesian networks: Properties, consequences and alternatives. Int. J. Approx. Reason., 55(4):1022- 1042, 2014.","title":"Silja Renooij. Co-variation for sensitivity analysis in Bayesian networks: Properties, consequences and alternatives","authors":"Renooij","year":"2014","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Salmani and Katoen, 2020] Bahare Salmani and Joost- Pieter Katoen. Bayesian inference by symbolic model checking. In QEST, volume 12289 of Lecture Notes in Computer Science, pages 115-133. Springer, 2020.","title":"Bahare Salmani and Joost-Pieter Katoen. Bayesian inference by symbolic model checking","authors":"Katoen Salmani","year":"2020","venue":"QEST","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Salmani and Katoen, 2021a] Bahare Salmani and Joost- Pieter Katoen. Fine-tuning the odds in Bayesian networks. In ECSQARU, volume 12897 of Lecture Notes in Com- puter Science, pages 268-283. Springer, 2021.","title":"Fine-tuning the odds in Bayesian networks","authors":"Katoen Salmani, Bahare Salmani, Joost-Pieter Katoen","year":"2021","venue":"ECSQARU","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Salmani and Katoen, 2021b] Bahare Salmani and Joost- Pieter Katoen. Fine-tuning the odds in Bayesian networks. CoRR, abs/2105.14371, 2021.","title":"Fine-tuning the odds in Bayesian networks","authors":"Katoen Salmani, Pieter Katoen","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Santos et al., 2013] Eugene Santos, Qi Gu, and Eunice E. Santos. Bayesian knowledge base tuning. Int. J. Approx. Reason., 54(8):1000-1012, 2013.","title":"Bayesian knowledge base tuning","authors":"Eugene Santos, Qi Gu, Eunice E Santos","year":"2013","venue":"Int. J. Approx. Reason","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Spel et al., 2019] Jip Spel, Sebastian Junges, and Joost- Pieter Katoen. Are parametric Markov chains monotonic? In ATVA, volume 11781 of Lecture Notes in Computer Sci- ence, pages 479-496. Springer, 2019.","title":"Are parametric Markov chains monotonic?","authors":"Spel","year":"2019","venue":"ATVA","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Yakaboski and Santos, 2018] Chase Yakaboski and Eugene Santos. Bayesian knowledge base distance-based tuning. In WI, pages 64-72. IEEE Computer Society, 2018.","title":"Chase Yakaboski and Eugene Santos. Bayesian knowledge base distance-based tuning","authors":"Santos Yakaboski","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}