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 propagationconstraint solvingfuzzy reasoningsoft constraints

Mathematics Subject Classification ID

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

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

• A theory of abstraction
• Consistency in networks of relations
• 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?)
• Semiring-based constraint satisfaction and optimization
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison

Cited in

(15)

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

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)