thesis

Extension réactive de la programmation logique avec contraintes et applications en optimisation combinatoire

Defense date:

Jan. 1, 1995

Edit

Institution:

Paris 11

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

This work presents a constraint logic programming scheme for reactive systems. The hypotheses taken for the proposed extension are presented. Firstly all interaction of the environnement on the system is described by four goal transformations. Secondly a operational model based on the re-use of derivations is proposed. This model is presented formally a combination of basic derivation operations, these operations are prealably defined. The correction and completeness of the model is then proven. An implementation of a simplified version of the model is then described. A comparison is made with some other models for reactive execution before a powerful general scheme for optimisation is exposed. Finally the implementation is evaluated on two applications: a decision support system for a multi-criteria optimisation problem, and a problem of aircraft landing scheduling in a simulated environnement.

Abstract FR:

Ce travail propose un schéma de programmation logique avec contraintes pour les systèmes réactifs. On expose d'abord les hypothèses prises pour l'extension proposée. Primo l'interaction de l'environnement sur le système est décrit par quatre manipulations de requête. Deuxio un modèle d'exécution basé sur la réutilisation des dérivations est proposé. Ce modèle est présenté (formellement comme une combinaison d'opérations de base sur des dérivations (ces opérations étant définies préalablement). Ensuite la correction et la complétude du modèle sont établies. Une implantation d'une version simplifiée est décrite. Une comparaison est effectuée avec quelques autres modèles d'exécution réactifs avant de montrer la puissance du schéma pour l'optimisation d'une façon générale. Finalement l'implantation est validée sur deux applications: un systèmes d'aide à la décision pour un problème d'optimisation multicritères, et un problème d'ordonnancement des vols à l'arrivée dans un environnement simulé.