« Programmation par ensembles réponses » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(2 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Définition ==
== Définition ==
Forme de programmation déclarative orientée vers les problèmes de recherche difficiles. Elle est basée sur la sémantique du modèle stable (ensemble de réponses) de la programmation logique.
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'''


''' answer set programming '''
'''ASP'''
 
 
<small>


[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]


[https://en.wikipedia.org/wiki/Answer_set_programming  Source : Wikipedia]
==Sources==


[http://gdri3iaf.info.univ-angers.fr/IMG/pdf/moinard.pdf  Source : Université d'Angers ]


[https://www.clicours.com/cours-introduction-a-asp-programmation-par-ensembles-reponses/  Source : clicours ]  
[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:Vocabulary]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Intelligence artificielle‏‎]]

Dernière version du 28 janvier 2024 à 11:42