Application de la révision et de la fusion des connaissances à l'adaptation et à la combinaison de cas

National audienceLa théorie de la révision (ou révision des croyances) s'intéresse à la modification d'une base de connaissances par une autre base supposée correcte, mais pas nécessairement cohérente avec la première. Cette problématique de la modification est également étudiée dans le cadre du raisonnement à partir de cas, lors de la phase d'adaptation. Cet article pose la question des apports de la théorie de la révision à l'adaptation et donne une première réponse à cette question. Une extension de la théorie de la révision est celle de la fusion des connaissances où comment construire une base de connaissances à partir de plusieurs sources de connaissances éventuellement contradictoires. Cet article pose également la question des apports de la fusion des connaissances à la combinaison de cas et y apporte une réponse préliminaire

Application de la théorie de la révision à l'adaptation en raisonnement à partir de cas : l'adaptation conservatrice

National audienceLe raisonnement à partir de cas a pour objectif de résoudre un problème par adaptation de la solution d'un problème déjà résolu qui a été sélectionné dans une base de cas. Cet article présente une approche de l'adaptation appelée adaptation conservatrice et qui consiste à garder le plus possible de la solution à adapter, tout en assurant la consistance avec le contexte du problème à résoudre et les connaissances du domaine. Cette idée peut être liée à la théorie de la révision : la révision d'une ancienne base par une nouvelle consiste à effectuer un changement minimal sur la première tout en étant cohérent avec la deuxième. Cela conduit à une formalisation de l'adaptation conservatrice sur la base d'un opérateur de révision en logique propositionnelle. Puis, cette théorie de l'adaptation conservatrice est confrontée à une application à l'aide à la décision à partir de cas en cancérologie : un problème de cette application est la description d'un patient atteint d'un cancer du sein et une solution, une recommandation thérapeutique. Des adaptations effectuées par des experts qui peuvent être modélisées par des adaptations conservatrices sont présentées. Ces exemples montrent par exemple une façon d'adapter des traitements contre-indiqués ou des traitements inapplicables

Adaptation de cas spatiaux et temporels

National audienceQualitative algebras form a family of languages mainly used to represent knowledge depending on space or time. This paper proposes an approach to adapt cases represented in such an algebra. A spatial example in agronomy and a temporal example in cooking are given. The idea behind this adaptation approach is to apply a substitution and then repair potential inconsistencies, thanks to belief revision on qualitative algebras.Les algèbres qualitatives forment une famille de langages utilisés principalement pour représenter des connaissances de nature temporelle ou spatiale. Cet article propose une approche pour adapter des cas représentés dans une telle algèbre. Un exemple spatial portant sur l'agronomie ainsi qu'un exemple temporel portant sur la cuisine sont donnés. L'idée sous-jacente à cette approche de l'adaptation est d'appliquer une substitution puis de réparer les incohérences qui pourraient être apparues, grâce à la révision des croyances appliquée aux algèbres qualitatives

Une approche de l'adaptation en raisonnement à partir de cas fondée sur l'optimisation sous contraintes

National audienceUne approche de l'adaptation en raisonnement à partir de cas (RÀPC) qui repose sur la théorie du changement minimal est présentée ici dans un formalisme plus général que la logique propositionnelle finie. Ce formalisme permet d'exprimer des valeurs numériques ce qui est utile dans le cadre du RÀPC. Cette approche est réduite à un problème d'optimisation, et sous hypothèses, à un problème de programmation linéaire

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

Méthodes permettant la prédominance de connaissances subsumées

Cette thèse s inscrit dans le domaine de l Intelligence Artificielle symbolique. Elle y traite d une question fondamentale liée à la représentation des connaissances et des raisonnements à base de logique. Plus précisément, elle s intéresse au problème pouvant se produire lors de l insertion dans un ensemble de connaissances d une information qui peut déjà en être déduite. Comment faire en sorte que cette nouvelle information vienne préempter les informations qui permettent son inférence ? Supposons par exemple qu un ensemble de prémisses contienne l information Si l interrupteur est enclenché alors la pièce est éclairée . Il est naturel d espérer que l ajout d une règle additionnelle, en un sens plus précise que la première, et qui exprime que Si l interrupteur est enclenché et si l ampoule n est pas cassée alors la pièce est éclairée , puisse venir la préempter. En effet, il ne doit plus être suffisant de savoir que L interrupteur soit enclenché pour en conclure que La pièce est éclairée : il faut aussi que L ampoule ne soit pas cassée . Remarquons que la seconde règle est consistante avec la première et que les cadres de logiques non monotones et de révision de croyances ou de mise à jour ne traitent pas a priori de ce problème. Nous adressons d abord cette question dans le cadre de la logique classique et ensuite dans un cadre plus général de représentation à base de logiques non monotones, et particulièrement de celles permettant la représentation de règles avec exceptions reposant sur des tests de consistance.This thesis is in line with the symbolic Artificial Intelligence domain. It deals with a fondamental issue of the logic-based knowledge and reasoning representation. Most particulary, this thesis is interested in the issue occurring when a piece of information is added to a knowledge set which already entails it. How to make sure that this new piece of information prevails the ones that allow its inference? Suppose for instance that a premisses set contains the piece of information If the switch is on then the room is lighted . It is natural to expect that adding an additional rule, in a way more precise than the first one, and which assert that If the switch is on and if the lamp bulb is not broken then the room is lighted , could prevail it. Indeed, it will not be sufficient to know that The switch is on to conclude that The room is lighted : it is now necessary that The lamp bulb is not broken . Let us note that the second rule is consistent with the first one and that the non monotonic logics and beliefs revision or update frameworks do not handle this issue in principle. First of all, we adress this issue in the classical logic framework, and secondly in a most general framework of non monotonic logic based representation, and particulary the ones that allow the representation of rules with exceptions subject of consistency test.ARRAS-Bib.electronique (620419901) / SudocSudocFranceF

Aspects actuels des représentations de connaissances par objets et de la classification

napoli1997aNational audienceCet article présente certains thèmes de recherches étudiés par les membres du groupe "Objets et classification" du PRC-IA. Ces thèmes concernent essentiellement la théorie des systèmes de représentation de connaissances par objets (RCPO), la révision d'une base de connaissances dans les systèmes de RCPO, la classification de classes et d'instances, et la mise en oeuvre d'applications, illustrée ici par le système RESYN. Les travaux présentés montrent une certaine continuité avec les préoccupations des membres du groupe depuis qu'il existe. L'article se termine par la présentation d'éléments de définition d'un système de RCPO, et de perspectives de recherches découlant des thèmes explicités dans l'article

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

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

Adapter des cas en utilisant un opérateur de révision ou des règles

National audienceL'étape d'adaptation d'un système de raisonnement à partir de cas consiste à modifier un cas source en vue de la résolution d'un problème cible. Une des approches de l'adaptation s'appuie sur un opérateur de révision : la connaissance associée au cas source est révisée par les contraintes du problème cible, en tenant compte des connaissances du domaine. Une autre approche de l'adaptation consiste à appliquer des règles d'adaptation. L'objectif de cet article est d'étudier les liens entre ces deux approches de l'adaptation. Étant donné un ensemble de règles d'adaptation, on peut construire un opérateur de révision fondé sur ces règles qui fait coïncider les deux approches. On peut montrer également comment l'approche utilisant la révision peut étendre l'approche à partir de règles. Cela ne rend pas les travaux sur l'approche à base de règles d'adaptation inutiles. Au contraire, l'acquisition de telles règles dans un domaine particulier permet de définir un opérateur de révision approprié pour l'adaptation dans ce domaine