Définitions

Answer set programming

L'answer set programming est une forme de programmation déclarative orientée vers les problèmes de recherche difficiles.

Il est basé sur la sémantique de la programmation logique du modèle stable (ensemble de réponses) . En answer set programming, les problèmes de recherche sont réduits au calcul de modèles stables, et les résolveurs d’ensembles de réponses (programmes permettant de générer des modèles stables) sont utilisés pour effectuer une recherche approfondie . Le processus de calcul utilisé dans la conception de nombreux résolveurs d'ensembles de réponses est une amélioration de l’algorithme DPLL et, en principe, il se termine toujours (contrairement à l’évaluation de requête Prolog, qui peut conduire à une boucle infinie).

De manière plus générale, l'answer set programming  inclut toutes les applications des ensembles de réponses à la représentation des connaissances et l'utilisation de l'évaluation de requêtes de type Prolog pour résoudre les problèmes survenant dans ces applications.

Organisme de formation

CPF, Pole Emploi, Plan de formation   OF N°11755165975 - 17 rue etex, Paris

Recevez des exclus !

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search