DeepAI AI Chat
Log In Sign Up

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks

by   Benjamin Cabrera, et al.
Universität Duisburg-Essen
University of Hawaii

The paper extends Bayesian networks (BNs) by a mechanism for dynamic changes to the probability distributions represented by BNs. One application scenario is the process of knowledge acquisition of an observer interacting with a system. In particular, the paper considers condition/event nets where the observer's knowledge about the current marking is a probability distribution over markings. The observer can interact with the net to deduce information about the marking by requesting certain transitions to fire and observing their success or failure. Aiming for an efficient implementation of dynamic changes to probability distributions of BNs, we consider a modular form of networks that form the arrows of a free PROP with a commutative comonoid structure, also known as term graphs. The algebraic structure of such PROPs supplies us with a compositional semantics that functorially maps BNs to their underlying probability distribution and, in particular, it provides a convenient means to describe structural updates of networks.


page 1

page 2

page 3

page 4


Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks

This paper exploits extended Bayesian networks for uncertainty reasoning...

Relational Bayesian Networks

A new method is developed to represent probabilistic relations on multip...

Toric and non-toric Bayesian networks

In this paper we study Bayesian networks from a commutative algebra pers...

Probabilistic Inference Using Generators - The Statues Algorithm

We present here a new probabilistic inference algorithm that gives exact...

Concurrency and Probability: Removing Confusion, Compositionally

Assigning a satisfactory truly concurrent semantics to Petri nets with c...

Unifying Inference for Bayesian and Petri Nets

Recent work by the authors equips Petri occurrence nets (PN) with probab...

Probabilistic Argumentation and Information Algebras of Probability Potentials on Families of Compatible Frames

Probabilistic argumentation is an alternative to causal modeling with Ba...