Search

National audience; Geographic information is so present in our daily lives that its inclusion in information systems (IS) becomes unavoidable. These IS must be able to integrate spatial and temporal aspects into their business rules. Our goal is therefore to provide an IS evolutionary process to identify this type of business rules through a requirements engineering process (IE). We chose the KAOS method to implement our proposal through a case study. We also show how to deploy such rules in the most appropriate components for an open architecture.; L’information géographique est si présente dans notre quotidien que sa prise en compte dans les systèmes d’information (SI) devient incontournable. Ces SI doivent pouvoir intégrer des aspects spatiaux et temporels au sein de leurs règles métier. Notre objectif est donc de proposer un processus d’évolution d’un SI permettant d’identifier ce type de règles métier à travers un processus d’ingénierie des exigences (IE). Nous avons retenu la méthode KAOS pour mettre en œuvre notre proposition à travers une étude de cas. Nous montrons également comment déployer de telles règles dans les composants les plus appropriés en faveur d’une architecture ouverte.

National audience; Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for systematically identifying, structuring and reasoning about such requirements. This proposed framework includes contributions in the fields of RE and geomatics. We illustrate it through a case study: the merger of two universities.; L’Ingénierie des Exigences (IE) est une étape clef dans tout projet d’évolution d’un système d’information (SI). Les développements actuels, sur les systèmes mobiles par exemple, impliquent de facto une dimension spatio-temporelle, souvent réservée aux SI géographiques (SIG). Ceci nécessite des méthodes plus systématiques pour capturer et raisonner sur des exi- gences de nature spatio-temporelle. Cet article propose un cadre de référence permettant de systématiser l’identification, la structuration et le raisonnement sur ce type d’exigences. Ce cadre proposé intègre des contributions dans les domaines de l’IE et de la géomatique. Nous l’avons outillé et nous l’illustrons à travers une étude de cas de fusion de deux universités.

International audience; It is now well recognized that information management systems often deal with geographic information even if they often do not take advantage of it. In these systems, requirements engineering (RE) is becoming more and more important in helping stakeholders to model their requirements regarding the quality of the data.However, to date, few RE projects take geographic information and geographic constraints into account. We thus propose to study in this paper the question of managing such geographic constraints in the framework of RE. We propose an extension of the RE model and its implementation within the KAOS framework, and the use of geographic ontologies

International audience; In this short paper, we present the knowledge representation model called Extended Semantic Network. The basic idea of this proposal is to imagine data representation techniques which can reason beyond the classical techniques in information retrieval systems. It is argued that by employing hybrid techniques one can address the good recall with powerful deduction problems. Our objective here is to achieve semi-supervised knowledge representation technique with good accuracy and minimum human intervention, using the heuristically developed information processing and integration methods.

International audience; Our fundamental objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information overflow by proposing better and efficient knowledge representation techniques. In order to realize this we developed a model called Extended Semantic Network which explores a new dimension in combining machine designed knowledge networks with that of human reasoning. The network so built attempts in bridging human precision and machine recall to bring out a new knowledge representation model. In this paper we explore the possibility of using our model is building efficient ontologies with considerably lowered cost and time for construction.

