SIXIÈME ATELIER : Représentation et raisonnement sur le temps et l'espace (RTE 2011)

Actes de l'atelier RTE 2011, Plate-forme AFIA, ChambéryNational audienceLa représentation du temps et de l'espace ainsi que les modèles de raisonnements associés sont des thèmes largement étudiés en informatique, d'une manière générale, et en intelligence artificielle, en particulier. Ces thèmes sont de plus en plus importants dans de nombreux domaines de notre société, en particulier là où est disponible une très grande quantité d'informations et de services évoluant au cours du temps ou dans l'espace. Les techniques temporelles et/ou spatiales sont, par exemple, importantes dans : la gestion des grandes quantités de données, l'analyse et la fouille de ces données, la simulation et l'analyse de l'évolution temporelle de processus, l'évaluation de la sécurité et la sûreté, la gestion dynamique des connaissances, la gestion de l'espace, la prévention des risques naturels, la modélisation des systèmes dynamiques et complexes, etc. Elles offrent une alternative ou un complément aux méthodes statistiques et mathématiques de modélisation de l'espace et du temps

18ème Atelier "Raisonnement à Partir de Cas" RàPC 2010

National audienceLe raisonnement à partir de cas (RàPC) est un paradigme de résolution de problèmes s'appuyant sur la réutilisation d'expériences passées pour résoudre de nouveaux problèmes. Les applications du RàPC sont nombreuses et la recherche est particuli'erement active en France et dans le monde. Les rencontres annuelles de la communauté fran¸caise ont été organisées depuis 1992 par le groupe français de recherche en RàPC, sous la forme d'ateliers d'un à deux jours, permettant de présenter et de discuter les travaux, théoriques ou appliqués, à différents stades d'avancement. Cette année 2010, le 18ème atelier RàPC est organisé à Strasbourg, en amont des assises du GDR I3 (" Information, Interaction, Intelligence "). À cette occasion, l'atelier RàPC partage une demi-journée avec les rencontres du thème IAF " Intelligence Artificielle Fondamentale " du GDR I3. Le programme complet est ainsi constitué de neuf présentations, huit soumises à l'atelier RàPC et une soumise aux journées IAF. Ces présentations sont réparties en quatre sessions : une première session porte sur des applications du RàPC à l'espace et aux déplacements ; une deuxième session (en deux temps) regroupe différents travaux sur l'adaptation ; les deux autres sessions sont consacrées pour l'une à la réutilisation d'expériences et à la remémoration, et pour l'autre à la comparaison du RàPC à d'autres méthodes appuyées sur l'expérience

Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot

Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.The main objective of system development is to address requirements. As such, success in its realisation is highly dependent on a requirement specification phase which aims to describe precisely and unambiguously all the characteristics of the system that should be developed. In order to arrive at a set of requirements, a user needs analysis is carried out which involves different parties (stakeholders). The system requirements are generally written in natural language to garantuee a wider understanding. However, since NL texts can contain semantic ambiguities, implicit information, or other inconsistenties, this can lead to diverse interpretations. Hence, it is not easy to specify a set of complete and consistent requirements, and therefore, the specified requirements must be formally checked. Specifications written in NL are not considered to be formal and do not allow for a direct application of formal methods. We must therefore transform NL requirements into formal specifications. The work presented in this thesis was carried out in this framework. The main difficulty of such transformation is the gap between NL requirements and formal specifications. The objective of this work is to propose an approach for an automatic verification of user requirements which are written in natural language and describe a system's expected behaviour. Our approach uses the potential offered by a representation model based on a logical formalism. Our contribution has three main aspects: 1) an OWL-DL ontology based on description logic, used as a pivot representation model that serves as a link between NL requirements to formal specifications; 2) an approach for the instantiation of the pivot ontology, which allows an automatic transformation of NL requirements to their conceptual representations; and 3) an approach exploiting the logical formalism of the ontology in order to automatically translate the ontology into a formal specification language called Maude.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF

Accès personnalisé à l'information : Vers un modèle basé sur les diagrammes d'influence

