Semirings for Soft Constraint Solving and Programming

Stefano Bistarelli - Collection Lecture Notes in Computer Science

280 pages, parution le 03/05/2004

Ajouter à une liste

Indisponible

Résumé

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks. This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques such as abstraction and interchangeability to the soft constraint framework and it is demonstrated how soft constraints can be used in some application areas, such as security. Overall, this book is a great starting point for anyone interested in understanding the basics of semiring-based soft constraints.

Written for:
Researchers and professionals

Sommaire

Introduction
Soft constraint satisfaction problems
Towards SCSPs solutions
SCSP Abstraction
Higher Order Semiring-based constraints
Soft CLP
SCLP and generalized shortest path problems
Soft concurrent constraint programming
Interchangeability in soft SCSPs
SCSPs for modeling attacks to security protocols
Conclusions and directions for future work

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Stefano Bistarelli
Collection	Lecture Notes in Computer Science
Parution	03/05/2004
Nb. de pages	280
Format	15,5 x 23,5
Couverture	Broché
Poids	450g
Intérieur	Noir et Blanc
EAN13	9783540211815