Contraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes PDF Download

Author: Fabrice Ambert
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Lotfi Berkaoui
Publisher:
ISBN:
Category :
Languages : fr
Pages : 124

View

Book Description
Dans cette thèse, notre contribution s'inscrit dans le cadre du projet CLPS qui vise a inclure les ensembles comme structures à part entière dans un langage de programmation logique. Le langage CLPS propose des techniques de résolution de contraintes ensemblistes sur les structures d'ensemble, multi-ensemble et séquence. Cette dernière dénote une structure ordonnée définie sur une collection d'objets connus et soumise à un ensemble de contraintes de groupe, de précédence et métriques. Un premier résultat de recherche consiste en une proposition d'extension de la structure de séquence afin d'autoriser sa définition sur les éléments d'une partie seulement d'un ensemble connu. Nous définissons ainsi une nouvelle structure ensembliste ordonnée appelée séquence partielle. Elle permet, par exemple, de traiter des problèmes d'ordonnancement où l'on ne connaît pas a priori les tâches à ordonnancer. Celles-ci seront sélectionnées selon des critères décrits par les contraintes du problème à résoudre. Nous associons à la structure de séquence partielle un modèle théorique à base d'arbre PQR mais autorisant la greffe de nouvelles feuilles sur la racine de cet arbre. Nous présentons dans le second volet de ce mémoire des fonctions spécifiques offrant la possibilité de définir des critères mesurables de sélection des éléments devant appartenir à une structure ensembliste. Ces fonctions, appelées fonctions graduées et interprétées comme des contraintes, permettent d'associer à un terme non mesurable, en l'occurrence un ensemble, une variable entière représentant une mesure de ce terme. La variable entière supporte des relations d'arithmétique linéaire, dont la résolution permet de réduire l'espace de recherche de la variable ensembliste. Des problèmes de partitionnement d'ensembles, tels que le Bin-packing par exemple, ont pu être efficacement résolus en utilisant les fonctions graduées.

Author: HAMZA.. ZIDOUM
Publisher:
ISBN:
Category :
Languages : fr
Pages : 144

View

Book Description
NOUS PROPOSONS DANS CETTE THESE DES TECHNIQUES DE RESOLUTION DE CONTRAINTES SUR DES STRUCTURES ORDONNEES DEFINIES SUR UNE COLLECTION D'OBJETS QUE NOUS DENOMONS SEQUENCES. NOUS DEFINISSONS SUR LA STRUCTURE DE SEQUENCES UNE AXIOMATIQUE ET PROPOSONS UNE APPROCHE FONDEE SUR L'UTILISATION EXPLICITE DES RELATIONS DE GROUPE, DE PRECEDENCE ET DE DIAMETRE POUR EXPRIMER ET RAISONNER D'UNE MANIERE INTUITIVE SUR LES CONTRAINTES ENSEMBLISTES, POTENTIELLES ET METRIQUES DEFINIES SUR DES COLLECTIONS D'OBJETS. CES RELATIONS PERMETTENT D'EXPRIMER DES CONTRAINTES SUR LES SEQUENCES ET SONT TRAITEES INCREMENTALEMENT PAR DES TECHNIQUES DE CONSISTANCE DANS UN LANGAGE DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES. NOTRE APPROCHE EST FONDEE SUR L'UTILISATION D'UNE STRUCTURE ALGEBRIQUE CANONIQUE APPELEE ARBRE PQR POUR LA REPRESENTATION ET LA RESOLUTION DES CONTRAINTES. LES PRINCIPALES PROPRIETES DE CETTE STRUCTURE ARBORESCENTE SONT: (1) LA REDUCTION INCREMENTALE, (2) LA FORME CANONIQUE ET, (3) LE COUT DE REDUCTION LINEAIRE SUR LE FRAGMENT FORME PAR LES CONTRAINTES DE DEFINITION, DE GROUPE ET POTENTIELLE. NOUS VALIDONS NOTRE TRAVAIL EN METTANT EN EVIDENCE L'INTERET DE LA STRUCTURE DE SEQUENCES POUR LA MODELISATION ET LA RESOLUTION DES PROBLEMES LIES AU SEQUENCEMENT I.E. PRINCIPALEMENT LES PROBLEMES D'ORDONNANCEMENT

Author: CARMEN.. GERVET
Publisher:
ISBN:
Category :
Languages : fr
Pages : 130

View

