Message passing over factor graph can be considered as generalization of many well known algorithms for efficient marginalization of multivariate function. A specific instance of the algorithm is obtained by choosing an appropriate commutative semiring for the range of the function to be marginalized. Some examples are Viterbi algorithm, obtained on max-product semiring and forward-backward alg...

PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional transition systems. This architecture allows for the use of arbitrary user-defined semirings. New semirings can be generated during run-time and ...

In their seminal paper [1] McCulloch and Pitts have shown the strong relationship between finite automata and so-called McCullochPitts networks. Our goal is to extend this result to weighted automata. In other words, we want to integrate artificial neural networks and weighted automata. For this task, we introduce semiring artificial neural networks, that is, artificial neural networks which im...

A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. Under certain mild conditions on a positive algebraic number [Formula: see text], the additive text] of evaluation semiring atomic. The structure both and multiplicative monoids has been subject several recent papers. Here we focus study its omega-primality elasticity, aiming to better underst...

Let S be a complete star-omega semiring and Σ be an alphabet. For a weighted ω-pushdown automaton P with stateset {1, . . . ,n}, n ≥ 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S≪ Σ ≫),(S≪ Σ ≫)) such that the behavior ‖P‖ of P is a component of a solution of this system. In case the basic semiring is B or N we show that there exists a mixed c...

The max-Łukasiewicz semiring is defined as the unit interval [0, 1] equipped with the arithmetics “a + b” = max(a, b) and “ab” = max(0, a + b− 1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the max-Łukasiewicz linear algebra can be equivalently formulated as a problem of the tropical (max-plus) linear algebra. Based on this equivalence, w...

Many “semiring-like” structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing with soft constraints, highlighting the differences between alternative proposals in the literature. We then extend the semiring structure by adding the notion of division as a weak inverse operation of product. In particular, division is...

This paper proposes a semiring formulation for reasoning about an agent’s changing beliefs: a dynamic epistemic semiring (DES). A DES is a modal semiring extended with a revision operator. The revision operator is given a relational interpretation and a basic calculus is developed – based on the revision operator a contraction operator is also defined. A DES only models actions on an agent’s be...