« Programmation par ensembles réponses » : différence entre les versions
m (ClaireGorjux a déplacé la page Answer set programming vers Programmation par ensembles réponses) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
... | ... | ||
== Français == | == Français == | ||
''' programmation par ensembles réponses ''' | |||
== Anglais == | == Anglais == | ||
''' | ''' 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). | 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). | ||
| Ligne 20 : | Ligne 15 : | ||
<small> | <small> | ||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | |||
[https://en.wikipedia.org/wiki/Answer_set_programming Source : Wikipedia] | |||
[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 ] | |||
[[Catégorie:Vocabulary]] | |||
[[Catégorie:Intelligence artificielle]] | |||
Version du 12 mai 2021 à 11:16
Définition
...
Français
programmation par ensembles réponses
Anglais
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.
Contributeurs: Claire Gorjux, Jean Benoît Morel, wiki
