Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Problèmes de Contraintes Quantifiées

Problèmes de Contraintes Quantifiées

Vautard-J

Paperback

Series: Omn.Univ.Europ.

Literary CriticismGeneral Computers

ISBN10: 6131537070
ISBN13: 9786131537073
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 88
Weight: 0.31
Height: 0.21 Width: 5.98 Depth: 9.02
Language: French
Cette thèse s'inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendant la programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ou universels, ce qui apporte en théorie une expressivité suffisante pour modéliser des problèmes avec adversaire ou incertitude sur certains paramètres sous forme de problèmes appelés QCSP (Quantified Constraint Satisfaction Problem). Nous commençons par apporter une réponse aux difficultés de modélisation de problèmes réels dont est frappée la programmation par contraintes quantifiées en introduisant une extension aux QCSP permettant d'expliciter les actions possibles de l'agent principal et de son adversaire. Puis, nous décrivons différent problèmes grâce à ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins créés en réponse à cette mème difficulté de modélisation. Enfin, nous nous intéressons à la notion d'optimisation dans le cas des contraintes quantifiées, et apportons un formalisme d'optimisation de contraintes quantifiées permettant d'exprimer des problèmes multi-niveaux non linéaires.

Also in

General Computers

View All