RÉDACTION DE SPÉCIFICATIONS FORMELLES : ÉLABORATION À PARTIR DES SPÉCIFICATIONS ÉCRITES EN LANGAGE NATUREL

National audienceL'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale

Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM

National audienceAROM est un système de représentation de connaissances reposant, à l'image des diagrammes de classes d'UML, sur deux types d'entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d'inférence. Ce langage permet l'écriture d'équations, de contraintes, et de requêtes, impliquant les instances des classes et des associations. La présence d'un module de types en AROM permet d'étendre l'ensemble des types (donc des valeurs et des opérateurs) supportés par le LMA. A travers la description du LMA d'AROM, cet article souligne l'apport d'un langage de modélisation algébrique pour un système de représentation de connaissances tant au niveau de la déclarativité qu'en termes des inférences possibles

Réseau terminologique versus Ontologie

National audienceLes méthodes de construction d'ontologies à partir de textes comportent une phase de conceptualisation au cours de laquelle s'effectue le passage du terme au concept. Dans ce papier, nous montrons comment se construit ce passage du terme au concept via des étapes se situant sur le plan linguistique, termino-ontologique et ontologique permettant ainsi l'articulation entre l'expression des connaissances en corpus via la langue et leur expression formelle via un langage de représentation des connaissances. La spécificité des ressources obtenues à chaque pas de la conceptualisation permet de distinguer clairement leurs usages et leur complémentarité

Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

Un serveur de connaissance pour l'agriculture durable

National audienceL'agriculture devra évoluer vers une activité plus respectueuse de l'environnement tout en étant économiquement viable. Ce type d'agriculture est dite durable. Elle a une logique systémique et nécessite beaucoup de connaissances. Nous proposons donc de développer un outil de gestion des connaissances. Dans la première partie présentation, nous appréhendons quels sont les acteurs possibles de l'outil et leurs implications possibles. La seconde partie traite du contenu avec la sélection et la formalisation des connaissances. / Agriculture must evolve into a more environmentally-friendly way while being economically workable. This type of agriculture is said to be sustainable. It has a systemic logic and therefore requires strong knowledge. We suggest developing a management computing tool of knowledge. In the first part of our article, we apprehend who are the potential actors of the tool and their possible implications. The second part deals with the contents, its selection and its form

Démarche de modélisation d'une situation de conception collaborative.

Le caractère collectif des activités de conception nécessite le développement de méthodes et d'outils pour la maîtrise des processus de conception et des activités collaboratives. Le groupe de travail est assimilé à un système constitué d'entités en interactions de différentes natures et régi par des mécanismes de régulation et de coordination. Nous nous intéressons ici à la modélisation d'une situation collaborative. Après une définition de la situation et la description de différentes perceptions de ce concept, nous proposons un modèle de situation dans lequel nous caractérisons les entités de différentes natures qui sont en interactions. Une classification des relations entre ces entités est proposée. Les perspectives de ce travail sont de contribuer à l'amélioration d'outils permettant de supporter une situation de conception collaborative et de capitaliser ces connaissances en vue d'une réutilisation efficace

Modélisation de Ressources Termino-Ontologiques en OWL

National audienceDans le cadre de recherches menées sur l'indexation sémantique, nous avons été conduits à nous interroger sur l'efficacité générale des modèles actuels de représentation des terminologies au sein des ontologies. Après avoir évoqué leurs limites actuelles, nous proposons un nouveau modèle pour manipuler une ressource termino-ontologique en OWL et nous en décrivons son implémentation prochaine au sein de l'environnement Protégé

Modélisation de l’apprenant et interactivité

