JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes

National audienceLes JFPC (Journées Francophones de Programmation par Contraintes) sont le principal congrès de la communauté francophone travaillant sur les problèmes de satisfaction de contraintes (CSP), le problème de la satisfiabilité d'une formule logique propositionnelle (SAT) et/ou la programmation logique avec contraintes (CLP). La communauté de programmation par contraintes entretient également des liens avec la recherche opérationnelle (RO), l'analyse par intervalles et différents domaines de l'intelligence artificielle.L'efficacité des méthodes de résolution et l'extension des modèles permettent à la programmation par contraintes de s'attaquer à des applications nombreuses et variées comme la logistique, l'ordonnancement de tâches, la conception d'emplois du temps, la conception en robotique, l'étude du génôme en bio-informatique, l'optimisation de pratiques agricoles, etc.Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'échanges pour la communauté francophone, en particulier entre doctorants, chercheurs confirmés et industriels. L'importance des JFPC est reflétée par la part considérable (environ un tiers) de la communauté francophone dans la recherche mondiale dans ce domaine.Patronnées par l'AFPC (Association Française pour la Programmation par Contraintes), les JFPC 2019 ont lieu du 12 au 14 Juin 2019 à l'IMT Mines Albi et sont organisées par Xavier Lorca (président du comité scientifique) et par Élise Vareilles (présidente du comité d'organisation)

Recherche locale dichotomique pour la résolution des CSP continus

International audienceWe present a heuristic algorithm for solving continuous constraint satisfaction problems. This algorithm, called Dichotomic Local Search (DLS), combines local search with techniques such as bisection and interval constraint propagation. Experimental results are presented and compared with an Evolution Strategy algorithm.Nous présentons un algorithme heuristique pour déterminer une solution d'un problème de satisfaction de contraintes continu. Cet algorithme, appelé Recherche Locale Dichotomique (¢¡ ¤£), combine la recherche locale, la bissection et la contraction d'intervalles avec la propagation de contraintes. Nous présentons des résultats expérimentaux et les comparons avec un algorithme de recherche locale pure basé sur la stratégie d'évolution

Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence JFLA 2009.Pour la vingtième année consécutive, les Journées Francophones des Langages Applications sont l'occasion de se retrouver dans un cadre agréable et propice aux échanges conviviaux. Cette année, c'est à Saint-Quentin sur Isère, près de Grenoble, que nous nous réunissons, maintenant la tradition de l'alternance mer-montagne. Les neuf articles choisis par le comité de programme reflètent bien la diversité de notre communauté et les avancés tant du point de vue de l'application de langages fonctionnels que de la conception et de l'utilisation d'assistants à la preuve. Nous avons souhaité également inclure des articles plus proches de tutoriels ou de retours d'expérience, ceux-ci étant particulièrement adaptés au cadre pédagogique des Journées. Deux orateurs nous ont fait l'honneur d'accepter notre invitation. L'exposé de Vincent Balat, de l'université Paris 7, intitulé ≪ Ocsigen : approche fonctionnelle typée de la programmation Web ≫ illustre l'utilisation croissante de langages applicatifs dans des milieux inattendus. L'exposé de Bruno Barras, de Trusted Labs, intitulé ≪ Faut-il avoir peur de sa carte SIM ? ≫ présente l'application d'assistants à la preuve dans la modélisation de cartes à puces. Pour la quatrième année consécutive, deux sessions d'une demi-journée chacune sont consacrées à des cours. Le premier porte sur la modélisation de la linguistique (par Gérard Huet, de l'INRIA Paris - Rocquencourt) et le deuxième sur les bibliothèques Coq utilisées dans la preuve récente du théorème des quatre couleurs (par Assia Mahboubi, de l'INRIA Saclay - Île-de-France)

Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques

L'objectif de ce papier est de décrire une approche pour aborder la problématique induite par la nature hybride (statique $+$ dynamique) des systèmes. En effet, étant donné un système dynamique, discret ou continu, et un ensemble $K$ défini par un système de contraintes indépendantes du temps, il n'est pas certain qu'à partir d'un point initial $x_0$, il existe une solution du système dynamique qui reste toujours dans $K$. On s'intéresse alors à l'ensemble des valeurs initiales de $K$ à partir lesquels est issu au moins une solution qui ne sort jamais de $K$. Le plus grand sous-ensemble obtenu est appelé le ``noyau de viabilité'' de $K$ et la transformation de $K$ en $Viab(K)$ est en fait un opérateur de propagation. Grâce à l'introduction de cette notion au travers d'une contrainte globale dans un solveur de contraintes en domaine fini, nous pouvons aborder certains problèmes hybrides définis par la combination d'un système de contraintes (classiques) et d'un système dynamiqu

Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle

National audienceLa logique temporelle et le model-checking ont fait leurs preuves pour formaliser des propriétés biologiques de systèmes biochimiques complexes et vérifier automatiquement leur satisfaction sur des modèles quantitatifs ou qualitatifs. Dans cet article, nous allons au delà du model-checking en présentant un algorithme de résolution de contraintes pour les formules de logique temporelle du premier ordre sans quantificateur avec contraintes sur les réels. Cet algorithme calcule le domaine des variables réelles apparaissant dans une formule pour lequel la formule est satisfaite pour un modèle donné. Nous illustrons cette approche pour la génération automatique de spécification en logique temporelle à partir de données biologiques. Nous fournissons un ensemble de motifs de formules biologiquement pertinentes et les appliquons sur des données simulées d'un modèle du cycle cellulaire. Nous montrons sur ces exemples que cette approche permet d'inférer automatiquement, des propriétés semi-qualitatives, semi-quantitatives sur les seuils de concentration, l'amplitude d'oscillations, les propriétés de stabilité, de point de passage et d'influence entre molécules

CHR modulaire avec ask et tell

International audienceNon disponibl

Des règles aux contraintes avec le langage de modélisation Rules2CP

National audienceDans cet article, nous montrons que le paradigme de représentation des connaissances règles métier, large- ment utilisé dans l'industrie, peut être développé comme un langage de modélisation pour la programmation par contraintes. Nous présentons un langage de modélisation général à base de règles, nommé Rules2CP, et décrivons sa compilation vers des programmes de contraintes sur les domaines finis avec contraintes réifiées et contraintes globales, basée sur la réécriture de termes et l'évaluation partielle. Nous prouvons la conuence de ces transformations et fournissons une borne de complexité sur la taille des programmes de contraintes génerés. L'expressivité de Rules2CP est illustrée avec une librairie complète de modélisation des problèmes de placement, appellée PKML, qui, en plus des problèmes purs Bin Packing et Bin Design, gère des règles de bon sens portant sur des contraintes de poids, de gravité et d'équilibre, ainsi que des règles métiers spécifiques compilées efficacement en des programmes de contraintes