English
Related papers

Related papers: Bayesian Networks and Proof-Nets: the proof-theory…

200 papers

We uncover a strong correspondence between Bayesian Networks and (Multiplicative) Linear Logic Proof-Nets, relating the two as a representation of a joint probability distribution and at the level of computation, so yielding a…

Logic in Computer Science · Computer Science 2024-12-31 Thomas Ehrhard , Claudia Faggian , Michele Pagani

We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic). This graphical calculus of proofs inherits good features from…

Logic in Computer Science · Computer Science 2011-02-15 Sandra Alves , Maribel Fernández , Ian Mackie

Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront them with the concept of explanation proposed by existing…

Artificial Intelligence · Computer Science 2012-06-18 Ulf Nielsen , Jean-Philippe Pellet , André Elisseeff

Quantum Bayesian networks provide a mathematical formalism to describe causal relations, to analyse correlations, and to predict the probabilities of measurement outcomes, in systems involving both classical and quantum data. They…

Logic in Computer Science · Computer Science 2026-05-27 Rémi Di Guardia , Thomas Ehrhard , Claudia Faggian

A Bayesian network is a graphical model that encodes probabilistic relationships among variables of interest. When used in conjunction with statistical techniques, the graphical model has several advantages for data analysis. One, because…

Machine Learning · Computer Science 2022-01-11 David Heckerman

Bayesian networks provide an elegant formalism for representing and reasoning about uncertainty using probability theory. Theyare a probabilistic extension of propositional logic and, hence, inherit some of the limitations of propositional…

Artificial Intelligence · Computer Science 2007-05-23 Kristian Kersting , Luc De Raedt

Bayesian network is a complete model for the variables and their relationships, it can be used to answer probabilistic queries about them. A Bayesian network can thus be considered a mechanism for automatically applying Bayes' theorem to…

Artificial Intelligence · Computer Science 2010-11-08 Jianguo Ding

Inference is a fundamental reasoning technique in probability theory. When applied to a large joint distribution, it involves updating with evidence (conditioning) in one or more components (variables) and computing the outcome in other…

Logic in Computer Science · Computer Science 2026-03-03 Bart Jacobs , Márk Széles , Dario Stein

There is a brief description of the probabilistic causal graph model for representing, reasoning with, and learning causal structure using Bayesian networks. It is then argued that this model is closely related to how humans reason with and…

Artificial Intelligence · Computer Science 2013-02-08 Scott B. Morris , Doug Cork , Richard E. Neapolitan

In this paper, we propose a model for building natural language explanations for Bayesian Network Reasoning in terms of factor arguments, which are argumentation graphs of flowing evidence, relating the observed evidence to a target…

Artificial Intelligence · Computer Science 2024-10-24 Jaime Sevilla , Nikolay Babakov , Ehud Reiter , Alberto Bugarin

Bayesian networks are directed acyclic graphs representing independence relationships among a set of random variables. A random variable can be regarded as a set of exhaustive and mutually exclusive propositions. We argue that there are…

Artificial Intelligence · Computer Science 2013-03-25 Dekang Lin

Gene and protein networks are very important to model complex large-scale systems in molecular biology. Inferring or reverseengineering such networks can be defined as the process of identifying gene/protein interactions from experimental…

Machine Learning · Computer Science 2017-03-10 Stefano Beretta , Mauro Castelli , Ivo Goncalves , Ivan Merelli , Daniele Ramazzotti

This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with…

Artificial Intelligence · Computer Science 2012-07-19 Fabio Gagliardi Cozman , Cassio Polpo de Campos , Jaime Ide , Jose Carlos Ferreira da Rocha

The relationship between algebraic geometry and the inferential framework of the Bayesian Networks with hidden variables has now been fruitfully explored and exploited by a number of authors. More recently the algebraic formulation of…

Methodology · Statistics 2007-09-24 Eva Riccomagno , Jim Q Smith

Graphs and networks provide a canonical representation of relational data, with massive network data sets becoming increasingly prevalent across a variety of scientific fields. Although tools from mathematics and computer science have been…

Methodology · Statistics 2014-08-11 Benjamin P. Olding , Patrick J. Wolfe

We propose a new approach to explain Bayesian Networks. The approach revolves around a new definition of a probabilistic argument and the evidence it provides. We define a notion of independent arguments, and propose an algorithm to extract…

Artificial Intelligence · Computer Science 2021-12-03 Jaime Sevilla

Network data are increasingly collected along with other variables of interest. Our motivation is drawn from neurophysiology studies measuring brain connectivity networks for a sample of individuals along with their membership to a low or…

Methodology · Statistics 2018-09-11 Daniele Durante , David B. Dunson

In this paper, we develop a graphical modeling framework for the inference of networks across multiple sample groups and data types. In medical studies, this setting arises whenever a set of subjects, which may be heterogeneous due to…

Graphs are ubiquitous in modelling relational structures. Recent endeavours in machine learning for graph-structured data have led to many architectures and learning algorithms. However, the graph used by these algorithms is often…

Machine Learning · Statistics 2020-06-25 Soumyasundar Pal , Saber Malekmohammadi , Florence Regol , Yingxue Zhang , Yishi Xu , Mark Coates

We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constraints should inform such inference or when little or no data…

Artificial Intelligence · Computer Science 2017-05-16 Paul Beaumont , Michael Huth
‹ Prev 1 2 3 10 Next ›