National audience; Le programme ToxNuc-E rassemble plus de 600 chercheurs du CEA, du CNRS, de l'INRA et de l'INSERM sur le thème de la Toxicologie Nucléaire Environnementale. Dans ce contexte, notre travail consiste à imaginer et mettre en oeuvre de nouveaux outils, essentiellement logiciels, pour accompagner ces chercheurs répartis en 15 projets scientifiques : dans la gestion d'informations et de connaissances, et dans la quête d'informations. Objectifs Le réseau sémantique RS construit à l'aide d'un éditeur de graphe est automatiquement combiné avec le réseau de proximité RP pour former le réseau sémantique étendu RSE. Cette architecture permet de construire facilement de nombreux réseaux sémantiques étendus : par exemple un pour chacun des 15 projets du programme ToxNuc-E. Un algorithme de classification permet alors de traiter de nouveaux documents, interne ou externe, et d'indiquer pour chacun d'entre eux les thématiques dominantes. Architecture L'association des compétences et du savoir-faire de spécialistes de différentes disciplines (chimie, biologie, physique, informatique, …) est un caractéristique du programme ToxNuc-E. Ces spécialistes possèdent un langage propre, travaillent à partir de concepts spécifiques, ce qu nécessite la construction d'un référentiel commun. Celui-ci est tout à la fois le socle et le résultat de ce programme de recherche. Pour créer ce référentiel, modèle d'informations et de connaissances, il n'existe pas à ce jour d'autre solution que de créer une ontologie de faço manuelle : ce qui compte tenu de la complexité du domaine est presque impossible. Nous proposons une alternative, les réseaux sémantique étendus, construits de façon automatique à partir : d'une part de petits réseaux sémantiques élaborés par un groupe de chercheurs et, d'autr part de gros réseaux de proximités calculés mathématiquement à partir d'un ensemble de documents sélectionnés. Problématique Les réseaux de proximités sont actuellement construits par combinaison de trois méthodes : ACP, K-means et mots associés qui rendent compte de la proximité spatiale des termes dans le contenu documentaire. Nous envisageons prochainement d'introduire d'autre méthodes comme les Soms pour améliorer la qualité des résultats. Notre objectif est aussi de spécialiser les réseaux sémantiques étendus (par utilisateur) par intégration des modèles utilisateurs (profils et usages en situation). Une première série d'applications, issues directement de ces travaux sera déployée sur ToxNuc-E en fin d'année 2006. Avancement des travaux Université Montpellier II Reena T.N. SHETTY1, Pierre-Michel RICCIO2 et Joël QUINQUETON3 Fig. 2 : Réseau de proximité du programme ToxNuc-E-RP Fig. 3 : Réseau sémantique étendu du projet Arabidopsis-RSE Fig. 1 : Réseau sémantique du projet Arabidopsis-RS

International audience; Cet ouvrage constitue une post publication d'une sélection de communications présentées au congrès SYNASC'06 qui a eu lieu à Timisoara (Roumanie) en septembre 2006.

International audience; In this paper the fundamental idea is to develop and explore an innovative approach of completing human designed networks with that of machine built word networks. This network forms a hybrid method which combines human precision with that of machine computation to form a knowledge representation model. This model in turn encourages faster and efficient construction of automatic ontology. Our objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information over flow

International audience

International audience; The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms of software design and in terms of performance. We propose a management system where these high level and low level management concerns are separated. The high level management part relies on messages interception mechanisms which, coupled with Aspects Oriented Programming concepts, provides facilities for management applications to dynamically operate, enhance and manage JAVA based applications transparently. The low level management part uses an agent tightly tied to the JVM/JVMTI and able to receive and to manipulate programmable monitoring expressions. To avoid conflicts with applications already using JVMTI instrumentation techniques, we dynamically compile these expressions into machine code to reduce overload and minimize performance lost.

International audience; We propose to develop and explore an innovative approach of completing human designed networks with that of machine built word networks. This network forms a hybrid method which combines human precision with that of machine computation to form a knowledge representation model. This model in turn encourages faster and efficient construction of automatic ontology. Our objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information over flow.

National audience

Uniscript: A Model for Emergent Memory

National audience; La programmation par contraintes est une technologie désormais largement utilisée pour résoudre des problèmes combinatoires dans les applications industrielles. Pourtant, l’utiliser requiert une certaine connaissance du paradigme des contraintes. Cet article introduit un cadre pour apprendre automatiquement des réseaux de contraintes à partir d’ensembles d’instances qui sont des solutions acceptables ou des assignations non désirables du problème que nous souhaiterions exprimer. Ce qui peut aider un novice à manipuler ses contraintes. En restreignant le langage des contraintes utilisées pour construire le r ́eseau, cela peut aussi assister un expert dans la recherche d’une modélisation efficace d’un problème donné.

This document is the final report of the CoMMA project. It gives an overview of the different search activities that have been achieved through the project. First, a description of the general requirements is proposed through the definition of two scenarios. Then it shows the different technical aspects of the projects and the solution that has been proposed and implemented.

