« Programmation par ensembles réponses » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Forme de programmation déclarative | 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 == | == Français == | ||
''' programmation par ensembles réponses ''' | '''programmation par ensembles-réponses''' | ||
'''programmation par ensembles réponses''' | |||
== Anglais == | == Anglais == | ||
'''answer set programming''' | |||
''' | '''ASP''' | ||
<small> | <small> | ||
[https:// | [https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia (Glossary of artificial intelligence) ] | ||
[https://en.wikipedia.org/wiki/Answer_set_programming Source : Wikipedia (Answer set programming) ] | |||
[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:Publication]] | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
Version du 14 décembre 2021 à 11:21
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
Source : Wikipedia (Glossary of artificial intelligence)
Contributeurs: Claire Gorjux, Jean Benoît Morel, wiki
