Kód: 07137784
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, c ... celý popis
Francouzština
Nákupem získáte 113 bodů
Anotace knihy
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.
Parametry knihy
Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires
1131 Kč
Francouzština
Osobní odběr Praha, Brno a 46611 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )