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é

Motivated by modal semantics induced by majority games, we consider the class of threshold functions. It was shown by L. Hellerstein that this class is characterizable by relational constraints (or equivalently, by functional equations), but that there is no characterization by means of finitely many constraints. In this paper, we present a complete classification of classes of threshold functions induced by Boolean clones, into whether they are characterizable by finitely many relational constraints. Moreover we provide sets of constraints characterizing each of such classes.
Motivés par les sémantiques modales induites par des jeux de majorité, nous considérons 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ésentons les ensembles des contraintes relationnelles qui caractérisent chacune de ces classes.
Fichier principal
Vignette du fichier
lfa2013_10.pdf (485.07 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01616387 , version 1 (13-10-2017)

Identifiants

  • HAL Id : hal-01616387 , version 1

Citer

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

Partager

More