Caractérisation multiples minimales utilisant les formules booléennes partiellement définies - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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.

Fichier non déposé

Dates et versions

hal-03350663 , version 1 (21-09-2021)

Identifiants

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

Citer

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⟩

Collections

UNIV-ANGERS LERIA
4 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More