Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Programmation Logique Avec Contraintes
Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Resolution de contraintes sur les sequences en programmation logique avec contraintes
Programmation logique par contraintes
Author: François Fages
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
CONTRAINTES ENSEMBLISTES ET RESOLUTION MULTI-SOLVEURS EN PROGRAMMATION LOGIQUE AVEC CONTRAINTES
Author: FABRICE.. AMBERT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 148
Book Description
LE TRAVAIL PRESENTE DANS CETTE THESE S'INSCRIT DANS LE CADRE DU PROJET CLPS (CONSTRAINT LOGIC PROGRAMMING WITH SETS). DANS LE PARADIGME DE LA PLC, NOUS PRESENTONS L'ENSEMBLE DES TESTS EFFECTUES INCREMENTALEMENT LORS DE L'ACQUISITION DES CONTRAINTES ENSEMBLISTES. NOUS CONSIDERONS LES OPERATEURS CLASSIQUES DES THEORIES ENSEMBLISTES, A SAVOIR: , ,, , =, , , , , (DIFFERENCE ENSEMBLISTE), :: (TYPE), (CARDINALITE) ET MULT (MULTIPLICITE D'OCCURENCES). CES OPERATEURS PERMETTENT DE CONTRAINDRE DES STRUCTURES D'ENSEMBLES ET DE MULTI-ENSEMBLES HOMOGENES HEREDITAIREMENT FINIES. LES TESTS MIS EN UVRE SONT DE DEUX NATURES: DES TESTS SEMANTIQUES ET DES TESTS SUR LES DOMAINES DES STRUCTURES. NOUS DEFINISSONS UN TRAITEMENT PARTICULIER DE LA QUANTIFICATION UNIVERSELLE RESTREINTE ; NOUS L'INTEGRONS COMME CONTRAINTE DU LANGAGE. NOUS COMPLETONS LE MECANISME DE TRAITEMENT DES CONTRAINTES ENSEMBLISTES PAR UN ALGORITHME DE GENERATION DES SOLUTIONS. LA RESOLUTION DES SYSTEMES ENSEMBLISTES UTILISE UNE COMBINAISON DE TECHNIQUES ENUMERATIVES ET DE TECHNIQUES DE REECRITURE EN PROGRAMMATION LINEAIRE EN ENTIERS. NOUS PRESENTONS, DANS LA DEUXIEME PARTIE DE CE MEMOIRE, UN MODELE MULTI-SOLVEURS PERMETTANT LA CONSTRUCTION ET LA RESOLUTION DE SYSTEMES DE CONTRAINTES HETEROGENES. NOUS PROPOSONS D'ASSOCIER DES CONTRAINTES ENSEMBLISTES ET DES CONTRAINTES ARITHMETIQUES SUR DES OBJETS DU LANGAGE. POUR MANIPULER CES OBJETS ET PERMETTRE UNE COMMUNICATION ENTRE LES SOLVEURS, NOUS EFFECTUONS UNE DECOMPOSITION DU SYSTEME DE CONTRAINTES EN UNE FORME RESOLUE ET UNE FORME NON RESOLUE. LA FORME NON RESOLUE EST UNE JUXTAPOSITION DE SYSTEMES DE CONTRAINTES GERES PAR DES SOLVEURS DIFFERENTS. LA FORME RESOLUE REUNIE TOUTES LES INFORMATIONS LIEES AUX DOMAINES DES OBJETS DU LANGAGE ET SA GESTION EST ASSUREE PAR UN MODULE SPECIALISE: LE MONITEUR. NOUS DEFINISSONS LE ROLE DU MONITEUR DANS LA GESTION DES DOMAINES ET DANS LA COMMUNICATION ENTRE LES SOLVEURS EN PRESENTANT LES ALGORITHMES QU'IL MET EN PLACE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 148
Book Description
LE TRAVAIL PRESENTE DANS CETTE THESE S'INSCRIT DANS LE CADRE DU PROJET CLPS (CONSTRAINT LOGIC PROGRAMMING WITH SETS). DANS LE PARADIGME DE LA PLC, NOUS PRESENTONS L'ENSEMBLE DES TESTS EFFECTUES INCREMENTALEMENT LORS DE L'ACQUISITION DES CONTRAINTES ENSEMBLISTES. NOUS CONSIDERONS LES OPERATEURS CLASSIQUES DES THEORIES ENSEMBLISTES, A SAVOIR: , ,, , =, , , , , (DIFFERENCE ENSEMBLISTE), :: (TYPE), (CARDINALITE) ET MULT (MULTIPLICITE D'OCCURENCES). CES OPERATEURS PERMETTENT DE CONTRAINDRE DES STRUCTURES D'ENSEMBLES ET DE MULTI-ENSEMBLES HOMOGENES HEREDITAIREMENT FINIES. LES TESTS MIS EN UVRE SONT DE DEUX NATURES: DES TESTS SEMANTIQUES ET DES TESTS SUR LES DOMAINES DES STRUCTURES. NOUS DEFINISSONS UN TRAITEMENT PARTICULIER DE LA QUANTIFICATION UNIVERSELLE RESTREINTE ; NOUS L'INTEGRONS COMME CONTRAINTE DU LANGAGE. NOUS COMPLETONS LE MECANISME DE TRAITEMENT DES CONTRAINTES ENSEMBLISTES PAR UN ALGORITHME DE GENERATION DES SOLUTIONS. LA RESOLUTION DES SYSTEMES ENSEMBLISTES UTILISE UNE COMBINAISON DE TECHNIQUES ENUMERATIVES ET DE TECHNIQUES DE REECRITURE EN PROGRAMMATION LINEAIRE EN ENTIERS. NOUS PRESENTONS, DANS LA DEUXIEME PARTIE DE CE MEMOIRE, UN MODELE MULTI-SOLVEURS PERMETTANT LA CONSTRUCTION ET LA RESOLUTION DE SYSTEMES DE CONTRAINTES HETEROGENES. NOUS PROPOSONS D'ASSOCIER DES CONTRAINTES ENSEMBLISTES ET DES CONTRAINTES ARITHMETIQUES SUR DES OBJETS DU LANGAGE. POUR MANIPULER CES OBJETS ET PERMETTRE UNE COMMUNICATION ENTRE LES SOLVEURS, NOUS EFFECTUONS UNE DECOMPOSITION DU SYSTEME DE CONTRAINTES EN UNE FORME RESOLUE ET UNE FORME NON RESOLUE. LA FORME NON RESOLUE EST UNE JUXTAPOSITION DE SYSTEMES DE CONTRAINTES GERES PAR DES SOLVEURS DIFFERENTS. LA FORME RESOLUE REUNIE TOUTES LES INFORMATIONS LIEES AUX DOMAINES DES OBJETS DU LANGAGE ET SA GESTION EST ASSUREE PAR UN MODULE SPECIALISE: LE MONITEUR. NOUS DEFINISSONS LE ROLE DU MONITEUR DANS LA GESTION DES DOMAINES ET DANS LA COMMUNICATION ENTRE LES SOLVEURS EN PRESENTANT LES ALGORITHMES QU'IL MET EN PLACE
Interpretation abstraite en programmation logique avec contraintes
Utilisation de declarations en programmation logique avec contraintes
Analyses statiques en programmation logique avec contraintes
Utilisation de déclarations en programmation logique avec contraintes
Author: Eric Vétillard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 446
Book Description
NOUS PROPOSONS ICI UNE EXTENSION DES LANGAGES DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES (PLC), PAR L'INTRODUCTION DE DECLARATIONS DONNEES PAR L'UTILISATEUR. CES DECLARATIONS LUI PERMETTENT DE DONNER UNE SPECIFICATION PARTIELLE DES PROGRAMMES QU'IL ECRIT. CETTE SPECIFICATION PEUT ETRE UTILISEE TANT POUR LA MISE AU POINT DES PROGRAMMES QUE POUR L'AMELIORATION DE LEURS PERFORMANCES. APRES AVOIR DEFINI LE CADRE THEORIQUE DANS LEQUEL S'INSCRIVENT CES DECLARATIONS, NOUS PROPOSONS UNE METHODE STATIQUE POUR LEUR VERIFICATION, BASEE SUR UNE CLASSE PARTICULIERE DE MECANISMES DE PREUVE DE PROGRAMMES LOGIQUES PRESENTANT L'AVANTAGE D'ETRE EFFECTUES LOCALEMENT A CHAQUE REGLE. DE PAR LA NATURE DES LANGAGES DE PLC, CE MECANISME STATIQUE N'EST BIEN SUR PAS SUFFISANT, ET NOUS PROPOSONS EGALEMENT UN MECANISME COMPLEMENTAIRE DE VERIFICATION DYNAMIQUE DES DECLARATIONS. DANS UNE DEUXIEME PARTIE, NOUS ABORDONS LE PROBLEME DE LA REALISATION D'UN COMPILATEUR POUR LES LANGAGES DE PLC AVEC DECLARATIONS. NOUS NOUS ATTACHONS PARTICULIEREMENT A TRAITER QUELQUES POINTS DE CETTE COMPILATION, LA GENERATION DES VERIFICATIONS DYNAMIQUES, ETC NOUS PRESENTONS EGALEMENT QUELQUES ASPECTS DE LA COMPILATION DES LANGAGES DE PLC QUI PEUVENT ETRE AMELIORES PAR L'UTILISATION DE DECLARATIONS. ENFIN, NOUS PRESENTONS DES RESULTATS EXPERIMENTAUX MONTRANT LES AVANTAGES ET LES INCONVENIENTS PRATIQUES DE CETTE APPROCHE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 446
Book Description
NOUS PROPOSONS ICI UNE EXTENSION DES LANGAGES DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES (PLC), PAR L'INTRODUCTION DE DECLARATIONS DONNEES PAR L'UTILISATEUR. CES DECLARATIONS LUI PERMETTENT DE DONNER UNE SPECIFICATION PARTIELLE DES PROGRAMMES QU'IL ECRIT. CETTE SPECIFICATION PEUT ETRE UTILISEE TANT POUR LA MISE AU POINT DES PROGRAMMES QUE POUR L'AMELIORATION DE LEURS PERFORMANCES. APRES AVOIR DEFINI LE CADRE THEORIQUE DANS LEQUEL S'INSCRIVENT CES DECLARATIONS, NOUS PROPOSONS UNE METHODE STATIQUE POUR LEUR VERIFICATION, BASEE SUR UNE CLASSE PARTICULIERE DE MECANISMES DE PREUVE DE PROGRAMMES LOGIQUES PRESENTANT L'AVANTAGE D'ETRE EFFECTUES LOCALEMENT A CHAQUE REGLE. DE PAR LA NATURE DES LANGAGES DE PLC, CE MECANISME STATIQUE N'EST BIEN SUR PAS SUFFISANT, ET NOUS PROPOSONS EGALEMENT UN MECANISME COMPLEMENTAIRE DE VERIFICATION DYNAMIQUE DES DECLARATIONS. DANS UNE DEUXIEME PARTIE, NOUS ABORDONS LE PROBLEME DE LA REALISATION D'UN COMPILATEUR POUR LES LANGAGES DE PLC AVEC DECLARATIONS. NOUS NOUS ATTACHONS PARTICULIEREMENT A TRAITER QUELQUES POINTS DE CETTE COMPILATION, LA GENERATION DES VERIFICATIONS DYNAMIQUES, ETC NOUS PRESENTONS EGALEMENT QUELQUES ASPECTS DE LA COMPILATION DES LANGAGES DE PLC QUI PEUVENT ETRE AMELIORES PAR L'UTILISATION DE DECLARATIONS. ENFIN, NOUS PRESENTONS DES RESULTATS EXPERIMENTAUX MONTRANT LES AVANTAGES ET LES INCONVENIENTS PRATIQUES DE CETTE APPROCHE
Programmation en logique avec contraintes
Author: Philippe Codognet
Publisher: Hermes Science Publications
ISBN: 9782746202559
Category :
Languages : en
Pages : 303
Book Description
Les nouveaux outils informatiques nés des recherches de ces trois dernières décennies autour de la programmation logique apportent de nouvelles solutions pour résoudre de nombreux problèmes complexes. Ainsi, la programmation par contraintes, qui découle de la programmation logique, des techniques de satisfaction de contraintes en intelligence artificielle (CSP) et de la recherche opérationnelle, connaît depuis plusieurs années un succès industriel croissant et une diffusion de plus en plus grande. Il est certain que la décennie qui commence ne fera que confirmer ce développement. Programmation en logique avec contraintes est le recueil des contributions sélectionnées et présentées aux dixièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2001). Les thèmes principaux abordés cette année concernent les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.
Publisher: Hermes Science Publications
ISBN: 9782746202559
Category :
Languages : en
Pages : 303
Book Description
Les nouveaux outils informatiques nés des recherches de ces trois dernières décennies autour de la programmation logique apportent de nouvelles solutions pour résoudre de nombreux problèmes complexes. Ainsi, la programmation par contraintes, qui découle de la programmation logique, des techniques de satisfaction de contraintes en intelligence artificielle (CSP) et de la recherche opérationnelle, connaît depuis plusieurs années un succès industriel croissant et une diffusion de plus en plus grande. Il est certain que la décennie qui commence ne fera que confirmer ce développement. Programmation en logique avec contraintes est le recueil des contributions sélectionnées et présentées aux dixièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2001). Les thèmes principaux abordés cette année concernent les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.