Abstract:Bayesian Network (BN) is an efficient model tool for approximate reasoning based on machine learning. It has been widely used for supporting the decision in many engineering applications such as geotechnical engineering. However, the current studies on BN are mostly on uncertainty quantification and decision-making, while the sensitivity analysis on BN, which may provide much more insights for decision-making, has not received much attention. The current research on sensitivity analysis of BN mainly focuses on local method, and there is a need to develop global sensitivity analysis (GSA) for both forward and backward inferences of BN. We present in this paper GSA analysis for BN within two different settings. For the first setting, it is assumed that the BN nodes, as well as their connection are characterized by precise (conditional) probabilities, and we introduce GSA for both forward and backward analysis. It is shown that, by forward analysis, the GSA indices can effectively identify the nodes which make the most contribution to the end nodes directly related to the reliability; by backward analysis, the GSA indices can inform the most important information needs to be collected for BN model updating. The second setting concerns the incomplete knowledge of nodes and their connections, and it is assumed these quantities are characterized by imprecise probability models. In this setting, the GSA is then introduced, and implemented with the newly developed non-intrusive imprecise stochastic simulation (NISS) method, for learning the most important epistemic uncertainty sources, by reducing which the robustness of the BN inference can be enhanced the most. The above theoretical developments are then applied to an infinite slope reliability analysis problem.

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems

LinSATNet: The Positive Linear Satisfiability Neural Networks

Learning Better Representations From Less Data For Propositional Satisfiability

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability

Belief Propagation Neural Networks

PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers

Sensitivity Analysis of Prior Beliefs in Advanced Bayesian Networks.

Goal-Aware Neural SAT Solver

Graph Neural Networks for Propositional Model Counting

Probabilistic Neural-Symbolic Models with Inductive Posterior Constraints.

On the Probability of Necessity and Sufficiency of Explaining Graph Neural Networks: A Lower Bound Optimization Approach

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent

Learning a SAT Solver from Single-Bit Supervision

NLocalSAT: Boosting Local Search with Solution Prediction

Graph Neural Networks and Boolean Satisfiability

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

Neuro-Symbolic Integration of Hopfield Neural Network for Optimal Maximum Random kSatisfiability (Maxrksat) Representation

Improving Two-mode Algorithm Via Probabilistic Selection for Solving Satisfiability Problem

Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework

Understanding and Exploring the Network with Stochastic Architectures.

Guiding High-Performance SAT Solvers with Unsat-Core Predictions