WorldCat Identities

Rousset, Marie-Christine

Overview
Works: 68 works in 114 publications in 2 languages and 364 library holdings
Genres: Conference papers and proceedings 
Roles: Thesis advisor, Other, Opponent, Author, Editor, htt
Classifications: QA76.9.W43, 005.7402854678
Publication Timeline
.
Most widely held works by Marie-Christine Rousset
Introduction à l'informatique théorique( Book )

1 edition published in 1994 in French and held by 62 WorldCat member libraries worldwide

Reasoning web : semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures by Sergio Tessaris( )

13 editions published in 2009 in English and held by 61 WorldCat member libraries worldwide

This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web
La cohérence dans les bases de connaissances by Marc Ayel( Book )

6 editions published in 1990 in French and held by 54 WorldCat member libraries worldwide

Web data management by S Abiteboul( )

5 editions published between 2011 and 2012 in English and held by 49 WorldCat member libraries worldwide

The Internet and World Wide Web have revolutionized access to information. Users now store information across multiple platforms from personal computers to smartphones and websites. As a consequence, data management concepts, methods and techniques are increasingly focused on distribution concerns. Now that information largely resides in the network, so do the tools that process this information. This book explains the foundations of XML with a focus on data distribution. It covers the many facets of distributed data management on the Web, such as description logics, that are already emerging in today's data integration applications and herald tomorrow's semantic Web. It also introduces the machinery used to manipulate the unprecedented amount of data collected on the Web. Several 'Putting into Practice' chapters describe detailed practical applications of the technologies and techniques. The book will serve as an introduction to the new, global, information systems for Web professionals and master's level courses
Résolution de problèmes en intelligence artificielle : informatique pour la maîtrise by Marie-Odile Cordier( Book )

4 editions published between 1990 and 1992 in French and held by 11 WorldCat member libraries worldwide

Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ? by Brigitte Safar( )

2 editions published in 1987 in French and held by 6 WorldCat member libraries worldwide

The ability of Expert Systems to explain their own reasoning is one of their fundamental features. The role of explanations is important: they can be used to help experts in the knowledge acquisition phase, to persuade users of capacities of the system, or to convey the acquired expertise. Originality of our system POURQUOI-PAS?, is to provide negative explanations. Indeed, to answer to "WHY-NOT" questions is absolutely necessary for a user who expects one result and obtains another one. In this case, the user needs to understand the discrepancies between the reasoning of the system and his own. In order to do that, the system must be able to analyze its own reasoning, and must do an intelligent recap. Explanations exploit whole both reasoning followed and these which could conclude on the users expected result. Therefore, POURQUOI-PAS must be able to sort out informations it knows in order to extract only relevant ones. Knowledge useful to make these choices are expressed in heuristics. Our approach was established on a knowledge base on system bidding in the game of Bridge
Consistency of structured knowledge : a formal framework based on description logics by Pascale Hors( Book )

3 editions published in 1993 in English and held by 5 WorldCat member libraries worldwide

Caractérisation de la notion d'anomalies d'une base de connaissance en terme de liens de dépendances by Stéphane Loiseau( Book )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Tango, moteur d'inférences pour une classe de systèmes-experts avec variables by Marie-Christine Rousset( )

2 editions published in 1983 in French and held by 4 WorldCat member libraries worldwide

This thesis presents TANGO, an inference mechanism (or inference engine) designed for expert-systems holding the following features: - we allow variables in the rules expressing the knowledge. In such a system, the first step of a basic cycle consisting in discovering the conflict set by pattern-matching is very time consuming. - The possibility of actions in the rules males the system “open”. This feature implies the reasoning to be forward-chaining. The approach we choose for the design of TANGO consists in -discovering the conflict set by the “propagation” technique, - guiding the forward-chaining reasoning by the construction of a backward-chaining plan
Sur la cohérence et la validation des bases de connaissances : le système COVADIS by Marie-Christine Rousset( Book )

3 editions published in 1988 in French and held by 4 WorldCat member libraries worldwide

Le travail présenté dans cette thèse s'inscrit dans le cadre général de la validation de la connaissance dans les systèmes experts à base de règles. Une méthode de preuve de la cohérence de bases de règles, indépendante de bases de faits particuliers, est proposée
A complete and concise characterization by inference rules of the subsumption relation for a description logics with qualified number restrictions by Quentin Elhaik( Book )

3 editions published in 1996 in English and held by 4 WorldCat member libraries worldwide

