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
Article dans une revue

Équivalences et forme prénexe pour les formules booléennes quantifiées.

Résumé :

La plupart des procédures pour résoudre le problème de validité desformules booléennes quantifiées prennent en entrée seulement des formules sous forme normale conjonctive. Or, il est rarement naturel d’exprimer un problème directement sous cette forme. Dans ce travail, nous exhibons un motif possédant d’intéressantes propriétés, particulièrement lors de la mise sous forme prénexe. Les résultats expérimentaux montrent qu’utiliser nos équivalences logiques améliore le temps de résolution par les différentes procédures.

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350579
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:22:56
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : mercredi 22 décembre 2021 - 19:02:23

Fichier

damota_ria_09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03350579, version 1
  • OKINA : ua4260

Collections

Citation

Benoit da Mota. Équivalences et forme prénexe pour les formules booléennes quantifiées.. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2011, 25 (6), pp.717 - 742. ⟨hal-03350579⟩

Partager

Métriques

Consultations de la notice

2

Téléchargements de fichiers

11