Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis PDF full book. Access full book title Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis by Daniel Diaz. Download full books in PDF and EPUB format.
Author: Daniel Diaz Publisher: ISBN: Category : Languages : fr Pages : 0
Book Description
Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les contraintes complexes (équations, contraintes symboliques...) sont traduites en des appels de contraintes primitives. Le résolveur est ainsi simple et homogène. De plus, l'utilisateur peut définir ses propres contraintes en termes de cette primitive. Cette primitive nous permet de définir une machine abstraite pour la compilation des contraintes DF. En outre, le traitement d'une seule primitive permet de définir des optimisations globales dont bénéficient toutes les contraintes de haut niveau. Toutes ces idées sont détaillées et aboutissent à la définition du langage clp (FD). L'étude des performances de clp (FD) montre que cette approche est très efficace, meilleure en tous cas que les résolveurs boîtes noires. Nous étudions également les aptitudes de clp (FD) à résoudre des contraintes booléennes car elles sont un cas particulier des DF. Là encore clp (FD) se compare très bien avec des résolveurs spécialisés. Nous nous intéressons enfin à la détection de la satisfaction des contraintes pour permettre à l'utilisateur de spécifier des calculs dirigés par les données (plutôt que par les instructions). Ce travail débouche donc tout naturellement sur l'implantation des langages concurrents.
Author: Daniel Diaz Publisher: ISBN: Category : Languages : fr Pages : 0
Book Description
Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les contraintes complexes (équations, contraintes symboliques...) sont traduites en des appels de contraintes primitives. Le résolveur est ainsi simple et homogène. De plus, l'utilisateur peut définir ses propres contraintes en termes de cette primitive. Cette primitive nous permet de définir une machine abstraite pour la compilation des contraintes DF. En outre, le traitement d'une seule primitive permet de définir des optimisations globales dont bénéficient toutes les contraintes de haut niveau. Toutes ces idées sont détaillées et aboutissent à la définition du langage clp (FD). L'étude des performances de clp (FD) montre que cette approche est très efficace, meilleure en tous cas que les résolveurs boîtes noires. Nous étudions également les aptitudes de clp (FD) à résoudre des contraintes booléennes car elles sont un cas particulier des DF. Là encore clp (FD) se compare très bien avec des résolveurs spécialisés. Nous nous intéressons enfin à la détection de la satisfaction des contraintes pour permettre à l'utilisateur de spécifier des calculs dirigés par les données (plutôt que par les instructions). Ce travail débouche donc tout naturellement sur l'implantation des langages concurrents.
Author: Pierre Deransart Publisher: Springer ISBN: 3540400168 Category : Computers Languages : en Pages : 375
Book Description
Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups.
Author: Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: 9780818682032 Category : Computers Languages : en Pages : 612
Book Description
Aimed at researchers, professors, practitioners, students and other computing professionals, this work focuses in genetic algorithms, reasoning under uncertainty, natural language processing, knowledge based technology, and neural networks.
Author: Julien Pierre Martin Publisher: ISBN: Category : Languages : fr Pages : 123
Book Description
La programmation par contraintes (PPC) est un style de programmation déclaratif qui connaît un grand succès pour la spécification et la résolution de problèmes combinatoires, y compris en milieu industriel. La PPC est fondée sur deux composantes : une composante contraintes et une composante recherche [VanHentenryck, 1999]. Les langages de modélisation se concentrent sur l'expression des contraintes du problème. Ils fournissent des constructions de haut niveau et une notation algébrique proche de la notation mathématique. Néanmoins, les constructions proposées et les concepts nécessaires peuvent être parfois nombreux et difficiles d'accès au non-programmeur. De plus, l'expression de la recherche et des heuristiques demeure une tâche de programmation spécifique difficile à appréhender pour le modélisateur, ce qui limite l'application de ces principes de programmation. Cette thèse présente un langage de modélisation général à base de règles, nommé Cream (pour Constraints with Rules to Ease Modelling), qui a été conçu pour rendre accessible aux non-programmeurs la formulation de problèmes combinatoires et l'intégration de connaissances spécifiques à un domaine d'activité dans des bibliothèques de règles. En pratique, les problèmes réels se réduisent rarement à des problèmes purs, et pour un ingénieur il est souvent plus facile de comprendre ou de décrire une structure complexe en petits fragments plutôt qu'en un tout monolithique. C'est pourquoi le langage est fondé sur la définition de règles et leur organisation en bibliothèques, ce qui permet précisément d'exprimer et de composer facilement des fragments de connaissance dans un domaine métier. Dans le même souci d'accessibilité, le langage adopte des structures de données simples basées sur les enregistrements et les listes données avec des itérateurs, intègre contraintes réifiées et globales, et n'autorise pas les définitions récursives. Nous montrons de plus que dans ce formalisme de règles, la composante recherche peut être spécifiée de façon déclarative. Plus précisément, les arbres de recherche y sont définis par des formules logiques et des critères heuristiques complexes d'ordonnancement des sous-formules peuvent y être définis de façon originale par filtrage sur les parties gauches des règles. La compilation des modèles Cream produit des programmes de contraintes sur domaines finis avec contraintes réifiées et contraintes globales. Le schéma de compilation fondamental, dit statique, est formalisé par un système de réécriture de termes qui procède par expansion des règles du modèle. Nous décrivons une sémantique déclarative pour les modèles Cream vis-à-vis de laquelle nous prouvons la correction de la transformation, et nous montrons la confluence, la terminaison et la complexité possiblement exponentielle de cette transformation. Certains problèmes sont de trop grande taille pour être complètement développés ou dépendent d'une valeur inconnue au moment de la compilation. À l'égard de tels problèmes dont les modèles ne peuvent être compilés selon le schéma statique, nous étudions un deuxième schéma par génération de code procédural qui conserve la structure de règles du modèle et produit du code légèrement moins efficace mais montré linéaire en la taille du modèle originel. Nous évaluons ensuite l'expressivité du langage et l'efficacité des programmes générés sur des problèmes de placement non seulement académiques mais aussi industriels. Les modèles évalués reposent sur une bibliothèque de modélisation des connaissances en placement appliquée à des problèmes purs et des problèmes de colisage dans l'industrie automobile.
Book Description
CETTE THESE EST CONSACREE A L'ETUDE D'UNE EXTENSION DE LA PROGRAMMATION CONCURRENTE AVEC CONTRAINTES FONDEE SUR LA LOGIQUE LINEAIRE. LE LANGAGE (LCC) QUI EN RESULTE PERMET DE PROGRAMMER DES SOLVEURS DE CONTRAINTES COMPLEXES SUSCEPTIBLES DE S'APPUYER SUR DES STRUCTURES DE DONNEES EVOLUANT DE MANIERE NON-MONOTONE AU COURS DU CALCUL. LCC S'AFFRANCHIT DE LA RESTRICTION DES CALCULS A L'ACCUMULATION MONOTONE D'INFORMATION DANS LE STORE EN AXIOMATISANT LES SYSTEMES DE CONTRAINTES EN LOGIQUE LINEAIRE ET EN AUTORISANT LA CONSOMMATION DES CONTRAINTES PAR LES AGENTS. NOUS MONTRONS QUE L'UTILISATION DE CONTRAINTES CONSOMMABLES DEDIEES AU CONTROLE PERMET, VIA LE CODAGE D'ETATS DANS LE STORE, DE SPECIFIER DES STRATEGIES DE PROPAGATION PLUS FINES QUE CE QUE LA PROGRAMMATION DECLARATIVE DES LANGAGES TRADITIONNELS DE PROGRAMMATION PAR CONTRAINTES AUTORISE. NOUS MONTRONS EGALEMENT QUE LE LANGAGE DES AGENTS LCC EST EQUIVALENT AU LANGAGE UTILISE POUR SPECIFIER LE MECANISME D'INFERENCE DES SYSTEMES DE CONTRAINTES SOUS-JACENTS. CE RESULTAT, EN EFFACANT LA FRONTIERE ENTRE LANGAGE-HOTE ET SOLVEUR DE CONTRAINTES, OUVRE LA VOIE UNE FORME DE PROGRAMMATION MODULAIRE DE SOLVEURS. L'EXPRESSIVITE DU CADRE LCC EST ILLUSTREE PAR DEUX EXEMPLES DE PROGRAMMATION DE SOLVEURS DE CONTRAINTES PAR STRATES DE COMPLEXITE CROISSANTE, SUR LES DOMAINES FINIS ET SUR LES REELS. NOUS PROPOSONS NOTAMMENT UNE RECONSTRUCTION RATIONNELLE D'UN SOLVEUR DE CONTRAINTES SUR LES REELS, DANS LAQUELLE UN ALGORITHME DE RESOLUTION FONDE SUR LA METHODE DU SIMPLEX EST DEFINI AU-DESSUS D'UN SYSTEME DE CONTRAINTES GENERIQUE PERMETTANT LA MANIPULATION D'EQUATIONS ET D'INEQUATIONS LINEAIRES.
Author: Lucas Bordeaux Publisher: ISBN: Category : Languages : fr Pages : 178
Book Description
Cette thèse s'inscrit dans le contexte de la programmation par contraintes sur les domaines finis, un paradigme de programmation qui consiste à exprimer des problèmes combinatoires par le biais de langages formels. L'emploi d'algorithmes de résolution de formules logiques permet ainsi de résoudre une grande variété de problèmes. Les résolveurs de contraintes actuels sont basés sur une logique propositionnelle de laquelle la notion de quantification ("pour tout", "il existe") est absente. Le sujet principal de la thèse est le problème de résolution de contraintes discrètes quantifiées. L'étude de la restriction booléenne de ce problème a récemment fait l'objet d'une intense recherche dans la communauté SAT. A priori, cette restriction n'est cependant pas justifiée et de nombreuses applications s'expriment grâce à une extension du cadre des problèmes de satisfaction de contraintes (CSP) quantifiés ; notre principale contribution est de formuler une technique d'arc-consistance quantifiée, généralisant la technique classique de résolution de CSP. On montre ainsi que l'essentiel du cadre classique de résolution de CSP (notion d'opérateurs de réduction, propriétés de confluence, propagation d'intervalles) peut être adapté à la résolution de problèmes quantifiés. Enfin, nous terminons la thèse en ouvrant une problématique plus prospective : l'utilisation de techniques de compilation logique pour déterminer si les problèmes décrits dans certaines logiques quantifiées peuvent être résolus de manière efficace.
Book Description
La résolution de problèmes de satisfaction de contraintes offre, sur le domaine entier, un très large champ d'investigation aussi bien théorique qu'appliqué. La plupart de ces problèmes sont np-complets. Pour les résoudre, de nombreuses méthodes ont été proposées : les méthodes systématiques, la recherche locale, les algorithmes génétiques, la recherche opérationnelle... Dans cette thèse, nous décrivons un système de programmation par contraintes spécifique aux domaines finis entiers, SCORE(FD/I) ; qui intègre un langage compilé et une méthode de résolution. Issue de recherches réalisées sur le problème spécifique du placement de n reines sur un échiquier, cette approche a été, depuis, intégrée a un schéma général de programmation par contraintes dont SCORE(FD/I) est une instance dédiée aux entiers. Le langage, déclaratif, statique et de haut niveau, permet de modéliser de manière simple et concise de nombreux problèmes de satisfaction de contraintes et d'optimisation. Le solveur met en oeuvre une méthode de résolution originale, combinant approches systématique et locale afin de profiter des avantages des deux approches. Le caractère systématique de la méthode assure sa complétude. Les critères issus de la recherche locale permettent de prendre en compte certaines propriétés globales du problème. Les objectifs de ces travaux visent principalement à concevoir un environnement de test pour la résolution de problèmes de contraintes sur des variables entières, à la fois simple d'emploi, proche des concepts de l'utilisateur et efficace. De nombreuses expérimentations ont été réalisées afin d'évaluer les performances du système et particulièrement, les heuristiques mises en oeuvres dans la méthode de résolution. Enfin, deux applications concrètes ont permis de valider notre système : le problème de carsequencing et l'intégration de schémas logiques dans des fpgas.
Book Description
LE TEST STRUCTUREL EST UNE TECHNIQUE TRES UTILISEE POUR VERIFIER LES PROGRAMMES INFORMATIQUES ECRITS DANS DES LANGAGES IMPERATIFS. EN PARTICULIER, S'ASSURER QUE CHAQUE INSTRUCTION A ETE EXECUTEE AU MOINS UNE FOIS DURANT LA PHASE DE TEST EST COMMUNEMENT ACCEPTE COMME UN PREREQUIS MINIMUM A TOUTE UTILISATION D'UN PROGRAMME. UN DES PROBLEMES DU TEST STRUCTUREL CONSISTE DONC A GENERER AUTOMATIQUEMENT UN CAS DE TEST QUI ATTEINT UNE INSTRUCTION SELECTIONNEE DANS UN PROGRAMME. CE PROBLEME, INDECIDABLE DANS LE CAS GENERAL, N'A PAS ETE TRAITE DE MANIERE TOUT A FAIT SATISFAISANTE JUSQU'A PRESENT. DANS CETTE THESE, NOUS PRESENTONS UNE NOUVELLE METHODE DE GENERATION AUTOMATIQUE DE CAS DE TEST STRUCTUREL BASEE SUR L'UTILISATION DE LA PROGRAMMATION LOGIQUE PAR CONTRAINTES SUR LES DOMAINES FINIS (NOTE CLP(FD))). L'IDEE GENERALE, SUR LAQUELLE REPOSE CETTE METHODE, CONSISTE A TRADUIRE UN PROGRAMME IMPERATIF (PROGRAMME SOUS TEST) EN UN PROGRAMME CLP(FD). CHAQUE VARIABLE DU PROGRAMME EST TRANSFORMEE EN UN ENSEMBLE DE VARIABLES LOGIQUES ET CHAQUE INSTRUCTION EST TRANSFORMEE EN UNE CONTRAINTE OU OPERATEUR DE CLP(FD) LE CHOIX D'UN POINT DANS LE PROGRAMME (POINT A ATTEINDRE) CONDUIT A POSER UN SYSTEME DE CONTRAINTES SUR LES VARIABLES DONT UNE SOLUTION, SI ELLE EXISTE, EST UN CAS DE TEST QUI ATTEINT LE POINT SELECTIONNE. SI LE SYSTEME DE CONTRAINTES NE POSSEDE PAS DE SOLUTION, ALORS LE POINT SELECTIONNE EST NON-EXECUTABLE, I.E. AUCUN CAS DE TEST NE PEUT PROVOQUER SON EXECUTION (SOUS CERTAINES CONDITIONS). LA RESOLUTION DES CONTRAINTES S'APPUIE SUR DES TECHNIQUES DE FILTRAGE PAR CONSISTANCE PARTIELLE ET UN PROCESSUS DE RECHERCHE. LES TECHNIQUES DE FILTRAGE PERMETTENT DE REDUIRE LES DOMAINES DE VARIATION DES VARIABLES D'ENTREE, REDUISANT AINSI L'ESPACE DE RECHERCHE DES CAS DE TEST. LE PROCESSUS DE RECHERCHE ASSOCIE UNE PROCEDURE D'ENUMERATION DE VALEURS AVEC UN SYSTEME D'INFERENCE DE CONTRAINTES, ET PERMET D'EXHIBER, DANS CERTAIN CAS, UNE SOLUTION AU PROBLEME DE LA GENERATION AUTOMATIQUE DE CAS DE TEST STRUCTUREL.
Author: Daniel Diaz
Author: Daniel Diaz
Author: Pierre Deransart
Author: 
Author: 
Author: Julien Pierre Martin
Author: VINCENT.. SCHACHTER
Author: Lucas Bordeaux
Author: Isabelle Blot-Thibaut
Author: Arnaud Gotlieb
Author: