Relevant bibliographies by topics / Représentation de connaissance et raisonnement / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Représentation de connaissance et raisonnement.

Dissertations / Theses on the topic 'Représentation de connaissance et raisonnement'

Author: Grafiati
Published: 1 June 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Représentation de connaissance et raisonnement.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Sarmiento, Lozano Camilo. "Formalisation des raisonnements éthiques : modélisation des processus en éthique et modélisation, représentation et automatisation du raisonnement causal." Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS047.

Full text
Abstract:
Cette thèse s'inscrit dans le domaine de l'éthique computationnelle dont le but est de formaliser le raisonnement éthique. Autrement dit, ce travail fait partie du domaine qui cherche à reproduire notre capacité en tant qu'êtres rationnels à évaluer moralement une action. Deux objectifs sont recherchés au travers de la formalisation de ce raisonnement : mieux le comprendre et l'intégrer dans des systèmes informatiques de sorte à assurer que les décisions prises soient conformes à des principes moraux choisis.Cette thèse contribue à ce domaine de deux façons. Un premier groupe de contributions
APA, Harvard, Vancouver, ISO, and other styles
2

Popov, Valentin. "Contribution à la représentation et à la résolution du problème de conception déclarative de scènes 3D en synthèse d'image." Poitiers, 2000. http://www.theses.fr/2000POIT2306.

Full text
Abstract:
Cette these se place a la frontiere de la conception de l'univers physique et de l'univers numerique dans un cadre declaratif. C'est une demarche qui vise la construction des scenes (configurations d'objets 3d) a partir de la donnee qualitative, incomplete et incertaine d'un ensemble de proprietes. Nous proposons d'abord la methode de conception hi-commode a base de connaissance, sur le produit et le processus de conception. Par conceptualisation sous forme d'un modele neutre dit virtuel, elle rend le modele geometrique du produit independant des moyens graphiques. A ce titre, hi-commode integ
APA, Harvard, Vancouver, ISO, and other styles
3

Mengin, Jérôme. "Raisonnement par défaut : résolutions de conflits et priorités." Paris 11, 1994. http://www.theses.fr/1994PA112101.

Full text
Abstract:
L'un des thèmes actuels de recherche en intelligence artificielle concerne la formalisation de certains types de raisonnement, en vue d'une automatisation. Cette thèse s'intéresse au raisonnement dit par défaut, à partir de connaissances incomplètes. Après une revue de plusieurs travaux sur ce sujet, la thèse présente un formalisme permettant de tenir compte, de manière intuitive, de préférence parmi les connaissances à inférer par défaut. Ce formalisme est basé sur la notion de résolution de conflits. L'intérêt de ce formalisme réside dans sa souplesse, qui permet de l'appliquer dans plusieur
APA, Harvard, Vancouver, ISO, and other styles
4

Zanuttini, Bruno. "Acquisition de connaissances et raisonnement en logique propositionnelle." Phd thesis, Université de Caen, 2003. http://tel.archives-ouvertes.fr/tel-00995247.

Full text
Abstract:
Nous étudions l'algorithmique de deux problèmes centraux d'Intelligence Artificielle, pour des bases de connaissances représentées, notamment, par des formules propositionnelles de Horn, bijonctives, Horn-renommables ou affines. Nous traitons tout d'abord l'acquisition de connaissances à partir d'exemples : nous donnons notamment un algorithme efficace et général pour l'acquisition exacte, complétons l'état de l'art pour l'approximation et donnons un algorithme pour le PAC-apprentissage des formules affines. Nous étudions ensuite des problèmes de raisonnement : nous donnons un algorithme génér
APA, Harvard, Vancouver, ISO, and other styles
5

Carbonneill, Boris. "Vers un système de représentation de connaissances et de raisonnement fondé sur les graphes conceptuels." Montpellier 2, 1996. http://www.theses.fr/1996MON20015.

Full text
Abstract:
Le travail presente fait partie d'un projet de developpement d'un systeme de representation de connaissances et de raisonnement fonde sur les graphes conceptuels. Apres un tour d'horizon des systemes utilisant les graphes conceptuels, nous presentons une formalisation du modele utilise, celui des graphes conceptuels simples. A partir d'une base de connaissances et d'une question representees respectivement sous forme d'un ensemble de graphes conceptuels et d'un graphe conceptuel, nous definissons tout d'abord la notion de reponse exacte, et proposons un algorithme de recherche, guide par la qu
APA, Harvard, Vancouver, ISO, and other styles
6

