QASP ou la programmation par ensembles réponses quantifiée - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

QASP ou la programmation par ensembles réponses quantifiée

Résumé

Nous présentons un nouveau paradigme de programmation logique qui étend la programmation par ensembles réponses propositionnelle en lui ajoutant la possibilité de quantifier universellement certains atomes. Ce nouveau paradigme permet de coder de manière plus compacte des problèmes PSPACE sans avoir recours à la programmation logique par ensembles réponses au premier ordre. Nous montrons que les formules booléennes quantifiées peuvent être très simplement codées en ce nouveau formalisme.
Fichier principal
Vignette du fichier
rfia2014_submission_133.pdf (113.46 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00989206 , version 1 (09-05-2014)

Identifiants

  • HAL Id : hal-00989206 , version 1

Citer

Igor Stéphan. QASP ou la programmation par ensembles réponses quantifiée. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France. ⟨hal-00989206⟩
179 Consultations
159 Téléchargements

Partager

More