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


(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === Answer set programming === Answer set programming (A... »)
 
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(12 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Domaine ==
[[Category:Vocabulary]]
== Définition ==
== 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'''


== Termes privilégiés ==
'''programmation par ensembles réponses'''


== Anglais ==
== Anglais ==
'''answer set programming'''
'''ASP'''
==Sources==
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia (Glossary of artificial intelligence) ]


=== Answer set programming ===
[https://en.wikipedia.org/wiki/Answer_set_programming  Source : Wikipedia (Answer set programming) ]
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers—programs for generating stable models—are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).


In a more general sense, ASP includes all applications of answer sets to knowledge representation[1][2] and the use of Prolog-style query evaluation for solving problems arising in these applications.
[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 ]


<br/>
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 11: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)

Source : Wikipedia (Answer set programming)

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Programmation_par_ensembles_réponses&oldid=91532 »

Contributeurs: Claire Gorjux, Jean Benoît Morel, wiki