Inghilterra, Carlo. "Apports de la représentation orientée objet et du raisonnement analogique dans la conception d'un tutoriel de géomérie." Aix-Marseille 3, 1992. http://www.theses.fr/1992AIX30069.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lugardon, Valérie. "Sur les fondements de la notion de dépendance et de son application à la théorie de l'action." Toulouse 3, 1996. http://www.theses.fr/1996TOU30009.

Full text
Abstract:
La dépendance est une notion générale de plus en plus utilisée en informatique. Cette thèse montre comment tirer partie de cette notion à deux niveaux: au niveau de la logique, en particulier pour redéfinir la sémantique de l'implication, et au niveau de la représentation des connaissances, dans le raisonnement sur les actions. Dans la première partie, différentes logiques sont définies. Il s'agit des logiques Dt, DDt, Eqt et Ret regroupées sous le nom de logiques de la dépendance. Elles diffèrent par les conditions exigées sur le symbole logique de l'implication. Ces conditions sont formulées
APA, Harvard, Vancouver, ISO, and other styles
8

Gacôgne, Louis. "Contribution à la représentation des connaissances floues et mise en oeuvre d'un système de raisonnement approché." Paris 7, 1990. http://www.theses.fr/1990PA077136.

Full text
Abstract:
En suivant la voie ouverte par l. A. Zadeh, on examine les notions de valeurs floues, de prédicats vagues et de déduction approchée, dans le but de donner les bases d'un système modélisant le raisonnement d'un expert humain. Une maquette est construite dans le domaine du choix des roulements à billes
APA, Harvard, Vancouver, ISO, and other styles
9

Tolba, Hany. "Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes." Nancy 1, 1992. http://www.theses.fr/1992NAN10394.

Full text
Abstract:
Nous avons choisi un nouveau modèle de représentation des informations temporelles fondé sur la logique réifiée (l'algèbre d'intervalles). Nous avons étendu cette algèbre pour qu'elle intègre aussi bien les informations numériques que les informations symboliques. Cette représentation se base sur un domaine discret du temps ainsi que sur la notion de multi-granularité pour représenter les différentes granularités du temps. Les différentes tâches de raisonnement à effectuer par un gestionnaire de graphes temporels (TMM), ainsi que la nature hétérogène des contraintes temporelles nous ont amené
APA, Harvard, Vancouver, ISO, and other styles
10

Guizol, Léa. "Partitioning semantics for entity resolution and link repairs in bibliographic knowledge bases." Thesis, Montpellier 2, 2014. http://www.theses.fr/2014MON20188/document.

Full text
Abstract:
Nous proposons une approche qualitative pour la résolution d'entités et la réparation de liens dans une base de connaissances bibliographiques. Notre question de recherche est : "Comment détecter et réparer les liens erronés dans une base de connaissances bibliographiques en utilisant des méthodes qualitatives ?". L'approche proposée se décompose en deux grandes parties. La première contribution est une sémantique de partitionnement utilisant des critères symboliques et servant à détecter les liens erronés. La seconde contribution est un algorithme réparant les liens erronés. Nous avons implém
APA, Harvard, Vancouver, ISO, and other styles
11

Cerf, Marianne. "Essai d'analyse psychologique des connaissances techniques et pratiques des agriculteurs : application au raisonnement de l'implantation des betteraves sucrières." Paris 8, 1994. http://www.theses.fr/1993PA080839.

Full text
Abstract:
Le but de cette these est d'etudier les connaissances des agriculteurs et la facon dont elles sont mobilisees lors de la realisation d'une tache comme la mise en place des betteraves sucrieres, en focntion des contextes de realisation de cette tache. Apres une presentation rapide des motivations de cette recherche, et des caracteristiques cognitives de l'activite agricole, une synthese bibliographique situe l'activite de conduite d'especes vegetales dans le cadre des activites de controle de processus continus et de diagnostic en vue d'agir sur ces processus. Sont ensuite presentes les exploit
APA, Harvard, Vancouver, ISO, and other styles
12

Carvalho, Felipe. "La pensée démonstrative : une approche pragmatique." Paris, EHESS, 2013. http://www.theses.fr/2013EHES0048.

Full text
Abstract:
Cette thèse examine la possibilité d'expliquer notre capacité à penser de façon démonstrative aux objets particuliers dans le monde, dans le cadre d'une approche pragmatiste de la représentation mentale singulière. Cette approche sera développée dans le contexte d'un débat entre les théories conceptualistes et perceptualistes de la pensée démonstrative. Selon les premières, cette capacité ne saurait être expliquée en I'absence de connaissances conceptuelles sophistiquées d'arrière plan portant sur la nature des objets et leur comportement dans I'espace et le temps. Selon les secondes, on peut
APA, Harvard, Vancouver, ISO, and other styles
13

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Université Paul Sabatier - Toulouse III, 2014. http://tel.archives-ouvertes.fr/tel-00996894.

Full text
Abstract:
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
APA, Harvard, Vancouver, ISO, and other styles
14

Forget, Lionel. "X-logiques : théorèmes de représentation pour les logiques préférentielles et la logique des défauts." Aix-Marseille 1, 1999. http://www.theses.fr/1999AIX11009.

Full text
Abstract:
Cette thèse se situe dans le cadre de l'intelligence artificielle et plus particulièrement du raisonnement incertain et révisable. Il existe deux grandes classes de formalismes permettant de modéliser la connaissance. Ceux qui possèdent la propriété de monotonie et dans lesquels une formule déduite le sera toujours lors de l'ajout d'information, et ceux qui sont non-monotones et qui permettent un raisonnement révisable sur des informations incomplètes. Nous nous intéressons à un nouveau formalisme non-monotone, les X-logiques, définies à l'aide d'une logique classique et d'un ensemble de formu
APA, Harvard, Vancouver, ISO, and other styles
15

Barloy, Yann. "Conception et développement d'outils dédiés aux systèmes réflexifs : application à la reconnaissance de manoeuvres automobiles." Troyes, 2008. http://www.theses.fr/2008TROY0023.

Full text
Abstract:
Dans le cadre de ma thèse intitulée : « Conception et développement d’outils dédiés aux systèmes réflexifs. Application à la reconnaissance de manœuvres automobiles. » j’ai développé un moteur d’inférences, nommé Reflexive System Inference Engine (RSIE), basé sur une méthode hybride entre les réseaux RETE et la méthode des filtres afin d’allier performance et souplesse d’application. De par sa structure, RSIE permet de créer des systèmes interagissant non seulement avec leur environnement mais également avec leurs propres connaissances permettant à ces derniers de s’auto-modifier en fonction d
APA, Harvard, Vancouver, ISO, and other styles
16

Simonet, Geneviève. "Héritage non monotone à base de chemins et de graphes partiels." Montpellier 2, 1994. http://www.theses.fr/1994MON20151.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2337/.

Full text
Abstract:
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
APA, Harvard, Vancouver, ISO, and other styles
18

Sabouret, Nicolas. "Etude de modèles de représentation, de requêtes et de raisonnement sur le fonctionnement des composants actifs pour l'interaction homme-machine." Paris 11, 2002. http://www.theses.fr/2002PA112290.

Full text
Abstract:
Nous abordons dans cette thèse le problème de la construction de réponses à des requêtes formelles modélisant des questions de bon sens posées par les utilisateurs ordinaires concernant le fonctionnement d'un composant actif. Les recherches actuelles dans la communauté du raisonnement sur les actions proposent de travailler sur une modélisation du système en logique pour répondre à des requêtes bien formées et ne prennent pas en compte l'existence de "notions de bon sens" utilisées par les utilisateurs ordinaires dans la formulation des questions. De plus, nous voulons pouvoir travailler direc
APA, Harvard, Vancouver, ISO, and other styles
19

Abchiche, Nadia. "Elaboration, implémentation et validation d'une approche distribuée pour l'intégration de modèles de raisonnement hétérogènes : application au diagnostic de pannes électriques." Paris 8, 1999. http://www.theses.fr/1999PA081527.

Full text
Abstract:
Cette these presente l'elaboration d'une approche distribuee pour l'integration de systemes manipulant chacun, un modele de raisonnement particulier. Chaque modele de raisonnement est constitue d'un type de connaissances specifique et d'un ensemble de moyens appropries pour l'exploitation de ces connaissances, ce qui lui conferent un ensemble de caracteristiques lors de la resolution d'un probleme. Notre modele de cooperation mocah (modelisation de la cooperation entre agents heterogenes) est concu pour permettre l'integration de plusieurs modeles de raisonnement dans un meme systeme, en vue d
APA, Harvard, Vancouver, ISO, and other styles
20

Carloni, Olivier. "Introduction de raisonnement dans un outil industriel de gestion des connaissances." Phd thesis, Montpellier 2, 2008. http://www.theses.fr/2008MON20101.

Full text
Abstract:
Le travail de thèse porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service nécessitant la mise en oeuvre de raisonnements sur les connaissances, il a été nécessaire de doter le langage des TM d'une sémantique formelle. Ceci a été réalisé par l'intermédiaire d'une transformation réversible des TM vers le formalisme logique des graphes conceptuels qui permet une représentation graphique des connaissances. La solution a été mise en oeuvre dans deux applicatio
APA, Harvard, Vancouver, ISO, and other styles
21

