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
RAISONNEMENT SUR LES CONTRAINTES EN PROGRAMMATION EN LOGIQUE
Author: THOMAS.. GRAF
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES EST UN DEVELOPPEMENT RECENT QUI VISE A COMBINER L'ASPECT DECLARATIF DE LA PROGRAMMATION EN LOGIQUE ET L'EFFICACITE DE LA PROGRAMMATION IMPERATIVE POUR CERTAINES CLASSES DE PROBLEMES COMBINATOIRES. ELLE SE FONDE SUR L'INTRODUCTION DE NOUVEAUX DOMAINES DE CALCUL ET DE RESOLVEURS DE CONTRAINTES POUR CES DOMAINES. LES CONTRAINTES SONT AINSI UTILISEES ACTIVEMENT POUR ELAGUER L'ESPACE DE RECHERCHE. CEPENDANT, UNE LIMITATION FONDAMENTALE DES LANGAGES DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ACTUELS RESIDE DANS LEUR INCAPACITE A RAISONNER SUR LES CONTRAINTES AU NIVEAU AU LANGAGE; EN EFFET, LE TRAITEMENT DES CONTRAINTES S'EFFECTUE UNIQUEMENT GRACE A DES MECANISMES DE RESOLUTION DE CONTRAINTES INCORPORES AU SYSTEME ET AUXQUELS L'UTILISATEUR N'A PAS ACCES. AFIN DE SURMONTER CES LIMITATIONS NOUS PROPOSONS DEUX NOUVELLES EXTENSIONS: UN MECANISME LOCAL D'INFERENCE CONDITIONNELLE PERMETTANT DE DIRIGER L'EXECUTION PAR LE CONTEXTE; DES REGLES DE CHAINAGE AVANT AGISSANT SUR L'ENSEMBLE DES CONTRAINTES AFIN DE LE SIMPLIFIER OU D'EN DEDUIRE DE NOUVELLES CONTRAINTES. CES MECANISMES SONT BASES SUR LE FILTRAGE ET SES EXTENSIONS A DES DOMAINES DE CALCUL PLUS RICHES, DISPONIBLES DANS LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES; LES TRAITEMENTS SONT EFFECTUES DE MANIERE INCREMENTALE ET GUIDES PAR LA CREATION DE NOUVELLES CONTRAINTES. NOTRE THESE CONTIENT UN DEVELOPPEMENT COMPLET DES PROPOSITIONS ENONCEES CI-DESSUS, DEPUIS LEURS FONDEMENTS THEORIQUES JUSQU'A L'APPLICATION DU SYSTEME RESULTANT A DES PROBLEMES INDUSTRIELS COMPLEXES, EN PASSANT PAR LEUR REALISATION PRATIQUE AU SEIN DU LANGAGE CHIP
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES EST UN DEVELOPPEMENT RECENT QUI VISE A COMBINER L'ASPECT DECLARATIF DE LA PROGRAMMATION EN LOGIQUE ET L'EFFICACITE DE LA PROGRAMMATION IMPERATIVE POUR CERTAINES CLASSES DE PROBLEMES COMBINATOIRES. ELLE SE FONDE SUR L'INTRODUCTION DE NOUVEAUX DOMAINES DE CALCUL ET DE RESOLVEURS DE CONTRAINTES POUR CES DOMAINES. LES CONTRAINTES SONT AINSI UTILISEES ACTIVEMENT POUR ELAGUER L'ESPACE DE RECHERCHE. CEPENDANT, UNE LIMITATION FONDAMENTALE DES LANGAGES DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ACTUELS RESIDE DANS LEUR INCAPACITE A RAISONNER SUR LES CONTRAINTES AU NIVEAU AU LANGAGE; EN EFFET, LE TRAITEMENT DES CONTRAINTES S'EFFECTUE UNIQUEMENT GRACE A DES MECANISMES DE RESOLUTION DE CONTRAINTES INCORPORES AU SYSTEME ET AUXQUELS L'UTILISATEUR N'A PAS ACCES. AFIN DE SURMONTER CES LIMITATIONS NOUS PROPOSONS DEUX NOUVELLES EXTENSIONS: UN MECANISME LOCAL D'INFERENCE CONDITIONNELLE PERMETTANT DE DIRIGER L'EXECUTION PAR LE CONTEXTE; DES REGLES DE CHAINAGE AVANT AGISSANT SUR L'ENSEMBLE DES CONTRAINTES AFIN DE LE SIMPLIFIER OU D'EN DEDUIRE DE NOUVELLES CONTRAINTES. CES MECANISMES SONT BASES SUR LE FILTRAGE ET SES EXTENSIONS A DES DOMAINES DE CALCUL PLUS RICHES, DISPONIBLES DANS LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES; LES TRAITEMENTS SONT EFFECTUES DE MANIERE INCREMENTALE ET GUIDES PAR LA CREATION DE NOUVELLES CONTRAINTES. NOTRE THESE CONTIENT UN DEVELOPPEMENT COMPLET DES PROPOSITIONS ENONCEES CI-DESSUS, DEPUIS LEURS FONDEMENTS THEORIQUES JUSQU'A L'APPLICATION DU SYSTEME RESULTANT A DES PROBLEMES INDUSTRIELS COMPLEXES, EN PASSANT PAR LEUR REALISATION PRATIQUE AU SEIN DU LANGAGE CHIP
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
Interpretation abstraite en programmation logique avec contraintes
Contraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes
APPLICATION DE LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES AU PROBLEME D'EMPLOI DU TEMPS
Author: Xavier Cousin
Publisher:
ISBN:
Category :
Languages : fr
Pages : 332
Book Description
LE BUT DE CETTE THESE EST DE PROPOSER UNE AIDE A LA MODELISATION ET A LA RESOLUTION DES PROBLEMES D'EMPLOI DU TEMPS. POUR FAIRE CETTE AIDE, NOUS UTILISONS LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES. LA PREMIERE PARTIE DE CETTE THESE FAIT ETAT DES TRAVAUX RENCONTRES DANS LA LITTERATURE POUR BIEN COMPRENDRE LE LIEN A FAIRE ENTRE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ET PROBLEME D'EMPLOI DU TEMPS. ELLE PRESENTE D'UNE PART LA PROBLEMATIQUE DU PROBLEME D'EMPLOI DU TEMPS PAR LES DIFFERENTES RESOLUTIONS RENCONTREES ET D'AUTRE PART LES DIFFERENTES TECHNIQUES DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES AVEC LES DIVERS LANGAGES EXISTANTS. LA DEUXIEME PARTIE PRESENTE MA REFLEXION SUR LA MANIERE DE FAIRE LE LIEN ENTRE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ET PROBLEME D'EMPLOI DU TEMPS. AFIN D'AVOIR UNE RESOLUTION PLUS GENERALE, NOUS DEFINISSONS UN NOUVEAU MODELE DE COLORATION: LA COLORATION MULTI-DIMENSIONNELLE. PUIS NOUS DONNONS UNE AIDE A LA RESOLUTION DU PROBLEME D'EMPLOI DU TEMPS EN PROPOSANT UN MODELE BASE SUR CETTE COLORATION. CELUI-CI SE TRADUIT FACILEMENT EN PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES. ENFIN, NOUS DONNONS UNE AIDE A LA MODELISATION EN DETECTANT DES CONTRAINTES A RELACHER EN CAS DE BLOCAGE. AINSI NOUS POUVONS FAIRE UN RELACHEMENT SENSE PERMETTANT UNE INTERACTION INTELLIGENTE ENTRE UNE RESOLUTION D'UN PROBLEME ET SA MODELISATION
Publisher:
ISBN:
Category :
Languages : fr
Pages : 332
Book Description
LE BUT DE CETTE THESE EST DE PROPOSER UNE AIDE A LA MODELISATION ET A LA RESOLUTION DES PROBLEMES D'EMPLOI DU TEMPS. POUR FAIRE CETTE AIDE, NOUS UTILISONS LA PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES. LA PREMIERE PARTIE DE CETTE THESE FAIT ETAT DES TRAVAUX RENCONTRES DANS LA LITTERATURE POUR BIEN COMPRENDRE LE LIEN A FAIRE ENTRE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ET PROBLEME D'EMPLOI DU TEMPS. ELLE PRESENTE D'UNE PART LA PROBLEMATIQUE DU PROBLEME D'EMPLOI DU TEMPS PAR LES DIFFERENTES RESOLUTIONS RENCONTREES ET D'AUTRE PART LES DIFFERENTES TECHNIQUES DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES AVEC LES DIVERS LANGAGES EXISTANTS. LA DEUXIEME PARTIE PRESENTE MA REFLEXION SUR LA MANIERE DE FAIRE LE LIEN ENTRE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ET PROBLEME D'EMPLOI DU TEMPS. AFIN D'AVOIR UNE RESOLUTION PLUS GENERALE, NOUS DEFINISSONS UN NOUVEAU MODELE DE COLORATION: LA COLORATION MULTI-DIMENSIONNELLE. PUIS NOUS DONNONS UNE AIDE A LA RESOLUTION DU PROBLEME D'EMPLOI DU TEMPS EN PROPOSANT UN MODELE BASE SUR CETTE COLORATION. CELUI-CI SE TRADUIT FACILEMENT EN PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES. ENFIN, NOUS DONNONS UNE AIDE A LA MODELISATION EN DETECTANT DES CONTRAINTES A RELACHER EN CAS DE BLOCAGE. AINSI NOUS POUVONS FAIRE UN RELACHEMENT SENSE PERMETTANT UNE INTERACTION INTELLIGENTE ENTRE UNE RESOLUTION D'UN PROBLEME ET SA MODELISATION