Des formules booléennes (quantifiées) à la programmation par ensembles réponses - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Des formules booléennes (quantifiées) à la programmation par ensembles réponses

Résumé

Nous proposons dans cet article une traduction des formulesbooléennes quantifiées vers le paradigme de la programmation par ensembles réponses. Le calcul d’une solution à une formule booléenne quantifiée devient alors équivalent au calcul d’un modèle stable pour un programme logique normal. Le cas des formules propositionnelles est aussi considéré car étant équivalent au cas des formules booléennes quantifiées uniquement existentiellement.

Fichier principal
Vignette du fichier
rfia08.pdf (180.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03350657 , version 1
  • OKINA : ua4520

Citer

Benoit da Mota, Igor Stéphan, Pascal Nicolas. Des formules booléennes (quantifiées) à la programmation par ensembles réponses. Reconnaissance des Formes et Intelligence Artificielle, 2008, Amiens, France. 10 p. ⟨hal-03350657⟩

Collections

UNIV-ANGERS LERIA
5 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More