Abstracting soft constraints: framework, properties, examples

DOI10.1016/S0004-3702(02)00208-4MaRDI QIDQ2676586zbMATH OpenFDO

Authors Stefano Bistarelli, Philippe Codognet, Francesca Rossi

Publication date 27 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(02)00208-4

zbMATH Keywords

abstractionconstraint propagationsoft constraintsfuzzy reasoningconstraint solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1759706
• scientific article; zbMATH DE number 2243365
• Recent Advances in Constraints
• Soft constraint abstraction based on semiring homomorphism
• scientific article; zbMATH DE number 2080300

Cites work

• scientific article; zbMATH DE number 2084751 (Why is no real title available?)
• scientific article; zbMATH DE number 1759706 (Why is no real title available?)
• scientific article; zbMATH DE number 1759711 (Why is no real title available?)
• A theory of abstraction
• Consistency in networks of relations
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semiring-based constraint satisfaction and optimization

Cited in

(15)

• Contractibility and contractible approximations of soft global constraints
• On a condition for semirings to induce compact information algebras.
• Formal Approaches to Software Testing
• Abstraction for non-ground answer set programs
• Soft constraint abstraction based on semiring homomorphism
• scientific article; zbMATH DE number 1759706 (Why is no real title available?)
• Logical foundations of possibilistic keys
• Using hard constraints for representing soft constraints
• Recent Advances in Constraints
• On conditions for semirings to induce compact information algebras
• On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
• On quotients of formal power series
• Semiring-Based Soft Constraints
• Fuzzy \(rr\)DFCSP and planning
• Abstraction in constraint optimization problems

Describes a project that uses

Uses Software

• AbsCon

This page was built for publication: Abstracting soft constraints: framework, properties, examples

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