Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Caractérisation multiples minimales utilisant les formules booléennes partiellement définies

Résumé :

Dans cet article, nous proposons de calculer un ensemble de formulesbooléennes partiellement définies qui correspond à la recherche de caractérisations de groupes de vecteurs booléens selon un ensemble de caractères (variables). Ce problème peut être utile pour de nombreuses applications pratiques où les données sont des résultats expérimentaux de tests de présence/absence. Ce problème a été largement étudié, mais généralement dans un cas plus limité, car ici nous avons à calculer simultanément un ensemble complet de formules de caractérisation minimale. Nous proposons donc deux approches différentes qui nous permettent d’étudier la satisfiabilité et la complexité sous-jacente de ce problème. Afin de mettre en évidence l’applicabilité de notre travail, nous fournissons aussi des résultats expérimentaux que nous avons obtenus à partir de données biologiques.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350663
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:45:31
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03350663, version 1
  • OKINA : ua4539

Collections

Citation

Fabien Chhel, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion. Caractérisation multiples minimales utilisant les formules booléennes partiellement définies. 5èmes Journées Nationales de l’IA Fondamentale, IAF 2011, 2011, Non spécifié, France. 10 - p. ⟨hal-03350663⟩

Partager

Métriques

Consultations de la notice

5