Semirings for Soft Constraint Solving and Programming

  • Stefano┬áBistarelli

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2962)

Table of contents

  1. Front Matter
  2. Stefano Bistarelli
    Pages 1-20
  3. Stefano Bistarelli
    Pages 21-50
  4. Stefano Bistarelli
    Pages 51-98
  5. Stefano Bistarelli
    Pages 99-124
  6. Stefano Bistarelli
    Pages 125-136
  7. Stefano Bistarelli
    Pages 137-169
  8. Stefano Bistarelli
    Pages 171-189
  9. Stefano Bistarelli
    Pages 191-212
  10. Stefano Bistarelli
    Pages 213-235
  11. Stefano Bistarelli
    Pages 263-267
  12. Back Matter

About this book

Introduction

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.

Keywords

CSP Constraint Satisfaction constraint logic programming constraint programming constraint solution fuzzy constraints hierarchical constr logic modeling over-constrained problems preference-based CSP programming semiring-based constraints set constraints soft constraints

Authors and affiliations

  • Stefano┬áBistarelli
    • 1
  1. 1.Istituto di Informatica e Telematica (CNR)PisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b95712
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21181-5
  • Online ISBN 978-3-540-25925-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book