National audienceL'accroissement sans précédent des masses d'informations via le Web, lance à la communauté en recherche d'information (RI) de nouveaux défis. En effet, compte tenu des exigences liées à l'efficacité, la personnalisation du processus d'accès à l'information devient incontournable. Son objectif fondamental est de présenter à l'utilisateur des informations pertinentes et intelligibles compte tenu de ses centres d'intérêts, ses préférences, son intention ou plus globalement son profil. Nous présentons dans cet article, les bases de construction d'un modèle d'accès à l'information basé sur les diagrammes d'influence, et mettant en jeu trois composantes : le document, la requête et l'utilisateur. Ce modèle vise à mettre l'utilisateur, décrit par ses centres d'intérêt, au centre du processus de sélection de l'informatio

Gérer les informations temporelles dans et par les modèles informatiques

International audienceTemporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily cross-reference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accurate and efficient, hence leading to more efficiency (consistency, correction, reusability…). The will to access larger, more and more complex and heterogeneous pieces of information, leads to master the way to populate and query data warehouses and knowledge bases. With several paradigms, computer science, provides models which can express and help solving many current and forthcoming problems. This paper gives an overview of the state of art in the matter of temporal modelling, accompanied with some meta-model instances and some insight into practical applications.Les informations temporelles jouent un rôle important dans une grande majorité de problèmes scientifiques. En géographie, l'interaction avec les aspects spatiaux et la référence à des calendriers sur de longues périodes est fréquente. Les approches théoriques ou expérimentales croisent nécessairement différents points de vue de plusieurs communautés scientifiques. Pour préciser et unifier les langages et les pratiques, l'utilisation systématique de modèles plus ou moins formels est une garantie d'efficacité (cohérence, correction, réutilisation, etc.). L'accès à des masses toujours plus importantes d'informations complexes et hétérogènes, la volonté de capitalisation des résultats nécessitent le peuplement et l'interrogation d'entrepôts de données et de bases de connaissance. L'informatique produit des modèles qui permettent de formuler et de résoudre un grand nombre de questions en la matière. Le présent article donne un état de l'art sur le sujet ainsi que des exemples de modèles assortis de références à des travaux applicatifs

L’expertise stratégique face aux développements de l’intelligence articielle

In the first section of this paper, the author tries to demonstrate how the increasing importance of modelisation/simulation reveals the existence of a crisis in strategic thought, seen as a crisis in the management of complexity, even more so as a crisis regarding the fundamental concepts of strategy, and regarding its claim even (as the " triumph of the means over the end " ) to tell how the world should be managed and what must be its destiny. At the same time, it is suggested that the dominance of " technolanguages " is growing, that the various attempts to overcome this crisis through the use of " artificial intelligence " are extremely promising, provided however that we agree to " a criticism of the strategic time-space ". In the second section, the author deals with the main problems and constraints linked with the conversion of strategic expertise into information processing languages and recommends that research be done along five axes : an update of the " fundamental connectors ", a kind of synapse in the strategic thinking, a study of the " attributes " and a setting up of such elaborate typology as " linguistic atoms ", and finally analyses of " contexts " and " key questions "

Le rôle de cochercheur chez le partenaire du milieu scolaire dans les recherches collaboratives

Le partenariat constitue une façon prometteuse de susciter une médiation entre la recherche et la pratique. La participation de personnes issues des milieux universitaires et scolaires permet, en effet, de favoriser la production de savoirs pertinents pour les deux lieux de pratique en même temps qu’elle contribue à la professionnalisation de l’enseignement. Cette nouvelle forme de recherche conduit les acteurs à jouer des rôles différents de ceux qui leur sont traditionnellement attribués. À partir des écrits sur le sujet et des résultats d’une recherche collaborative, nous proposons une conceptualisation de cette notion de cochercheur, notamment en ce qui a trait au rôle du partenaire du milieu scolaire.The development of partnership is a promising way to improve mediation between research and practice. In fact, the participation of individuals from university and school environments promotes the production of knowledge that is useful for the two contexts at the same time and contributes to the development of the professionalization of teaching. This new form of research leads the actors to play roles that are different from those traditionally assigned. Based on current writing on this topic and on the results of a collaborative research project, the authors propose a conceptualization of the notion of co-researcher, specifically regarding the school as a partner.El « partenariado » constituye una forma prometedora de suscitar una mediación entre la investigación y la práctica. La participación de personas provenientes de los ámbitos universitarios y escolares permite, en efecto, favorecer la producción de saberes pertinentes para los dos sitios de práctica al mismo tiempo que contribuye a la profesionalización docente. Esta nueva forma de investigación lleva a los actores a jugar papeles diferentes de los que les son tradicionalmente atribuidos. A partir de los escritos sobre el tema y de los resultados de una investigación cooperativa, proponemos una conceptualización de esta noción de coinvestigador, en particular con respecto al papel del partenario del ámbito escolar