Nous présentons ici une méthode d’apprentissage statistico-syntaxique, qui cherche à induire des formules presque exactes, en utilisant des opérateurs logiques et des procédures de comptage.Ces règles sont ensuite considérées comme des « points de vue » sur le concept à apprendre, et la généralisation est faite par un « remue méninges » sur l’ensemble des points de vue.

Singleton-based consistencies have been shown to dramatically improve the performance of constraint solvers on some difficult instances. However, they are in general too expensive to be applied exhaustively during the whole search. In this paper, we focus on partition-one-AC, a singleton-based consistency which, as opposed to singleton arc consistency, is able to prune values on all variables when it performs singleton tests on one of them. We propose adaptive variants of partition-one-AC that do not necessarily run until having proved the fixpoint. The pruning can be weaker than the full version but the computational effort can be significantly reduced. Our experiments show that adaptive Partition-one-AC can obtain significant speed-ups over arc consistency and over the full version of partition-one-AC.

Constraint acquisition assists a non-expert user in modeling her problem as a constraint network. In existing constraint acquisition systems the user is only as- ked to answer very basic questions. The drawback is that when no background knowledge is provided, the user may need to answer a great number of such questions to learn all the constraints. In this paper, we introduce the concept of generalization query based on an aggregation of variables into types. We present a constraint generalization algorithm that can be plugged into any constraint acquisition system. We propose several strategies to make our approach more efficient in terms of number of queries. Finally we experimentally compare the recent QUACQ system to an extended version boosted by the use of our generalization functionality. The results show that the extended version dramatically improves the basic QUACQ., L’acquisition de contraintes assiste un novice à modéliser son problème sous forme de réseau de contraintes. Dans les systèmes d’acquisition de contraintes existants, l’utilisateur est seulement demandé à répondre à des questions très simples. L’inconvénient est que lorsqu’aucune connaissance de base n’est fournie, l’utilisateur peut avoir besoin de répondre à un grand nombre de questions pour apprendre toutes les contraintes. Dans cet article, nous introduisons le concept de requête de généralisation basé sur une agrégation de variables sous forme de types. Nous présentons un algorithme de généralisation de contraintes qui peut être branché dans n’importe quel système d’acquisition de contraintes. Nous proposons plusieurs stratégies pour rendre notre approche plus efficace en terme de nombre de requêtes.Finalement, nous comparons expérimentalement le récent système QUACQ à une version étendue, renforcée par l’utilisation de notre fonctionnalité de généralisation. Les résultats montrent que la version étendue améliore considérablement la version de base de QUACQ.

Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Constraint Networks) that exploits a simple but powerful connection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is capable of directly solving networks of submodular functions. The algorithm enforcing VAC is an iterative algorithm that solves a sequence of classical Constraint Networks. In this work, we show that Dynamic Arc Consistency algorithms can be suitably injected in the virtual arc consistency iterative algorithm, providing noticeable speedups., La cohérence d'arc virtuelle (VAC) est une cohérence récente pour les réseaux de fonctions de coût (ou réseaux de contraintes pondérées). VAC exploite une relation simple mais puissante avec les réseaux de contraintes classiques. VAC a permis de clore des problèmes d'af-fectation de fréquences difficiles, et est capable de ré-soudre directement les réseaux de fonctions de coût sous-modulaires. L'algorithme pourétablir VAC est un algo-rithme itératif qui résout une séquence de réseaux de contraintes classiques. Dans cet article, nous montrons que les techniques utilisées dans les algorithmes de cohé-rence d'arc dynamique peuventêtre injectées dans l'al-gorithme itératif de cohérence d'arc virtuelle. Cette intégration donne une accélération importante.

International audience; En oenologie, l'assemblage consiste à m elanger plusieurs cuv ées a fin d'obtenir un vin cible. Des progr ès dans l'analyse des arômes permettent aujourd'hui de mesurer un ensemble de compos és chimiques influen çant le goût d'un vin. Il devient ainsi possible de concevoir un outil d'aide à la d écision pour le probl eme suivant : étant donn é un ensemble de vins cibles à produire, quelles quantit és doit-on pr élever dans chaque cuv ée afin de produire des vins qui respectent des contraintes de concentration en arômes, de volumes, de degr é alcoolique et de prix. L'article d écrit la mod élisation de ce probl eme sous forme d'une optimisation Min-Max (pour minimiser les écarts obtenus avec les concentrations souhait ées pour chaque crit ère aromatique) sous contraintes num ériques lin éaires et quadratiques, et son traitement effi cace avec le branch and bound à intervalles de Ibex.

