Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes
type: Dataset
description: Diagnostic reasoning (abductive) and predictive reasoning (inductive) are two methods of reasoning that enable the discovery of new knowledge. When abductive reasoning is the process of finding the best explanation (hypothesis) for a set of observations (Josephson, 1994), the inductive reasoning is the process of predicting, from a set of observations, to find all possible results. These observations may be symptoms of a patient, experiments on genomic and metabolic networks, etc. In this PhD thesis, we are interested in the representation, analysis and synthesis of genomic signaling networks using hypothetical logic. In fact, this thesis focuses on modeling of signaling pathways in response to the DNA double stranded break. To implement the abduction, we use algorithms of production. Then, the default logic is used to build models of minimum representation. These algorithms are proven knowledge discovery on the map of DNA double-strand break. This map is minimal as biological causality graph and allows integrating bio-molecular data.
issued: 2026-05-05T10:09:39.042324
language: fr
modified: 2026-05-05T10:09:39.042329
contact point: Organization
  fn: CCSD
keyword: abduction
keyword: biological-knowledge
keyword: cassure-double-brin-de-ladn
keyword: champ-de-production
keyword: conclusion-consequente
keyword: connaissances-biologiques
keyword: consistent-conclusion
keyword: default-logic
keyword: diagnostic-reasoning
keyword: double-stranded-break-dna
keyword: field-of-production
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: logique-des-defauts
keyword: metabolic-pathway
keyword: modeling
keyword: modelisation
keyword: predictive-reasoning
keyword: raisonnement-de-prediction
keyword: raisonnement-diagnostique
keyword: representation
keyword: signaling-pathway
keyword: theses
keyword: voie-de-signalisation
keyword: voie-metabolique
landing page: https://theses.hal.science/tel-00996894

Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes
type: Distribution
format: HTML
issued: 2026-05-05T10:09:39.062426
modified: 2026-05-05T10:09:39.013684
access URL: https://theses.hal.science/tel-00996894

test_moissonnage_selune
type: Agent