Réformer l’éducation

Ce numéro 83 de la Revue internationale d’éducation de Sèvres, intitulé « réformer l’éducation », fait suite au colloque international organisé par la revue en juin 2019, sur le thème des « conditions de réussite des réformes en éducation ». Il rassemble une vingtaine de contributions organisées selon trois axes : 1) quelles questions préalables faut-il se poser quand il s’agit de concevoir, implanter et évaluer un processus dit de « réforme » ? ; 2) quelles conditions de réussite se retrouvent immanquablement dans tout processus de réforme ? ; 3) quelles perspectives sont déclinées par les experts et les organisations internationales pour penser les systèmes éducatifs à l’horizon 2030 ?Issue 83 of the Revue internationale d’éducation de Sèvres, entitled “Reforming education”, follows on from the international symposium organized by the journal in June 2019 on the topic of the “conditions for successful education reforms”. It brings together 20 contributions arranged around three strands: 1) Which preliminary questions need to be asked when designing, implementing and evaluating a so-called “reform” process? 2) Which conditions for success are invariably found in any process of reform? and 3) Which lenses have been developed by experts and international organizations to think about what education systems will look like by 2030?Este número 83 de la Revue internationale d’éducation de Sèvres, titulado “reformar la educación”, se publica a raíz del coloquio internacional organizado por la revista en junio de 2019 sobre la temática de las “condiciones de éxito de las reformas en educación”. Reúne una veintena de contribuciones organizadas según tres ejes: 1) ¿Cuáles son las preguntas previas que se debe hacer cuando se trata de concebir, instaurar y evaluar un proceso llamado de “reforma”? 2) ¿Qué condiciones de éxito se encuentran sin falta en cualquier proceso de reforma? 3) ¿Qué perspectivas declinan los expertos y las organizaciones internacionales para pensar los sistemas educativos en el horizonte del año 2030

Le raisonnement à base de logique propositionnelle à l'appui de la fusion et de la révision de bases de données géospatiales

Le but de ce mémoire était d’effectuer, dans un contexte géospatial, une comparai- son d’une approche de raisonnement qualitatif basée sur le PROLOG avec une autre approche reposant sur l’ASP. La principale question que nous posons est la suivante : Le moteur de raisonnement Smodels rendant possible la mise en oeuvre du raisonnement non monotone poussé et faisant intervenir le concept de modèle stable peut-il nous permettre de résoudre des problèmes de vérification de cohérence ontologique et des problèmes de révision dans le contexte de la géomatique ? Pour y répondre, nous avons procédé à une série de tests sur un échantillon de la Base nationale de données topographiques (BNDT). À la lumière des résultats obtenus, cette approche se montre très efficace et contribue à l’amélioration de la cohérence de l’information géospatiale et du raisonnement spatial réalisé à partir de cette dernière.The objective of this thesis is to make a comparison between a qualitative reasoning approach based on PROLOG with another approach based on ASP. Our principal research question was the following : Can the Smodels reasoning engine, allowing for advanced non monotonic reasoning and introducing the stable model concept, allow us to solve ontological consistency checking problems as well as revision problems in a geomatic context ? To answer this question, we carried out a series of tests on a cross-section from the National Topographical Database (NTDB). In the light of the results obtained, this approach has proven very effective and contributes to the amelioration of geospatial information consistency and to the resultant improvement in spatial reasoning