Date : 1990
Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , cop. 1990
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Représentation des connaissances
Résumé / Abstract : Cette thèse traite de la décision dans les systèmes de résolution de contraintes. Généralement, ces systèmes fonctionnent selon deux modes. Premièrement, ils effectuent des déductions à partir de connaissances logiques. Deuxièmement, si une solution admissible ne peut pas être trouvée de la connaissance heuristique est utilisée pour prendre une décision qui modifiera l'état des données et relancera l'étape de déduction. La seconde phase, et plus particulièrement les stratégies d'utilisation de la connaissance heuristique ont été étudiées. Le point de départ de ce travail repose sur une analogie entre le problème de sélection de la meilleure décision et l'agrégation de préférence (ou de vote) dans la théorie du choix social. En effet, une stratégie de décision peut consister à faivre voter des heuristiques sur toutes les décisions candidates en vue d'un classement. Cette approche a été étudiée, généralisée et justifiée sur la base de la théorie du choix social. Une architecture a été spécifiée et développée. Elle est constituée d'une séquence de modules de décision classés selon leur priorité. A chacun de ces modules est associé un ensemble de règles de décision de même importance et une stratégie d'agrégation spécifique. Tour à tour chaque module reçoit en entrée un ensemble de décisions potentielles pré-classées et fournit en sortie un nouveau classement qui affine le précédent. Ceci conduit finalement à une élimination possible de décisions. Cette itération continue jusqu'à ce qu'une certaine décision s'avère être essentielle. Cette recherche semble correspondre à un besoin général des systèmes de résolution de contraintes lorsque différents points de vue doivent coopérer sur la façon de guider la résolution.