Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles

Résumé

Motivés par les sémantiques modales induites par des jeux de majorité, nous considerons la classe des fonctions à seuil. L.Hellerstein a montré que cette classe peut être caractérisée par des contraintes relationnelles (ou, de façon équivalente, par des équations fonctionnelles), mais aussi qu'il faut un nombre infini de ces contraintes pour la caractériser. Dans cet article, nous présentons une classification complète des classes de fonctions à seuil induites par des clones booléens, en identifiant ceux qui ont une caractérisation finie. De plus, nous pr\'esentons les ensembles des contraintes relationnelles qui caractérisent chacune de ces classes.
Fichier non déposé

Dates et versions

hal-01093637 , version 1 (10-12-2014)

Identifiants

  • HAL Id : hal-01093637 , version 1

Citer

Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel. Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles. LFA 2013 - 22ème Rencontres francophones sur la Logique Floue et ses Applications, Oct 2013, Reims, France. pp.145-152. ⟨hal-01093637⟩
214 Consultations
0 Téléchargements

Partager

More