Bertaud-Gounot, Valérie. "Proposition d'un modèle constructiviste de base de connaissance fondé sur une ontologie des signes permettant les raisonnements abductif et déductif : la représentation du signe en médecine." Rennes 1, 2007. http://www.theses.fr/2007REN1B105.

Full text
Abstract:
En radiologie, des activités cliniques telles que l’aide à la génération de comptes-rendus ou l’aide à la décision nécéssitent un modèle conceptuel partagé de la connaissance médicale. Différentes études ont montré l’insuffisance de l’ensemble des ressources existantes ; l’objectif est de modéliser la sémiologie en radiologie ostéoarticulaire, à partir de ressources existantes : RadLex, GAMUTS, DICOM6SR, l’UMLS, la CISP 2 et FMA. Premièrement , nous avons défini un modèle de haut niveau permettant de représenter la sémiologie. Deuxièmement, nous avons complété les classes et les relations à pa
APA, Harvard, Vancouver, ISO, and other styles
22

Bourget, Annick. "De la formation préclinique à la formation clinique : explicitation du développement du raisonnement clinique chez des étudiantes et des étudiants en médecine ayant suivi un programme basé sur l'apprentissage par problèmes." Thèse, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6383.

Full text
Abstract:
Le but de l'étude est d'explorer le développement du raisonnement clinique selon une perspective multidimensionnelle et longitudinale en considérant le modèle multidimensionnel du raisonnement clinique et le concept de compétence. Les questions de recherche sont : (1) quelles dimensions du raisonnement clinique se manifestent chez l'étudiant? (2) quelles étapes de développement est-il possible de repérer? Il s'agit d'une étude de cas multiples explorant le développement de cinq dimensions : "Représentation", "Processus", "Métacognition", "Connaissances" et "Structures". Quatre étudiants furent
APA, Harvard, Vancouver, ISO, and other styles
23

Carloni, Olivier. "Introduction de raisonnement dans un outil industriel de gestion des connaissances." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2008. http://tel.archives-ouvertes.fr/tel-00387017.

