Soft Constraints Processing over Divisible Residuated Lattices

DOI10.1007/978-3-642-02906-6_76MaRDI QIDQ3638207zbMATH OpenOpenAlexFDO

Authors Simone Bova

Publication date 2 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02906-6_76

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Recommendations

• scientific article; zbMATH DE number 2080300
• scientific article; zbMATH DE number 2084757
• Residuation for bipolar preferences in soft constraints
• Semiring-based constraint satisfaction and optimization
• General properties and termination conditions for soft constraint propagation

Cites work

• A treatise on many-valued logics
• An Algebraic Characterisation of Complexity for Valued Constraint
• An algebraic approach to non-classical logics
• Arc consistency for soft constraints
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Metamathematics of fuzzy logic
• Networks of constraints: Fundamental properties and applications to picture processing
• On Fuzzy Logic I Many‐valued rules of inference
• On the structure of generalized BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semiring-based constraint satisfaction and optimization
• Solving weighted CSP by maintaining arc consistency
• The complexity of soft constraint satisfaction
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Triangular norms

Cited in

(1)

• Residuation for bipolar preferences in soft constraints

This page was built for publication: Soft Constraints Processing over Divisible Residuated Lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638207)