Cet article présente les différents courants qui ont trait à la modélisation de l'apprenant dans le cadre de systèmes d'apprentissage informatisés. Parce qu'il concerne les caractéristiques de l'apprenant, le concept d'interactivité est directement relié à la modélisation. On peut distinguer diverses approches de la modélisation qui se basent tantôt sur les réseaux sémantiques, tantôt sur les représentations d'experts, tantôt sur la progression du modèle mental. On voit aussi se développer l'approche diagnostique et des approches centrées sur la mesure. Toutes ces approches apportent des éléments de solution au problème que pose l'individualisation de l'intervention pédagogique.This article presents various approaches within the frame of computerbased learning systems which relate to student modeling. The concept of interactivity is directly related to modeling since it involves learner characteristics. The authors distinguish between various modeling approaches based on either semantic networks, or expert representations, or mental model progression. A diagnostic approach is developped as well as approaches centred on measurement. All these approaches bring some elements to solving the problem of individualizing pedagogical intervention.Este articulo présenta diferentes corrientes relacionadas con la modelizacion del alumno dentro del marco de los sistemes de aprendizaje informatizado. Segun los autores, el concepto de interactividad esta directamente relacionado con la modelizaciôn, puesto que el mismo debe tener en cuenta las caractéristicas del alumno. De esta forma, se pueden distinguir diversos enfoques de la modelizacion basados ya sea sobre redes semànticas, sobre representaciones de expertos o sobre la progresion del modelo mental. Se ha podido ver también un desarrollo del enfoque diagnostico y de aquellos centrados en la medicion. Todos estos enfoques aportan elementos de solucion al problema de la individualizacion de la intervenciôn pedagogica.Dieser Artikel beschreibt die verschiedenen Versuche, ein Modell des innerhalb von computerisierten Lernsystemen Lernenden aufzustellen. Da sich der Begriff der Interaktivitàt auf die Eigenschaften des Lernenden bezieht, steht er mit dem Aufstellen eines Modells in direktem Zusammenhang. Es gibt verschiedene Methoden, Modelle aufzustellen, wobei man von den semantischen Strukturen, von den Mustermodellen der Sachverstândigen oder von der Entwicklung des geistigen Modells ausgehen kann. Seit einiger Zeit kommen noch die diagnostische Méthode und Methoden, bei denen das Messen im Vordergrund liegt, dazu. Aile dièse Methoden tragen dazu bei, fur das Problem der Indivi dualisierung des pâdogogischen Aktes eine Losung zu finden

Modèles sémantiques, raisonnements réactifs et narratifs, pour la gestiondu contexte. : intelligence ambiante et robotique ubiquitaire

With the appearance of the paradigms of ubiquitous systems and ambient intelligence, a new domain of research is emerging with the aim of creating intelligent environments and ecosystems, that can provide multiple services that can improve quality of life, the physical and mental status and the social wellness of the users. In this thesis, weaddress the problem of semantic knowledge representation and reasoning, in the context of ambient intelligent systems and ubiquitous robots. We propose two semantic models that improve the cognitive functions of these systems, in terms of context recognition, and context adaptation. The first one is an ontology-based model, which is associatedwith a rule language to model reactive reasoning process on contextual knowledge. To take into account the dynamicity of context and insure coherent decision-making, this process guarantees two essential properties : decidability and non-monotonic reasoning. The second model is also an ontology-based model that completes the previous model interms of expressiveness for semantic representation of non-trivial contexts with temporal dimension It is based on n-ary relations and a narrative representation of events for inferring causalities between events, and therefore to build the chronological context of a situation as from past and current events. The proposed models have been implemented onthe ubiquitous experimental platform of LISSI, and validated through three scenarios for cognitive assistance and context recognition.Avec l’apparition des paradigmes des systèmes ubiquitaires ou omniprésents, et de l’intelligence ambiante, on assiste à l’émergence d’un nouveau domaine de recherche visant à créer des environnements ou écosystèmes intelligents pouvant offrir une multitude de services permettant d’améliorer la qualité de vie, l’état physique et mental, et lebien-être social des usagers. Dans cette thèse, nous nous focalisons sur la problématique de la représentation sémantique des connaissances et du raisonnement dans le cadre des systèmes à intelligence ambiante et des robots ubiquitaires. Nous proposons deux modèles sémantiques permettant d’améliorer les fonctions cognitives de ces systèmes en termes de gestion du contexte. Au premier modèle, de type ontologique, sont associés un langagede règles et un raisonnement réactif pour la sensibilité au contexte. Pour prendre en compte le caractère dynamique du contexte et assurer une prise de décision cohérente, le mode de raisonnement retenu garantit deux propriétés essentielles : la décidabilité et la non-monotonie. Le deuxième modèle, également de type ontologique, complète le modèle précédent en termes d’expressivité pour la représentation de contextes non-triviaux et/ou liés au temps. Il s’appuie sur des relations n-aires et une représentation narrative des événements pour inférer des causalités entre événements et reconnaître des contextes complexes non-observables à partir d’événements passés et courants. Les modèles proposés ont été mis en œuvre et validés sur la plateforme ubiquitaire d’expérimentation du LISSI àpartir de trois scenarii d’assistance cognitive et de reconnaissance de contexte