Abstract: "Among the numerous existing object-centered formalisms, description logics are good candidates to represent complex data. A description logic knowledge base includes descriptions of concepts representing classes of objects in a domain. A concept is defined by the conditions that must be satisfied by elements in the class. A description logic contains a set of constructors that allows to define these conditions at various levels of complexity. Much of the research in description logics has concentrated on algorithms for determining subsumption relations between classes, and for checking membership of an object in a class. Description logics have good representational properties and their computational properties are well understood. However, one of their main drawback [sic] is that their current reasoning algorithms have an inherent black-box nature. Specifying the subsumption relation with a set of inference rules would have many advantages for characterizing, customizing or optimizing implementations of subsumption algorithms, but also for supporting explanations to the user or to the knowledge base designer. In addition, it could be the basis for defining relevance and new ways of reasoning (e.g., abductive reasoning) in a description logics setting. In this paper, we describe a sound, complete and concise set of inference rules, which characterizes the subsumption relation for a rather expressive description logic language. We designed a type system for concepts, in which a record type is associated with every concept. In this type system, the inference rules defining the sub-typing relation are obtained as a variant of those that are classically found in type systems combining record types and subtypes ([CW85], [CM91]). We got a rather compact set of rules composed of 44 rules. We proved that the subtyping relation of our type system completely characterizes the subsumption relation of our description logics language."
Diagnosis systems and explanations by M. C Rousset( Book )

2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Formal verification of knowledge bases focused on consistency : two experiments based on ATMS techniques by Stéphane Loiseau( Book )

2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide

LISA : UN LANGAGE REFLEXIF POUR LA MODELISATION DU CONTROLE DANS LES SYSTEMES A BASE DE CONNAISSANCES. APPLICATION A LA PLANIFICATION DES RESEAUX ELECTRIQUES by ISABELLE DELOUIS( Book )

2 editions published in 1993 in French and held by 4 WorldCat member libraries worldwide

LES TRAVAUX RECENTS SUR LES SYSTEMES A BASE DE CONNAISSANCES ONT MONTRE L'INTERET, POUR GUIDER LE RECUEIL DE L'EXPERTISE, D'ETABLIR UN MODELE CONCEPTUEL DECRIVANT LES PROBLEMES ET SOUS-PROBLEMES A TRAITER, LES OPERATIONS ET CONNAISSANCES QUI POURRONT ETRE UTILISEES A CHAQUE ETAPE DE LA RESOLUTION: LE MODELE CONCEPTUEL, POUR ETRE FACILEMENT LISIBLE PAR LE COGNITICIEN OU LES EXPERTS, DOIT ETRE ETABLI AU NIVEAU CONNAISSANCE C'EST-A-DIRE INDEPENDAMMENT DE L'IMPLEMENTATION. SE POSE ALORS LE PROBLEME DU PASSAGE DE CE MODELE ABSTRAIT DU COMPORTEMENT DU SYSTEME A CONCEVOIR, A UN SYSTEME REELLEMENT OPERATIONNEL. POUR QUE LE SYSTEME SOIT CAPABLE DE DECRIRE SON RAISONNEMENT A UN NIVEAU PERTINENT POUR L'UTILISATEUR, LES EXPERTS OU LE COGNITICIEN (ET QUE CES DERNIERS PUISSENT INTERVENIR DANS LA VALIDATION DE CE RAISONNEMENT), IL EST ALORS APPARU INDISPENSABLE D'INTEGRER DANS LE SYSTEME UNE REPRESENTATION DU MODELE CONCEPTUEL, PLUS ENCORE DE LUI PERMETTRE DE RESOUDRE LES PROBLEMES EN OPERANT SUR CETTE REPRESENTATION. LE TRAVAIL DE THESE A CONDUIT A LA SPECIFICATION ET AU DEVELOPPEMENT DU LANGAGE LISA PERMETTANT DE CONCEVOIR DE TELS SYSTEMES QUI INTEGRENT ET OPERENT SUR UNE REPRESENTATION EXPLICITE DU MODELE CONCEPTUEL. LES CARACTERISTIQUES DE CE LANGAGE SONT LES SUIVANTES: L'ENONCE DES PROBLEMES A RESOUDRE ET LA DESCRIPTION DES METHODES DISPONIBLES POUR LE FAIRE SONT CLAIREMENT SEPARES. DES CONNAISSANCES SONT ATTACHEES AUX PROBLEMES POUR CARACTERISER PRECISEMENT LES SOLUTIONS ATTENDUES, ET AUX METHODES POUR SPECIFIER LES CONTEXTES FAVORABLES A LEUR DECLENCHEMENT ET LES TYPES DE RESULTATS QU'ELLES PRODUISENT. CES CONNAISSANCES PERMETTENT AU SYSTEME DE RAISONNER POUR CHOISIR LA METHODE A APPLIQUER DYNAMIQUEMENT EN TENANT COMPTE DU CONTEXTE. LES ACTIVITES CLES DU PROCESSUS DE CONTROLE (EX: CHOIX D'UNE METHODE POUR UN BUT) SONT MODELISEES DANS LES MEMES TERMES QUE LES ACTIVITES DU DOMAINE. NOUS PROPOSONS AINSI UNE APPROCHE REFLEXIVE. LE LANGAGE LISA A ETE EXPERIMENTE DANS LE DOMAINE DE LA PLANIFICATION DES RESEAUX ELECTRIQUES; IL A ETE LE SUPPORT DU DEVELOPPEMENT DE LA PREMIERE MAQUETTE DU SYSTEME D'AIDE COPILOTE. CETTE EXPERIMENTATION NOUS A PERMIS DE MONTRER L'INTERET DE L'APPROCHE QUE NOUS PROPOSONS, EN PARTICULIER POUR FACILITER LA MISE EN PLACE DE MECANISMES DE COOPERATION
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair by Philippe Gauron( Book )