International audience; La programmation par contrainte fournit aujourd'hui des modèles efficaces pour résoudre les problèmes d'isomorphisme de sous-graphe. Beaucoup de problèmes réels nécessitent l'énumération de toutes les solutions qui ne sont pas équivalentes à une symétrie d'un des graphes traités. Dans cet article nous nous intéressons aux conditions sous lesquelles il est possible d’éliminer ces symétries en utilisant des contraintes lexicographiques. Dans le cas où le nombre de symétries devient trop important, nous proposons une méthode basée sur des contraintes ensemblistes.

International audience; Les solveurs de contraintes maintiennent uniformé-ment le même niveau de cohérence locale (généralement la cohérence d'arc) indépendamment de l'instance du problèmeà résoudre. Nous proposons le concept de co-hérence locale paramétrée, une approche originale qui permet d'ajuster le niveau de cohérence locale en fonc-tion de l'instance du problèmeà résoudre et en fonction de la partie du problème dans laquelle s'effectue la propagation. Nous n'utilisons pas comme paramètre l'une des caractéristiques de l'instance, comme le font les por-tefeuilles de solveurs. Nous utilisons comme paramètre la stabilité des valeurs, une caractéristique basée sur l'état de l'algorithme de cohérence d'arc durant son exécution. Les cohérences locales paramétrées appliquentà une valeur, la cohérence d'arc ou un autre niveau de co-hérence plusélevé, selon que la stabilité de cette valeur est en dessus ou en dessous d'un seuil donné. L'approche que nous proposons permet d'obtenir un bon compromis entre la capacité d'une cohérence localeà supprimer des valeurs et le coût en temps pour atteindre ce niveau de cohérence dans un réseau de contraintes. Nous validons notre approche sur différents problèmes de la dernière compétition des solveurs de contraintes.

International audience; Global constraints have been crucial for the success of centralized constraint programming. Here, we propose the inclusion of global constraints in distributed constraint satisfaction. We show how this inclusion can be done, considering different decompositions for global contraints. We provide experimental evidence of their bene- fits on several benchmarks solved with the ABT algorithm.

The asynchronous backtracking algorithm with dynamic ordering (ABT_DO), proposed in Zivan and Meisels (Constraints 11(2---3):179---197, 2006), allows changing the order of agents during distributed asynchronous complete search. In a later study (Zivan et al., Constraints 14(2):177---198, 2009), retroactive heuristics which allowed more flexibility in the selection of new orders were introduced, resulting in the ABT_DO-Retro algorithm, and a relation between the success of heuristics and the min-domain property was identified. Unfortunately, the description of the time-stampping protocol used to compare orders in ABT_DO-Retro in Zivan et al. (Constraints 14(2):177---198, 2009) is confusing and may lead to an implementation in which ABT_DO-Retro may not terminate. In this corrigendum, we demonstrate the possible undesired outcome and give a detailed and formal description of the correct method for comparing time-stamps in ABT_DO-Retro.

International audience; Freuder and Elfe (1996) introduced Neighborhood Inverse Consistency (NIC) as a strong local consistency property for binary CSPs. While enforcing NIC can significantly filter the variables domains, the proposed algorithm is too costly to be used on dense graphs or for lookahead during search. In this paper, we introduce and characterize Relational Neighborhood Inverse Consistency (RNIC) as a local consistency property that operates on the dual graph of a non-binary CSP. We de- scribe and characterize a practical algorithm for enforcing it. We argue that defining RNIC on the dual graph unveils unsuspected opportunities to reduce the computational cost of our algorithm and increase its filtering effectiveness. We show how to achieve those effects by modifying the topology of the dual graph, yielding new variations the RNIC property. We also introduce an adaptive strategy to automatically select the appro- priate property to enforce given the connectivity of the dual graph. We integrate the resulting techniques as full lookahead strategies in a backtrack search procedure for solving CSPs, and demonstrate the effectiveness of our approach for solving known difficult benchmark problems.