MIM-Logic : a logic for reasoning about molecular interaction maps

par Naji Obeid

Thèse de doctorat en Intelligence artificielle

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 2014

à Toulouse 3 .


  • Résumé

    Les séries de réactions biochimiques apparaissant au cœur d'une cellule forme ce qu'on appelle des voies métaboliques. La plupart de ces voies sont très complexes impliquant un grand nombre de protéines et d'enzymes. Une représentation logique de ces réseaux contribue au raisonnement à propos de ces voies en général, allant du fait de répondre à certaines questions, compléter des arcs et nœuds manquant, et trouver des incohérences. Dans ce contexte on propose un nouveau model logique basé sur un fragment de logique de premier ordre capable de décrire les réactions apparaissant dans des Molecular Interaction Maps. On propose aussi une méthode de déduction automatique efficace capable de répondre aux questions par déduction pour prédire les résultats des réactions et par abduction pour trouver les états des protéines et de leurs réactions. Cette méthode automatique est basée sur une procédure de traduction qui élimine les quantificateurs des formules de logique premier ordre.


  • Résumé

    The series of biochemical reactions that occur within a cell form what we call Metabolic Pathways. Most of them can be quite intricate and involve many proteins and enzymes. Logical representations of such networks can help reason about them in general, where the reasoning can range from answering some queries, to completing missing nodes and arcs, and finding inconsistencies. This work proposes a new logical model based on a fragment of first-order logic capable of describing reactions that appear in a Molecular Interaction Maps. We also propose an efficient automated deduction method that can answer queries by deduction to predict reaction results or by abductive reasoning to find reactions and protein states. This automated deduction method is based on a translation procedure that transforms first-order formulas into quantifier free formulas.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (166 p.)
  • Annexes : Bibliogr. p. 155-166

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2014 TOU3 0186
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.