Frozen Boolean partial co-clones

Gustav Nordh (1) , Bruno Zanuttini (2)

1 Department of Computer and Information Science - Linköping University
2 Equipe MAD - Laboratoire GREYC - UMR6072

We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they have important applications in complexity analysis of constraints. The frozen partial co- clones lie between the co-clones and partial co-clones in the sense that the partial co-clone lattice is a refinement of the frozen partial co-clone lattice, which in turn is a refinement of the co-clone lattice. We concentrate on the Boolean domain and determine large parts of the frozen partial co-clone lattice.

Domaines: Système multi-agents [cs.MA]; Intelligence artificielle [cs.AI]; Modélisation et simulation; Apprentissage [cs.LG]

Gustav Nordh, Bruno Zanuttini. Frozen Boolean partial co-clones. Proc. 39th International Symposium on Multiple-Valued Logic (ISMVL 2009), May 2009, Japan. pp.120-125. ⟨hal-00944410⟩