Book Description
LES TECHNIQUES DE SATISFACTION DE CONTRAINTES ONT ETE RECEMMENT INTRODUITES EN PROGRAMMATION LOGIQUE EN VUE D'ETENDRE LE DOMAINE D'APPLICATION DES LANGAGES DE PROGRAMMATION EN LOGIQUE. LES LANGAGES EXISTANTS, BASES SUR CES TECHNIQUES, CONSIDERENT DES CONTRAINTES ARITHMETIQUES APPLIQUEES A DES VARIABLES PRENANT LEUR VALEUR DANS DES DOMAINES D'ENTIERS. CELA REND DIFFICILE UNE MODELISATION CONCISE ET NATURELLE AINSI QU'UNE RESOLUTION EFFICACE DE CERTAINS PROBLEMES COMBINATOIRES NP-COMPLETS, DE NATURE ENSEMBLISTE. NOUS PROPOSONS UNE SOLUTION QUI CONSISTE A ETENDRE LA NOTION DE DOMAINE D'ENTIERS A CELLE DE DOMAINE ENSEMBLISTE (ENSEMBLE D'ENSEMBLES). NOUS SPECIFIONS UN DOMAINE ENSEMBLISTE PAR UN INTERVALLE DONT LES BORNES INFERIEURE ET SUPERIEURE SONT DES ENSEMBLES CONNUS, ORDONNES PAR L'INCLUSION ENSEMBLISTE. NOUS DEFINISSONS LA STRUCTURE FORMELLE ET CONCRETE D'UN NOUVEAU LANGAGE DE PROGRAMMATION EN LOGIQUE PAR CONTRAINTES SUR DOMAINES ENSEMBLISTES, APPELE CONJUNTO. CONJUNTO COMPREND LES SYMBOLES D'OPERATIONS ENSEMBLISTES USUELS (,, /) INTERPRETES SOUS UNE FORME RELATIONNELLE (S S#1 = S#2,) ET LA RELATION D'INCLUSION (). DE PLUS IL POURVOIT UN ENSEMBLE DES CONTRAINTES APPELEES CONTRAINTES GRADUEES (EX. FONCTION DE CARDINALITE) QUI ASSOCIENT A UN ENSEMBLE UN TERME ARITHMETIQUE. CELA NOUS PERMET DE TRAITER LES PROBLEMES D'OPTIMISATION EN APPLIQUANT UNE FONCTION DE COUT AUX TERMES MESURABLES, I.E. ARITHMETIQUES, ASSOCIES AUX TERMES ENSEMBLISTES. LA RESOLUTION DES CONTRAINTES DANS CONJUNTO EST BASEE SUR DES TECHNIQUES DE SATISFACTION DE CONTRAINTES PAR REDUCTION D'INTERVALLES ETENDUES AU TRAITEMENT DES CONTRAINTES ENSEMBLISTES. AINSI, LA CONTRIBUTION PRINCIPALE DE CETTE THESE CONCERNE LA DEFINITION DE REGLES DE TRANSFORMATION AU SEIN D'UN ALGORITHME GENERIQUE, QUI INFERENT LA CONSISTANCE LOCALE DES CONTRAINTES DU LANGAGE EN REDUISANT LES INTERVALLES ENSEMBLISTES. UN ENSEMBLE D'APPLICATIONS DE RECHERCHE OPERATIONNELLE ET DE MATHEMATIQUES COMBINATOIRES ONT ETE DEVELOPPEES AVEC CONJUNTO, ILLUSTRANT AINSI LES FORCES DU LANGAGE EN TERME DE RAPPORT EXPRESSIVITE/EFFICACITE

Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9

View

Book Description

Author: Éric Monfroy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 231

View

Book Description
La programmation logique à contraintes (CLP) combine la déclarativité de la programmation logique à l'efficacité de la programmation à contraintes. Ainsi, les programmes CLP sont flexibles, et souvent plus efficaces que tout autre programme. Le solveur de contraintes (composant essentiel d'un systeme CLP) influence énormément la déclarativité et l'efficacité du système. Néanmoins, il n'est pas toujours possible d'obtenir un solveur suffisamment efficace pour un domaine donné. Jusqu'à maintenant, les travaux basés sur la coopération et la combinaison de solveurs (concepts visant à pallier ce problème) sont dédiés à des domaines spécifiques, et ne sont pas toujours faciles à implanter ni à adapter. Ainsi nous est venue l'idée de Bali, un environnement pour la construction de collaborations (concept unifiant coopération et combinaison) de solveurs. Il fournit d'abord un cadre formel, ainsi qu'un langage pour manipuler et faire collaborer les solveurs. Cette phase s'appuie sur des primitives de collaborations autorisant plusieurs paradigmes (tels que séquentialité, concurrence et parallélisme, adaptés à la notion de solveur), et des primitives de contrôle (telles que répétition, point-fixe, garde, conditionnelle) pour composer les collaborations. La deuxième spécificité de Bali est de créer automatiquement des serveurs ayant une architecture distribuée et réalisant les collaborations désirées. Ainsi, les expressions spécifiées avec le langage de collaborations de solveurs deviennent directement exécutables. Nous proposons également un langage d'accueil de type CLP(x), qui offre plusieurs stratégies de résolution et dont l'implantation est un client particulier des serveurs. De plus, ce langage est générique: la connexion à une collaboration instancié le paramètre x par le domaine de contraintes de cette dernière. Bali peut donc être considéré comme un environnement pour réaliser facilement et rapidement de nouveaux systèmes CLP fondés sur des collaborations de solveurs. Ceci modifie la méthodologie de programmation: ce n'est plus le programme qui est transformé si le solveur n'est pas assez puissant, mais la collaboration de solveurs qui est modifiée à un haut niveau. Une maquette a montré la faisabilité de notre approche ainsi que son intérêt en pratique.

Author: Éric Monfroy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Jean-Luc Massat
Publisher:
ISBN:
Category :
Languages : fr
Pages : 252

View

Book Description
L'OBJET DE CE TRAVAIL EST D'AMELIORER LE TRAITEMENT DE L'ALGEBRE DE BOOLE DANS LES LANGAGES DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES. POUR CE FAIRE, NOUS PROPOSONS D'UTILISER UN ALGORITHME DE RESOLUTION DE TYPE ENUMERATION IMPLICITE. CET ALGORITHME RECHERCHE LES SOLUTIONS D'UN SYSTEME EN EXPLORANT UN ARBRE BINAIRE. A CHAQUE NUD DE CET ARBRE, LE SYSTEME COURANT EST SIMPLIFIE DE MANIERE A DECOUVRIR LES IMPASSES PLUS RAPIDEMENT. CETTE SIMPLIFICATION EST BASEE SUR LA DETECTION LOCALE D'EGALITES SIMPLES (EGALITES ENTRE VARIABLES OU VARIABLE ET CONSTANTE). NOUS PROPOSONS EGALEMENT UNE VERSION INCREMENTALE DE CET ALGORITHME AINSI QUE DEUX ALGORITHMES PLUS SPECIFIQUES POUR DETECTER LES VARIABLES QUI NE PEUVENT PRENDRE QU'UNE SEULE VALEUR ET PRODUIRE LES SOLUTIONS D'UN SYSTEME SUR UN SOUS-ENSEMBLE DES VARIABLES. MALGRE LES TRES NETTES AMELIORATIONS APPORTEES PAR CES ALGORITHMES, LE PROBLEME GENERAL RESTE INTRAITABLE. IL EST DONC SOUHAITABLE D'OFFRIR UN MOYEN DECLARATIF POUR CONTROLER LA COMPLEXITE DES ALGORITHMES DE RESOLUTION. DANS CE CADRE, NOUS INTRODUISONS UNE NOUVELLE RELATION QUE NOUS APPELONS PSEUDO-EGALITE. LE BUT DE CETTE RELATION EST DE CREER DES LIAISONS FAIBLES POUR DECONNECTER DES SOUS-SYSTEMES INDEPENDANTS ET AINSI EVITER L'EXPLOSION COMBINATOIRE DES ALGORITHMES DE RESOLUTION. CETTE DECONNEXION N'EST PAS TOTALE ET DES INFORMATIONS PERTINENTES PEUVENT PASSER D'UN SOUS-SYSTEME A UN AUTRE. POUR DONNER UNE SEMANTIQUE DECLARATIVE A CETTE RELATION, NOUS PRESENTONS UNE NOUVELLE STRUCTURE DONT LE DOMAINE EST COMPOSE DE SUITES INFINIES CONSTRUITES SUR 0,1. NOUS MONTRONS QUE LES ALGORITHMES ISSUS DE L'ALGEBRE DE BOOLE SONT UTILISABLES POUR RESOUDRE DES CONTRAINTES DANS CETTE STRUCTURE ET NOUS DONNONS UNE FORME NORMALE QUI GARANTIT LA COHERENCE

Author: BRUNO DE.. BACKER
Publisher:
ISBN:
Category :
Languages : fr
Pages : 162

View

Book Description
DE NOMBREUX PROBLEMES EN INTELLIGENCE ARTIFICIELLE ET EN RECHERCHE OPERATIONNELLE PEUVENT S'EXPRIMER COMME LA RECHERCHE D'UNE SOLUTION (EVENTUELLEMENT OPTIMALE) SUR UN ENSEMBLE DE DISJONCTIONS DE CONTRAINTES LINEAIRES. CES PROBLEMES SONT DIFFICILES A RESOUDRE, CAR LA PRESENCE DE DISJONCTIONS INDUIT UNE FORTE COMBINATOIRE. LES ALGORITHMES DECRITS DANS CET OUVRAGE PEUVENT ETRE SEPARES EN DEUX CATEGORIES. LA PREMIERE COMPREND DES EXTENSIONS DE LA PROGRAMMATION DISJONCTIVE ET DES ALGORITHMES DE PROPAGATION DE BORNES. CES ALGORITHMES DE REGARD EN AVANT SONT UTILISES POUR REDUIRE A PRIORI LA COMBINATOIRE DU PROBLEME. LA SECONDE CATEGORIE EST CONSTITUEE D'ALGORITHMES DE REGARD EN ARRIERE: LORSQU'UN PROBLEME EST INSOLUBLE, LE MAXIMUM D'INFORMATIONS EST RETIRE, DE MANIERE A EVITER A NOUVEAU UN ECHEC, ET AINSI A MIEUX GUIDER LA RECHERCHE. CECI CONDUIT A L'ELABORATION DE METHODES D'APPRENTISSAGE ET DE REBROUSSEMENT (BACKTRACKING) INTELLIGENT. FINALEMENT, UN EXEMPLE DE MISE EN UVRE DE CES METHODES EST DONNE, UTILISANT LE LANGAGE DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES ICE

Author: François Fages
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183

View

Book Description