Uncertainty
Influence-Based Independence
Özçep, Özgür L. (University of Lübeck) | Kuhr, Felix (University of Lübeck) | Möller, Ralf (University of Lübeck)
Conditional independence structures describe independencies of one set of variables from another set of variables conditioned upon a third set of variables. These structures are invaluable means for compact representations of knowledge because independencies can be exploited for useful factorizations. Conditional independence structures appear in different disguise in various areas of knowledge representation, be it the conditional independence of sets of random variables in probabilistic graphical models such as Bayesian networks or as conditional functions related to belief revision, or as in- dependencies induced by (embedded) multivalued dependencies in data bases. This paper investigates conditional independencies for Boolean functions using Fourier analysis. We define three notions of independence based on the notion of influence of a variable on a function and draw connections to multivalued dependencies.
Hierarchical Classification With Bayesian Networks and Chained Classifiers
Serrano-Pérez, Jonathan (Instituto Nacional de Astrofísica Óptica y Electrónica) | Sucar, Luis Enrique (Instituto Nacional de Astrofísica Óptica y Electrónica)
In this work is proposed a method for Hierarchical Classification, which takes advantage of the hierarchical structure to influence the prediction of local classifiers with their neighbors. To achieve this, two strategies are combined. The first is to represent the hierarchical structure as a Bayesian network, and the second is to build chained classifiers that feed the Bayesian network as local classifiers. The proposed method was tested in several datasets of functional genomics, which consist of tree-structured hierarchies. The results of several variants of the proposed method are compared to the standard methods, Flat and Top-Down, as well as with a start of the art technique, showing superior performance under several metrics.
Linear Time and Space Algorithm for Computing all the Fagin-Halpern Conditional Beliefs Generated From Consonant Belief Functions
Polpitiya, Lalintha G. (University of Miami) | Premaratne, Kamal (University of Miami) | Murthi, Manohar N. (University of Miami)
Halpern 1990; Smets 1991; Yu and Arasta 1994), Dempster's conditional and Fagin-Halpern (FH) conditional can be considered the most widely used two DST conditional The flexibility and expressiveness of Dempster-Shafer (DS) A widely used approach for carrying out precise computation theoretic models make DS evidence theory (Dempster 1967; of the Dempster's conditional is a matrix calculus 1968; Shafer 1976) an ideal framework for reasoning and based algorithm which generates the Dempster's conditional decision making under uncertainty in Artificial Intelligence masses (Klawonn and Smets 1992; Smets 2002). Therefore, this specialization matrix-based method imposes Computing the DST belief functions and the DST conditionals, a prohibitive burden when dealing with larger FoDs.
Learning Strategies for Resisting Power Attacks on Wi-Fi Direct Group Formation
Maraj, Arianit (Florida Institute of Technology) | Atkinson, Timothy (Florida Institute of Technology) | Silaghi, Marius C. (Florida Institute of Technology)
Attacks — on the recent Wi-Fi Direct standard developed for IoT devices — that exploit the high power consumption required for the group owner function are addressed here by introducing intelligent decision making into the group owner negotiation process. The Wi-Fi Direct standard was introduced with the intention of simplifying peer-to-peer connections in home applications while helping devices to save power by centralizing effort into a single group owner device negotiated on start-up. Attacks on the group formation stage can be based on manipulating a victim device to frequently end up being assigned the group owner function, thereby depleting its batteries at faster rates than its peer devices. This manipulation is made easy by the group formation process adopted by the standard. We propose to enhance the group formation process with secure features ensuring fairness by relying on commitments and learning about the behavior observed for peer devices in the past. Simulations are used to quantify the resistance achieved against several attack strategies.
Output-Constrained Bayesian Neural Networks
Yang, Wanqian, Lorch, Lars, Graule, Moritz A., Srinivasan, Srivatsan, Suresh, Anirudh, Yao, Jiayu, Pradier, Melanie F., Doshi-Velez, Finale
Bayesian neural network (BNN) priors are defined in parameter space, making it hard to encode prior knowledge expressed in function space. We formulate a prior that incorporates functional constraints about what the output can or cannot be in regions of the input space. Output-Constrained BNNs (OC-BNN) represent an interpretable approach of enforcing a range of constraints, fully consistent with the Bayesian framework and amenable to black-box inference. We demonstrate how OC-BNNs improve model robustness and prevent the prediction of infeasible outputs in two real-world applications of healthcare and robotics.
Information criteria for non-normalized models
Matsuda, Takeru, Uehara, Masatoshi, Hyvarinen, Aapo
Many statistical models are given in the form of non-normalized densities with an intractable normalization constant. Since maximum likelihood estimation is computationally intensive for these models, several estimation methods have been developed which do not require explicit computation of the normalization constant, such as noise contrastive estimation (NCE) and score matching. However, model selection methods for general non-normalized models have not been proposed so far. In this study, we develop information criteria for non-normalized models estimated by NCE or score matching. They are derived as approximately unbiased estimators of discrepancy measures for non-normalized models. Experimental results demonstrate that the proposed criteria enable selection of the appropriate non-normalized model in a data-driven manner. Extension to a finite mixture of non-normalized models is also discussed.
Seismic Bayesian evidential learning: Estimation and uncertainty quantification of sub-resolution reservoir properties
Pradhan, Anshuman, Mukerji, Tapan
We present a framework that enables estimation of low-dimensional sub-resolution reservoir properties directly from seismic data, without requiring the solution of a high dimensional seismic inverse problem. Our workflow is based on the Bayesian evidential learning approach and exploits learning the direct relation between seismic data and reservoir properties to efficiently estimate reservoir properties. The theoretical framework we develop allows incorporation of non-linear statistical models for seismic estimation problems. Uncertainty quantification is performed with Approximate Bayesian Computation. With the help of a synthetic example of estimation of reservoir net-to-gross and average fluid saturations in sub-resolution thin-sand reservoir, several nuances are foregrounded regarding the applicability of unsupervised and supervised learning methods for seismic estimation problems. Finally, we demonstrate the efficacy of our approach by estimating posterior uncertainty of reservoir net-to-gross in sub-resolution thin-sand reservoir from an offshore delta dataset using 3D pre-stack seismic data.
Moment-Based Variational Inference for Markov Jump Processes
Wildner, Christian, Koeppl, Heinz
We propose moment-based variational inference as a flexible framework for approximate smoothing of latent Markov jump processes. The main ingredient of our approach is to partition the set of all transitions of the latent process into classes. This allows to express the Kullback-Leibler divergence between the approximate and the exact posterior process in terms of a set of moment functions that arise naturally from the chosen partition. To illustrate possible choices of the partition, we consider special classes of jump processes that frequently occur in applications. We then extend the results to parameter inference and demonstrate the method on several examples.
Imputing Missing Events in Continuous-Time Event Streams
Mei, Hongyuan, Qin, Guanghui, Eisner, Jason
Events in the world may be caused by other, unobserved events. We consider sequences of events in continuous time. Given a probability model of complete sequences, we propose particle smoothing---a form of sequential importance sampling---to impute the missing events in an incomplete sequence. We develop a trainable family of proposal distributions based on a type of bidirectional continuous-time LSTM: Bidirectionality lets the proposals condition on future observations, not just on the past as in particle filtering. Our method can sample an ensemble of possible complete sequences (particles), from which we form a single consensus prediction that has low Bayes risk under our chosen loss metric. We experiment in multiple synthetic and real domains, using different missingness mechanisms, and modeling the complete sequences in each domain with a neural Hawkes process (Mei & Eisner 2017). On held-out incomplete sequences, our method is effective at inferring the ground-truth unobserved events, with particle smoothing consistently improving upon particle filtering.
Approximate Bayesian computation via the energy statistic
Nguyen, Hien D., Arbel, Julyan, Lü, Hongliang, Forbes, Florence
Approximate Bayesian computation (ABC) has become an essential part of the Bayesian toolbox for addressing problems in which the likelihood is prohibitively expensive or entirely unknown, making it intractable. ABC defines a quasi-posterior by comparing observed data with simulated data, traditionally based on some summary statistics, the elicitation of which is regarded as a key difficulty. In recent years, a number of data discrepancy measures bypassing the construction of summary statistics have been proposed, including the Kullback--Leibler divergence, the Wasserstein distance and maximum mean discrepancies. Here we propose a novel importance-sampling (IS) ABC algorithm relying on the so-called \textit{two-sample energy statistic}. We establish a new asymptotic result for the case where both the observed sample size and the simulated data sample size increase to infinity, which highlights to what extent the data discrepancy measure impacts the asymptotic pseudo-posterior. The result holds in the broad setting of IS-ABC methodologies, thus generalizing previous results that have been established only for rejection ABC algorithms. Furthermore, we propose a consistent V-statistic estimator of the energy statistic, under which we show that the large sample result holds. Our proposed energy statistic based ABC algorithm is demonstrated on a variety of models, including a Gaussian mixture, a moving-average model of order two, a bivariate beta and a multivariate $g$-and-$k$ distribution. We find that our proposed method compares well with alternative discrepancy measures.