{"product_id":"problemes-de-contraintes-quantifiees-von-jeremie-vautard","title":"Problèmes de contraintes quantifiées","description":"\u003cp\u003eCette 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131537073\"\u003e\u003ch3\u003emodélisation, satisfaction et optimisation\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131537073","offer_id":40148917223517,"sku":"9786131537073","price":39.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2a43111d-e67f-47cc-bc9b-c8601ec0be85.jpg?v=1751697976","url":"https:\/\/shop.autorenwelt.de\/en\/products\/problemes-de-contraintes-quantifiees-von-jeremie-vautard","provider":"Autorenwelt Shop","version":"1.0","type":"link"}