Full text
Abstract:
Le travail de thèse présenté dans ce document porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service nécessitant la mise en oeuvre de raisonnements sur les connaissances, il a été nécessaire de doter le langage des TM d'une sémantique formelle. Ceci a été réalisé par l'intermédiaire d'une transformation réversible des TM vers le formalisme logique des graphes conceptuels qui dispose d'une représentation graphique des connaissances (les TM pouvant facilemen
APA, Harvard, Vancouver, ISO, and other styles
24

Chaoued, Nouha. "Représentation et traitement des connaissances en logique multivalente : cas d'une répartition non uniforme des degrés de vérité." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS048/document.

Full text
Abstract:
Dans la plupart des activités quotidiennes, l’Homme a tendance à utiliser des connaissances imparfaites. L’imperfection se rapporte à trois volets : l’imprécision, l’incertitude et l’incomplétude. Nous thèse concerne les connaissances imprécises. En particulier, nous nous intéressons au traitement qualitatif de l’information imprécise dans les systèmes à base de connaissances. Diverses approches ont été proposées pour traiter les connaissances imprécises, en particulier, la logique floue et la logique multivalente. Les théories des ensembles flous et des multi-ensembles sont un moyen très appr
APA, Harvard, Vancouver, ISO, and other styles
25

Cohen-Solal, Quentin. "Un cadre algébrique pour le raisonnement qualitatif en présence d'informations hétérogènes : application aux raisonnements multi-échelle et spatio-temporel." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC245/document.

Full text
Abstract:
Parmi les différentes formes de raisonnement étudiées dans le contexte de l'intelligence artificielle, le raisonnement qualitatif permet d'inférer de nouvelles connaissances dans le contexte d'informations imprécises, incomplètes et dépourvues de valeurs numériques. Il permet par exemple de déduire de nouvelles informations à partir d'un ensemble d'informations spatiales telles que « la France est frontalière de l'Allemagne », « la Suisse est à l'est de la France », « l'Italie est en Europe » et « le Luxembourg est proche de la France ». Il peut également être utilisé pour résoudre des abstrac
APA, Harvard, Vancouver, ISO, and other styles
26

Le, Ber Françoise. "Modélisation des connaissances et raisonnements pour l'analyse de paysages agraires à partir de données satellitaires." Nancy 1, 1993. http://www.theses.fr/1993NAN10342.

Full text
Abstract:
Cette thèse s'inscrit dans le cadre d'une collaboration entre l'INRA et le CRIN/INRIA. Elle porte sur la représentation des connaissances et raisonnements au moyen de systèmes multi-agents à base de tableau noir, et s'intéresse en particulier à l'usage des modèles dans l'expertise et dans sa représentation. Le domaine d'expertise est celui de l'agronomie confrontée à l'imagerie satellitaire: des images sont extraites des cartes régionales d'occupation du sol qui suivent ensuite un diagnostic des systèmes agraires. La première partie du rapport présente des généralités sur l'expertise, les syst
APA, Harvard, Vancouver, ISO, and other styles
27

Kauffmann, Hervé. "Multilog : utilisation de mondes en programmation logique pour représenter et manipuler des connaissances." Paris 6, 1986. http://www.theses.fr/1986PA066079.

Full text
Abstract:
Multilog est un langage de programmation logique. Ses principales caractéristiques sont les suivantes : les connaissances sont réparties dans différents mondes; chaque monde a son propre mécanisme d'inférence, qui indique quelles inférences peuvent être faites à partir des clauses de la base de connaissances, et comment les faire; trois relations d'héritage permettent de relier les différents mondes: une relation d'héritage total, une relation d'héritage par défaut et une relation d'héritage avec exceptions. Les principales applications de multilog sont : le raisonnement hypothétique, la repré
APA, Harvard, Vancouver, ISO, and other styles
28

Pierre, Denis. "Formulation et maintenance d'une théorie hypothétique par un agent apprenant." Montpellier 2, 1997. http://www.theses.fr/1997MON20082.

Full text
Abstract:
Nous nous interessons a l'apprentissage a partir d'exemples et a la resolution de probleme dans un univers evolutif represente par une base de connaissances incomplete. Nous formalisons un cadre de representation de connaissances susceptible d'etre elabore et critique par des humains comme par des machines. Cette representation des connaissances est appelee theorie semi-empirique car cette forme de theorie n'est pas completement axiomatique. Nous donnons les elements d'une formalisation d'un systeme appele schema mental, modelisant l'augmentation de la connaissance durant le processus d'appren
APA, Harvard, Vancouver, ISO, and other styles
29

Girard, Pierre. "Construction hypothétique d'objets complexes." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00345880.

Full text
Abstract:
Dans les modèles à objets distinguant la notion de classe (ensemble d'individus) de celle d'instance (individu particulier), la classe peut jouer deux rôles fondamentalement différents. Les modèles qui mettent en œuvre des mécanismes de classification d'instances, présentent la classe comme une unité d'identification caractérisant les propriétés que doivent posséder toutes ses instances. Ces propriétés sont alors utilisées pour établir l'appartenance d'une instance à une classe. D'autres modèles utilisent la classe comme unité de construction, ou de gestion, d'instances. Ils laissent alors tou
APA, Harvard, Vancouver, ISO, and other styles
30

Girard, Pierre. "Construction hypothétique d'objets complexes." Phd thesis, Grenoble 1, 1995. https://theses.hal.science/tel-00345880.

Full text
Abstract:
Dans les modèles à objets distinguant la notion de classe (ensemble d'individus) de celle d'instance (individu particulier), la classe peut jouer deux rôles fondamentalement différents. Les modèles qui mettent en œuvre des mécanismes de classification d'instances, présentent la classe comme une unité d'identification caractérisant les propriétés que doivent posséder toutes ses instances. Ces propriétés sont alors utilisées pour établir l'appartenance d'une instance à une classe. D'autres modèles utilisent la classe comme unité de construction, ou de gestion, d'instances. Ils laissent alors tou
APA, Harvard, Vancouver, ISO, and other styles
31

Mangelinck, Ludmila. "Représentation et classification de structures spatiales -- Application à la reconnaissance de paysages agricoles." Phd thesis, Université Henri Poincaré - Nancy I, 1998. http://tel.archives-ouvertes.fr/tel-00391141.

Full text
Abstract:
Dans cette th{è}se, nous nous int{é}ressons {à} la repr{é}sentation et {à} la classification de structures spatiales dans le cadre de la reconnaissance de mod{è}les de paysages agricoles sur des images satellites. Nous avons d{é}fini, lors d'une phase d'acquisition des connaissances, des mod{è}les de paysages sous forme de classes dans un syst{è}me de repr{é}sentation des connaissances par objets. Les classes sont reli{é}es entre elles par des relations spatiales qualitatives. Les relations spatiales sont des classes dont les instances lient d'autres classes. Les classes de relations sont orga
APA, Harvard, Vancouver, ISO, and other styles
32

Schmeltzer, Olivier. "Modélisation de cartes génomiques : une formalisation et un algorithme de construction fondé sur le raisonnement temporel." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00005062.

Full text
Abstract:
La modélisation de cartes génomiques, qui sont un outil indispensable aux biologistes moléculaires, pose de nombreux problémes de représentation et de traitement. Les premiers proviennent de l'existence de plusieurs descriptions des entités du génome, les seconds de la complexité algorithmique de la construction des cartes, ajoutée à la nécessité de pouvoir traiter les incohérences issues des expériences. Ce travail s'attache dans un premier temps à préciser la notion de carte grâce à une formalisation qui spécifie comment sont construites les cartes génomiques et quelles sont les relations en
APA, Harvard, Vancouver, ISO, and other styles
33

Chen, Jieying. "Knowledge Extraction from Description Logic Terminologies." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS531.

Full text
Abstract:
Un nombre croissant d'ontologies de grandes tailles ont été développées et mises à disposition dans des référentiels tels que le NCBO Bioportal. L'accès aux connaissances les plus pertinentes contenues dans les grandes ontologies a été identifié comme un défi important. À cette fin, nous proposons dans cette thèse trois notions différentes : modules d’ontologie minimale (sous-ontologies conservant toutes les implications sur un vocabulaire donné), meilleurs extraits ontologiques (certains petits nombres d’axiomes qui capturent le mieux les connaissances sur le vocabulaire permettant un degré d
APA, Harvard, Vancouver, ISO, and other styles
34

Thomazo, Michaël. "Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2013. http://tel.archives-ouvertes.fr/tel-00925722.

Full text
Abstract:
L'objectif du problème appelé "Ontology-based data access" (OBDA) est d'améliorer la réponse à des requêtes en prenant en compte des connaissances d'ordre général durant l'évaluation des requêtes. Ces connaissances générales sont représentées à l'aide d'une ontologie, qui est exprimée dans cette thèse grâce à des formules logiques du premier ordre, appelées règles existentielles, et aussi connues sous le nom de "tuple-generating dependencies" et Datalog+/-. L'expressivité des formules utilisées est telle que l'évaluation de requêtes devient un problème indécidable, et cela a conduit la communa
APA, Harvard, Vancouver, ISO, and other styles
35

Azough, Ahmed. "Modèle sémantique de la vidéo pour la description, la détection et la recherche des événements visuels." Thesis, Lyon 1, 2010. http://www.theses.fr/2010LYO10055.

Full text
Abstract:
Cette thèse consiste à explorer l'usage d'outils de support de la sémantique des données dans le domaine du multimédia. La première contribution concerne la génération de descriptions de haut-niveau. Nous proposons un langage de description de haut-niveau qui permet la définition d'événements et d'objets à partir de caractéristiques de bas-niveau. La deuxième contribution concerne l'exploration de certains types de raisonnement dans le contexte de la multimédia sémantique. Nous proposons un langage sémantique (fondé sur les graphes conceptuels flous) pour la description des vidéos et définisso
APA, Harvard, Vancouver, ISO, and other styles
36

Brunet, Eric. "Conception et réalisation d'un système expert d'aide à l'interprétation des chocs mécaniques en centrale nucléaire." Compiègne, 1988. http://www.theses.fr/1988COMPD113.

Full text
Abstract:
Le travail réalisé a permis la conception d'un générateur de systèmes experts d'aide au diagnostic (MIGRE) et la réalisation, à partir de celui-ci, d'un système d'aide à l'interprétation des chocs mécaniques en centrale nucléaire. Le problème central du développement de systèmes à base de connaissances est lié au concept de " connaissance ". MIGRE propose une classification des connaissances en trois niveaux. Le premier concerne les connaissances de base ou descriptives et est formalisé à travers un modèle Entité-Relation. Le second niveau associe aux concepts de base des informations spécifiq
APA, Harvard, Vancouver, ISO, and other styles
37

Ramon, Sébastien. "Méthodes permettant la prédominance de connaissances subsumées." Thesis, Artois, 2011. http://www.theses.fr/2011ARTO0405/document.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
38

Rocher, Swan. "Querying existential rule knowledge bases : decidability and complexity." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT291/document.

Full text
Abstract:
Dans cette thèse, nous nous intéressons au problème d'interrogation de bases de connaissances composées de données et d'une ontologie, qui représente des connaissances générales sur le domaine d'application. Parmi les différents formalismes permettant de représenter les connaissances ontologiques, nous considérons ici un fragment de la logique du premier ordre appelé règles existentielles (aussi connues sous le nom de ``tuple generating dependencies'' et Datalog+/-). Le problème fondamental de conséquence logique au cœur de cette thèse demande si une requête conjonctive est conséquence d'une b
APA, Harvard, Vancouver, ISO, and other styles
39

Goasdoué, François. "Knowledge Representation meets DataBases for the sake of ontology-based data management." Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00759274.

Full text
Abstract:
This Habilitation thesis outlines my research activities carried out as an Associate Professor at Univ. Paris-Sud and Inria Saclay Île-de-France. During this period, from 2003 to early 2012, my work was - and still is - at the interface between Knowledge Representation and Databases. I have mainly focused on ontology-based data management using the Semantic Web data models promoted by W3C: the Resource Description Framework (RDF) and the Web Ontology Language (OWL). In particular, my work has covered (i) the design, (ii) the optimization, and (iii) the decentralization of ontology-based data m
APA, Harvard, Vancouver, ISO, and other styles
40

Belouaer, Lamia. "Représentation de la connaissance spatiale pour la planification." Caen, 2011. http://www.theses.fr/2011CAEN2070.

Full text
Abstract:
Nous nous intéressons à la prise en compte de l'information spatiale d'un point de vue de la représentation et du raisonnement afin de planifier une mission dans le cadre de l'interaction homme-robot. Une première partie de la thèse concerne la représentation et le raisonnement spatial. Nous proposons une ontologie spatiale : SpaceOntology permettant de représenter l'information spatiale qualitative, quantitative et de mener un raisonnement sur celle-ci. Sur la base de cette modélisation spatiale nous avons mis en place un planificateur avec deux modules : un module de raisonnement symbolique
APA, Harvard, Vancouver, ISO, and other styles
41

Ma, Truong-Thanh. "Sur la fusion d'ontologies à domaine ouvert." Electronic Thesis or Diss., Artois, 2022. http://www.theses.fr/2022ARTO0406.

Full text
Abstract:
Le sujet de la thèse est la fusion d'ontologies, une approche pour intégrer diverses sources d'ontologies en une seule qui gère les conflits émergents. Cette thèse s'inspire de la théorie de la fusion de croyances pour fusionner des ontologies afin de produire une base de connaissances cohérente et unifiée. Dans ce contexte, nous proposons trois contributions suivantes.Dans la première contribution, nous formalisons une nouvelle modèle de fusion basé sur la sémantique. Il s’agit d’une stratégie de fusion qui se concentre principalement sur la gestion des conflits sémantiques. Un conflit sémant
APA, Harvard, Vancouver, ISO, and other styles
42

Duong, Vu Nguyen. "La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1990. http://tel.archives-ouvertes.fr/tel-00520680.

Full text
Abstract:
La thèse est que la représentation par contraintes, en terme de langage et la déduction par la gestion automatique des réseaux de contraintes est une voie adéquate pour les systèmes d'aide à la conception en ingénierie. Deux techniques de l'Intelligence Artificielle à savoir la Propagation de Contraintes et le Raisonnement Qualitatif sont abordées. La Propagation de Contraintes est un mécanisme d'inférences déductives sur les réseaux de contraintes. Ce mécanisme présente plusieurs difficultés, particulièrement dans les calculs pas-à-pas de la résolution des relations entre valeurs des variable
APA, Harvard, Vancouver, ISO, and other styles
43

Son, Ji min. "/Répétition/ (mot barré) : la non-représentation du vouloir-dire et le dernier retour de l’histoire de l’art par le dispraître." Thesis, Paris, EHESS, 2017. http://www.theses.fr/2017EHES0071/document.

Full text
Abstract:
Dans sa provenance platonicienne, l’idéal de l’incarnation de l’Idée doit à la fois affronter des individualités (pré)déterminées et qualitativement différentes (le pluralisme) – qui sont répétitions et répétées elles-mêmes. Il doit devenir le vouloir-dire de la personne qui s’efforce de mettre en œuvre ce dernier et qui cherche à franchir les limites ontologiques de la représentation. Cependant, l’irréalisabilité de la pure répétition du vouloir-dire – ou de n’importe quel « sujet » – atteste de la présence absente du même dans le processus de sa mise en œuvre ; la répétition est toujours déj
APA, Harvard, Vancouver, ISO, and other styles
44

Guérin, Clément. "Proposition d'un cadre pour l'analyse automatique, l'interprétation et la recherche interactive d'images de bande dessinée." Thesis, La Rochelle, 2014. http://www.theses.fr/2014LAROS024/document.

Full text
Abstract:
Le paysage numérique de la culture française et mondiale subit de grands bouleversements depuis une quinzaine d’années avec des mutations historiques des médias, de leur format traditionnel au format numérique, tirant avantageusement parti des nouveaux moyens de communication et des dispositifs mobiles aujourd’hui popularisés. Aux côtés de formes culturelles ayant achevé, ou étant en passe d’achever, leur transition vers le numérique, la bande dessinée tâtonne encore pour trouver sa place dans l’espace du tout dématérialisé. En parallèle de l’émergence de jeunes auteurs créant spécifiquement p
APA, Harvard, Vancouver, ISO, and other styles
45

Sala, Michel. "Proposition d'une méthodologie et d'un environnement d'apprentissage d'aide à la découverte scientifique : application à la génétique, l'environnement SIGALE." Montpellier 2, 1996. http://www.theses.fr/1996MON20019.

Full text
Abstract:
Nous proposons une methodologie pour concevoir un environnement d'apprentissage qui permet au chercheur de modeliser son modele du domaine dans le cadre d'aide a la decouverte scientifique. Le modele du domaine est represente sous forme de base de connaissances contenant un ensemble de contraintes sur les donnees experimentales et les resultats des outils de calcul. A la suite d'incoherences entre les experimentations et la base de connaissances, l'environnement d'apprentissage fournit un ensemble d'explications concernant les contraintes non respectees ainsi que des informations complementair
APA, Harvard, Vancouver, ISO, and other styles
46

Qiu, Mingming. "Designing smart home services using machine learning and knowledge-based approaches." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAT014.

Full text
Abstract:
L'intelligence de la maison intelligente est réalisée en créant divers services. Chaque service tente d'ajuster un état monitoré en contrôlant les actionneurs associés après avoir pris en compte les états de l'environnement détectés par les capteurs. Cependant, la conception de la logique des services déployés dans une maison intelligente se heurte à des limitations soit d'adaptabilité dynamique (règles prédéfinies) soit d'explicabilité (techniques d'apprentissage). Quatre propositions s'inscrivant dans une approche hybride combinant des règles prédéfinies et des techniques d'apprentissage vis
APA, Harvard, Vancouver, ISO, and other styles
47

Shang, Wei. "Un système et un langage pour le traitement d'inférences non monotone." Compiègne, 1990. http://www.theses.fr/1990COMPD299.

Full text
Abstract:
Nous présentons dans ce mémoire un système d'inférence en logiques non-monotones. Ce système a pour objet de représenter les connaissances et le raisonnement révisables. Une étude sur les différentes stratégies de recherche dans l'espace de solutions a été présentée, nous montrons à travers des exemples, que l'enregistrement des dépendances de l'inférence peut optimiser sensiblement la recherche dans l'espace de solutions. Nous décrivons ensuite un système de contrôle de cohérence : ATMS de J. De Kleer, c'est un système à base de dépendances, qui est utilisé comme un module d'inférence dans no
APA, Harvard, Vancouver, ISO, and other styles
48

Lemaignan, Severin. "Grounding the interaction : knowledge management for interactive robots." Thesis, Toulouse, INSA, 2012. http://www.theses.fr/2012ISAT0010/document.

Full text
Abstract:
Avec le développement de la robotique cognitive, le besoin d’outils avancés pour représenter, manipuler, raisonner sur les connaissances acquises par un robot a clairement été mis en avant. Mais stocker et manipuler des connaissances requiert tout d’abord d’éclaircir ce que l’on nomme connaissance pour un robot, et comment celle-ci peut-elle être représentée de manière intelligible pour une machine. Ce travail s’efforce dans un premier temps d’identifier de manière systématique les besoins en terme de représentation de connaissance des applications robotiques modernes, dans le contexte spécifi
APA, Harvard, Vancouver, ISO, and other styles
49

Bocéréan, Christine. "Représentation de la mémoire perceptive et raisonnement analogique." Nancy 2, 1999. http://www.theses.fr/1999NAN21016.

Full text
Abstract:
L'objectif principal de la recherche est d'appliquer le modèle de raisonnement analogique de Rumelhart et Abrahamson (1977) initialement validé dans un contexte sémantique, à des stimuli perceptifs de type cubes de Kohs. Dans ce modèle, la mémoire sémantique correspondant aux concepts des noms de mammifères est représentée en tant qu'espace multidimensionnel, dans lequel sont exprimées les relations de similarité entre ces concepts. Un algorithme permet de définir la probabilité de choix des distracteurs, dans des analogies de type 'A est à B, ce que C est à {D1, D2, D3, D4}'. La première étap
APA, Harvard, Vancouver, ISO, and other styles
50

Lecomte, Maxime. "Approche hybride de modélisation explicable du métabolisme des écosystèmes microbiens." Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0094.

Full text
Abstract:
Les communautés microbiennes sont des systèmes complexes composés de diverses espèces de micro-organismes interagissant entre elles et avec leur environnement. La biologie des systèmes offre un cadre pour leur étude, alliant expérimentation, génération de données à haut-débit et leur intégration dans des modèles informatiques. La compréhension de ces communautés passe notamment par celle de leur métabolisme et des échanges de molécules entre espèces susceptibles d’impacter positivement ou négativement chacun des membres. Le métabolisme est un ensemble de réactions biochimiques et peut s’abstra
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Représentation de connaissance et raisonnement' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography