In this paper, we made an attempt to study the algebraic nature of antifuzzy subsemiring of a semiring and we introduce the some theorems in anti-fuzzy subsemiring of a semiring. 2000 AMS Subject classification: 03F55, 06D72, 08A72.

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

The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is speciied by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions....

We introduce a general framework for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. The framework is based on a semiring structure, where the set of the semiring specifies the values to be associated to each tuple of values of the variable domain, and the two semiring operations (+ and x) model constraint proje...

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...

In this paper, we investigate the ground-state phase diagram of $S=1/2$ Heisenberg-$\mathrm{\ensuremath{\Gamma}}$ model on a honeycomb lattice by dimer series expansion and exact diagonalization. We focus effects anisotropy interactions; tuning coupling constants, system changes between isolated spin-chain models. find that, in limit, there are three kinds states: A Tomonaga-Luttinger liquid tw...

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 ...