Dans ce papier, nous proposons un cadre algébrique général dont les briques de base sont des relations locales de croyance, de faisabilité et de désir. L'objectif principal est de construire un cadre permettant d'unifier de nombreux formalismes qui ont été développés pour manipuler des contraintes, des préférences ou des incertitudes, tels que les problèmes de satisfaction de contraintes (dures, souples, mixtes, quantifiées, stochastiques), les réseaux bayésiens et les réseaux de Gibbs, les graphes chaînés, les diagrammes d'influence, les processus décisionnels de Markov partiellement ou complètement observables... A partir du cadre proposé, nous pensons qu'il sera possible de mieux comprendre les liens entre différents formalismes existants et de développer des algorithmes généraux paramétrables, capables de répondre à des requêtes variées sur un problème donné.