3 editions published between 2006 and 2010 in French and held by 3 WorldCat member libraries worldwide

Les systèmes pair-à-pair décentralisés mettent en relation un grand nombre d'utilisateurs pour mutualiser des ressources dans un environnement dynamique. Les applications de ces systèmes vont du partage de fichiers à la téléphonie par Internet, en passant par la décentralisation de services comme les DNS. Afin de limiter les ressources nécessaires, chaque recherche doit transmettre les messages rapidement et contrôler le nombre de messages dans le réseau. C'est pourquoi cette thèse s'intéresse au routage et à l'interconnexion nécessaire pour assurer ce routage. Dans la première partie, je présente un état de l'art des différents systèmes existants. J'y détaille la problématique générale et les caractéristiques des différentes classes de systèmes pair-à-pair. La seconde partie traite des réseaux à contenu adressable, qui permettent d'assurer un routage avec des bornes sur le nombre de sauts des requêtes et la charge par noeud. J'y expose d'abord les différents réseaux à contenu adressable existants. Je présente ensuite un nouveau protocole, D2B, dont je prouve en particulier qu'il améliore la charge par noeud tout en assurant un nombre de sauts et un degré faible. Je détaille enfin une liste d'optimisations applicables aux réseaux à contenu adressable en général, ou à D2B en particulier. Dans la troisième partie, je récapitule les principaux travaux qui tirent parti des communautés d'utilisateurs d'une part, et ceux qui exploitent la structure de loi de puissance de l'autre. Je présente ensuite ma seconde contribution, QRE, qui exploite efficacement à la fois ces deux caractéristiques des échanges: agrégats en communautés et loi de puissance
Validation, diagnostic et réparation de bases de connaissances : le système KBDR by Fatma Bouali( Book )

1 edition published in 1996 in French and held by 3 WorldCat member libraries worldwide

Cette thèse se situe à la frontière de deux domaines de la recherche en Intelligence Artificielle: Validation, Vérification et Test de Systèmes à Bases de Connaissances et Diagnostic à Bases de Modèles. Les techniques développées dans le domaine du Diagnostic à Bases de Modèles sont utilisées pour la caractérisation des causes possibles de l'incohérence d'une base de règles et pour sa réparation. Pour vérifier la cohérence de Bases de Connaissances (BC), nous proposons dans notre thèse d'intégrer les approches traditionnelles que sont la Vérification et le Test et nous montrons que cette integration contribue à une meilleure détection d'incohérences. Pour caractériser les causes possibles de l'incohérence d'une base de règles, nous proposons des extensions à la théorie du diagnostic de Reiter utilisée pour trouver les causes possibles de panne de systèmes physiques. Par suite nous avons adapté les algorithmes existant dans le domaine du diagnostic pour calculer de telles causes. Nous proposons une approche qui permet de caractériser des ensembles d'actions de réparation permettant de restaurer globalement la cohérence de la base de règles. Cette approche utilise un ensemble de jeux de test. Son originalité réside dans le fait que même les incohérences décelées au niveau du processus Vérification peuvent être aussi corrigées en proposant des modifications au sein même de certaines règles. L'étude que nous avons menée nous a conduit à réaliser le système KBDR qui intègre Test et Vérification pour détecter les incohérences d'une base de règles. Si des incohérences sont décelées, KBDR peut fournir à l'expert les causes possibles de l'incohérence de la base de règles à savoir les diagnostics. Si des jeux de test sont disponibles, KBDR peut aussi proposer à l'expert des ensembles d'actions de réparation partiellement ordonnés permettant de restaurer la cohérence de la base
Propagation : another way for matching patterns in KBS by Marie-Odile Cordier( Book )

1 edition published in 1983 in English and held by 3 WorldCat member libraries worldwide

CONSTRUCTION ET TRANSMISSION D'EXPLICATIONS DANS LES SYSTEMES A BASE DE CONNAISSANCES by Benoît Lemaire( Book )

1 edition published in 1992 in French and held by 3 WorldCat member libraries worldwide

