Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Problèmes de contraintes quantifiées
Univ Europeenne - EAN : 9786131537073
Édition papier
EAN : 9786131537073
Paru le : 7 oct. 2010
39,00 €
36,97 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131537073
- Réf. fournisseur : 4429987
- Editeur : Univ Europeenne
- Date Parution : 7 oct. 2010
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 88
- Format : H:229 mm L:152 mm E:5 mm
- Poids : 142gr
- Interdit de retour : Retour interdit
- Résumé : 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.
