3.3AIJun 30, 2025
BayesL: Towards a Logical Framework for Bayesian NetworksStefano M. Nicoletti, Mariëlle Stoelinga
We introduce BayesL, a novel logical framework for specifying, querying, and verifying the behaviour of Bayesian networks (BNs). BayesL (pronounced "Basil") is a structured language that allows for the creation of queries over BNs. It facilitates versatile reasoning concerning causal and evidence-based relationships, and permits comprehensive what-if scenario evaluations without the need for manual modifications to the model.