UN SYSTEME A BASE DE CONNAISSANCES DOIT AVOIR LA CAPACITE D'EXPLIQUER A SON UTILISATEUR SES RAISONNEMENTS ET SES CONNAISSANCES. CETTE ACTIVITE, QUI COMPORTE A LA FOIS LA CONSTRUCTION DE L'OBJET EXPLICATION ET SA TRANSMISSION A L'UTILISATEUR, EST ENVISAGEE COMME UNE TACHE DE RESOLUTION DE PROBLEMES A PART ENTIERE. CETTE THESE EST AINSI ARTICULEE AUTOUR DE LA PROPOSITION D'UN MODELE DU RAISONNEMENT D'EXPLICATION. DU POINT DE VUE DE LA CONCEPTION DE L'OBJET EXPLICATION, CE MODELE DE RAISONNEMENT EST FONDE SUR LA CONSTRUCTION SIMULTANEE D'HYPOTHESES D'EXPLICATION, AFIN DE RETARDER LES CHOIX QUI NE PEUVENT ETRE IRREVOCABLES. DU POINT DE VUE DE LA TRANSMISSION DE CET OBJET CONSTRUIT A L'UTILISATEUR, LE MODELE PERMET LA REPLANIFICATION DE L'EXPLICATION A LA SUITE DES INFORMATIONS NOUVELLES QUI PROVIENNENT D'EVENTUELLES INTERRUPTIONS DE L'UTILISATEUR. CE MODELE DE RAISONNEMENT D'EXPLICATION DYNAMIQUE S'ACCORDE AVEC LES CARACTERISTIQUES D'UN PROBLEME POUR LEQUEL UNE PARTIE DES CONNAISSANCES NECESSAIRES A LA RESOLUTION N'APPARAIT QU'EN COURS DE RESOLUTION. L'UTILISATION D'UNE ARCHITECTURE DE TYPE TABLEAU NOIR (BLACKBOARD) POUR IMPLANTER LE MODELE EST JUSTIFIEE PAR LE CARACTERE OPPORTUNISTE DE CETTE ARCHITECTURE ET PAR SA SOUPLESSE DE DEVELOPPEMENT QUI CORRESPOND AUX EXIGENCES QUE NOUS AVONS MISES EN AVANT QUANT A L'ACQUISITION DES CONNAISSANCES D'EXPLICATION
TANGO : moteur d'inférences pour un système-expert avec variables by Marie-Odile Cordier( Book )

1 edition published in 1983 in French and held by 3 WorldCat member libraries worldwide

ASTREE : automatiser l'aide à la construction d'un modèle de résolution de problèmes by Françoise Tort( Book )

1 edition published in 1996 in French and held by 3 WorldCat member libraries worldwide

L'intelligence artificielle est la science informatique qui permet de construire des machines capables de procéder à des opérations relevant habituellement de l'esprit humain. L'un de ses champs d'application a porté sur le développement de systèmes à base de connaissances, visant à simuler le raisonnement d'un expert humain dans un domaine limité. Le développement de ces systèmes comporte une tâche d'acquisition de connaissances auprès d'un expert humain. Depuis les années 80, l'acquisition des connaissances est vue comme un processus de modélisation, elle a pour résultat un modèle de l'expertise. La tâche de construction de modèles est complexe. Différents travaux visent à réduire sa difficulté. Notre travail de thèse d'inscrit dans cette préoccupation : nous proposons un outil informatique, ASTREE - pour aide à la structuration de l'expertise -, visant à aider la modélisation d'une expertise. Cet outil est capable de construire, en intéraction avec son utilisateur, des parties d'un modèle de l'expertise étudiée. Cet outil s'intègre dans un environnement de modélisation des connaissances, MACAO, développé à l'IRIT (Toulouse). Le modèle de l'expertise comporte une description des connaissances du domaine d'application et une description du raisonnement. ASTREE aide son utilisateur à modéliser les connaissances du domaine disponibles dans l'expertise. Il propose pour cela un langage de modélisation, issu du modèle entité-association, ayant une syntaxe précise et une sémantique formelle. ASTREE aide son utilisateur à construire le modèle de résolution de problèmes en construisant automatiquement des composants du modèle. Il exploite pour cela des correspondances entre la structuration des connaissances du domaine et des procédures de résolution de problème. Notre approche a été testée sur un problème d'allocation de personnes dans des bureaux (SISYPHUS-I), sur un problème de diagnostic financier, pour lequel nous avons réalisé une acquisition de connaissances en situation réelle auprès d'un expert
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.12 for Web data m ... to 0.94 for Sur la coh ...)

WorldCat IdentitiesRelated Identities
Reasoning web : semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures
Covers
Web data management
Alternative Names
Lagarde, Marie-Christine

Marie-Christine Rousset informática teórica francesa

Marie-Christine Rousset Informatikerin

Marie-Christine Rousset universitaire

Languages
French (29)

English (29)