DeepAI AI Chat
Log In Sign Up

Inverses, Conditionals and Compositional Operators in Separative Valuation Algebra

by   Juerg Kohlas, et al.
University of Fribourg

Compositional models were introduce by Jirousek and Shenoy in the general framework of valuation-based systems. They based their theory on an axiomatic system of valuations involving not only the operations of combination and marginalisation, but also of removal. They claimed that this systems covers besides the classical case of discrete probability distributions, also the cases of Gaussian densities and belief functions, and many other systems. Whereas their results on the compositional operator are correct, the axiomatic basis is not sufficient to cover the examples claimed above. We propose here a different axiomatic system of valuation algebras, which permits a rigorous mathematical theory of compositional operators in valuation-based systems and covers all the examples mentioned above. It extends the classical theory of inverses in semigroup theory and places thereby the present theory into its proper mathematical frame. Also this theory sheds light on the different structures of valuation-based systems, like regular algebras (represented by probability potentials), canncellative algebras (Gaussian potentials) and general separative algebras (density functions).


page 1

page 2

page 3

page 4


A Compositional Sheaf-Theoretic Framework for Event-Based Systems

A compositional sheaf-theoretic framework for the modeling of complex ev...

Confidence Factors, Empiricism and the Dempster-Shafer Theory of Evidence

The issue of confidence factors in Knowledge Based Systems has become in...

Quantifying knowledge with a new calculus for belief functions - a generalization of probability theory

We first show that there are practical situations in for instance forens...

Compositional Game Theory, Compositionally

We present a new compositional approach to compositional game theory (CG...

An Axiomatic Framework for Bayesian and Belief-function Propagation

In this paper, we describe an abstract framework and axioms under which ...

CoLA: Exploiting Compositional Structure for Automatic and Efficient Numerical Linear Algebra

Many areas of machine learning and science involve large linear algebra ...

Should Semantic Vector Composition be Explicit? Can it be Linear

Vector representations have become a central element in semantic languag...