Semiring induced valuation algebras: exact and approximate local computation algorithms

DOI10.1016/j.artint.2008.03.003zbMath1183.68287MaRDI QIDQ2389661

Yanyan Li

Publication date: 17 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2008.03.003

zbMATH Keywords

uncertainty; semirings; local computation; soft constraints; valuation algebras; valuation networks; join tree decompositions

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

08A70: Applications of universal algebra in computer science

16Y60: Semirings

Related Items

ON TWO TYPES OF CONTINUOUS INFORMATION ALGEBRAS, Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions, Information Algebra, On a condition for semirings to induce compact information algebras., On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras, Enabling local computation for partially ordered preferences, Probabilistic reasoning with graphical security models, Filter-embedding semiring fusion for programming with MapReduce, Sufficient and necessary conditions for solution finding in valuation-based systems, Compositional models in valuation-based systems, Updating credal networks is approximable in polynomial time, On conditions for semirings to induce compact information algebras, Marginalization in models generated by compositional expressions, Local Computation Schemes with Partially Ordered Preferences

Cites Work

• Linear independence in bottleneck algebras
• Statistical metric spaces
• Arc consistency for soft constraints
• Solving weighted CSP by maintaining arc consistency
• Network-based heuristics for constraint-satisfaction problems
• Uninorm aggregation operators
• Local computation with valuations from a commutative semigroup
• Triangular norms
• Idempotent uninorms
• Binary join trees for computing marginals in the Shenoy-Shafer architecture
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Ordered valuation algebras: A generic framework for approximating inference
• Bucket elimination: A unifying framework for reasoning
• Unifying tree decompositions for reasoning in graphical models
• The l 1 -Algebra of a Commutative Semigroup
• Mini-buckets
• Treewidth: Characterizations, Applications, and Computations
• Semiring-based constraint satisfaction and optimization
• The generalized distributive law
• Propositional information systems
• Demi-groupes inversifs et demi-groupes réunions de demi-groupes simples
• On decompositions of a commutative semigroup
• Statistical Metrics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item