Introduction aux solveurs ASP (programmation logique par ensembles réponses)
Responsables : NICOLAS JOUANDEAU.
Contact : nicolas.jouandeau@univ-paris8.fr
Durée : 8h
Modalité et inscription : En présentiel.
Merci d’adresser un mail, avec nom/prénom/n°étudiant/laboratoire à l’enseignant et à votre ED.
Merci d’adresser un mail, avec nom/prénom/n°étudiant/laboratoire à l’enseignant et à votre ED.
Dates : mercredi 4 février 2026 et mercredi 11 mars 2026
Heures : 14h00 – 18H00
Salle : A2-217
Publics : Ouvert aux doctorant.e.s en mathématiques, histoire des sciences et informatique
Descriptif :
La programmation par ensembles de réponses (Answer Set Programming, ASP) est un paradigme de programmation déclarative fondé sur la logique, particulièrement adapté à la résolution des problèmes combinatoires, des problèmes d’optimisation, voir des problèmes NP-difficiles.
L’enjeu de l’utilisation de ces solveurs réside dans leur description sous forme de règles, appelée modèles, permettant de générer des solutions elles-mêmes appelées ensembles de réponses. La capacité des modèles à résoudre efficacement ces problèmes dépend de l’expressivité de leurs règles et de la compacité des modèles avec peu de règles et sans ambiguïté.
Ce séminaire s’articulera autour de 2 séances, regroupant une présentation de la syntaxe, en détaillant les notions de fait, de règle, de contrainte, de règle de choix et de directive d’optimisation, suivie des étapes conceptuelles de réduction et de stabilité inhérentes à la formulation des modèles, avec des exemples illustratifs et des cas pratiques. Le séminaire s’appuiera sur le solveur potassco développé par l’Université de Postdam.
Thèmes :
Programmation logique
Programmation déclarative
Programmation par contraintes
Résolution de problèmes combinatoires et puzzles
