Quelques aspects algorithmiques sur les systèmes de fermeture

Résumé : Nous présentons dans cette thèse les définitions et notations liées aux systèmes de fermeture et montrons leur relation avec les théories de Horn. Nous nous intéressons ensuite à trois opérations sur les systèmes de fermeture : la borne supérieure, la borne inférieure et la différence. Nous proposons une caractérisation de ces différentes opérations selon la représentation des systèmes de fermeture que nous considérons. On s'intéresse ensuite au problème de génération d'une base d'implications mixtes d'un contexte formel. Nous étudions ce problème lorsque la donnée prise en considération est constituée des bases d'implications génériques positives et négatives de ce contexte. Trois résultats majeurs sont présentés : l'apport de propriétés et de règles d'inférence pour déduire des implications mixtes, l'impossibilité de générer une base d'implications mixtes juste et complète à partir de ces données dans le cas général, et la faisabilité dans le cas où le contexte est considéré réduit.
Type de document :
Thèse
Algorithme et structure de données [cs.DS]. Université Blaise Pascal - Clermont-Ferrand II, 2008. Français. 〈NNT : 2008CLF21897〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00731341
Contributeur : Camille Meyer <>
Soumis le : mercredi 12 septembre 2012 - 17:03:49
Dernière modification le : jeudi 12 mai 2016 - 01:03:55
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 12:59:57

Identifiants

  • HAL Id : tel-00731341, version 1

Citation

Yoan Renaud. Quelques aspects algorithmiques sur les systèmes de fermeture. Algorithme et structure de données [cs.DS]. Université Blaise Pascal - Clermont-Ferrand II, 2008. Français. 〈NNT : 2008CLF21897〉. 〈tel-00731341〉

Partager

Métriques

Consultations de
la notice

282

Téléchargements du document

167