Abstract:Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from a suitable fragment of intuitionistic (linear) logic --ILL-- and processes can be interpreted as formulas in ILL. Constraints as ILL formulas fail to represent accurately situations where "preferences" (called soft constraints) such as probabilities, uncertainty or fuzziness are present. In order to circumvent this problem, c-semirings have been proposed as algebraic structures for defining constraint systems where agents are allowed to tell and ask soft constraints. Nevertheless, in this case, the tight connection to logic and proof theory is lost. In this work, we give a proof theoretical interpretation to soft constraints: they can be defined as formulas in a suitable fragment of ILL with subexponentials (SELL) where subexponentials, ordered in a c-semiring structure, are interpreted as preferences. We hence achieve two goals: (1) obtain a CCP language where agents can tell and ask soft constraints and (2) prove that the language in (1) has a strong connection with logic. Hence we keep a declarative reading of processes as formulas while providing a logical framework for soft-CCP based systems. An interesting side effect of (1) is that one is also able to handle probabilities (and other modalities) in SELL, by restricting the use of the promotion rule for non-idempotent <a class="link-external link-http" href="http://c-semirings.This" rel="external noopener nofollow">this http URL</a> finer way of controlling subexponentials allows for considering more interesting spaces and restrictions, and it opens the possibility of specifying more challenging computational systems.

k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices

Soft arc consistency revisited

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems

Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

A Framework for Bottom-Up Simulation of SLD-Resolution

Exploring Directional Path-Consistency for Solving Constraint Networks

Symmetric Linear Arc Monadic Datalog and Gadget Reductions

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

Algebraic Global Gadgetry for Surjective Constraint Satisfaction

A set-theoretical approach for ABox reasoning services (Extended Version)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction

Algebraic Reasoning over Relational Structures

Soft constraint abstraction based on semiring homomorphism

On Approximability of Satisfiable k-CSPs: V

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality

On the speed of constraint propagation and the time complexity of arc consistency testing

The correctness of concurrencies in (reversible) concurrent calculi

Local consistency as a reduction between constraint satisfaction problems