Relaxations of semiring constraint satisfaction problems
Information Processing Letters
A Rewriting Logic Framework for Soft Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Addressing the Brittleness of Agent Interaction
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Relaxation of soft constraints via a unified semiring
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Hi-index | 0.00 |
The partial constraint satisfaction paradigm focuses on solving relaxations of problems that either do not admit solutions, or that are either impractical or impossible to solve completely. The semiring-based framework for soft constraints is a unifying model for a variety of extensions of the constraint satisfaction formalism. For example, the semiring-based framework can represent weighted, fuzzy, probabilistic and set-based constraint satisfaction problems. In this paper, we discuss how the semiring-based framework for soft constraints can be used to model partial constraint satisfaction problems. We show how the semiring framework can be used to capture a notion of distance between a solution and a problem based on the known distance metrics used in the partial constraint satisfaction literature. These solution-problem distance metrics can be seen as providing lower-bounds on the distance between a problem and its relaxation.