« Programmation par ensembles réponses » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 15 : | Ligne 15 : | ||
==Sources== | |||
| Ligne 24 : | Ligne 24 : | ||
[https://hal.inria.fr/hal-00829608/document Source : Belaïd Benhamou, Pierre Siegel. ''Une nouvelle sémantique pour la programmation logique capturant la sémantique des modèles stables : la sémantique des extensions''. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. hal-00829608 ] | [https://hal.inria.fr/hal-00829608/document Source : Belaïd Benhamou, Pierre Siegel. ''Une nouvelle sémantique pour la programmation logique capturant la sémantique des modèles stables : la sémantique des extensions''. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. hal-00829608 ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 12:42
Définition
Forme de programmation déclarative adaptée aux problèmes de recherche difficiles.
Elle est basée sur la sémantique des modèles stables (ensemble de réponses) de la programmation logique.
Français
programmation par ensembles-réponses
programmation par ensembles réponses
Anglais
answer set programming
ASP
Sources
Source : Wikipedia (Glossary of artificial intelligence)
Contributeurs: Claire Gorjux, Jean Benoît Morel, wiki
