Vers une représentation des systèmes dynamiques booléens en logique des hypothèses - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Vers une représentation des systèmes dynamiques booléens en logique des hypothèses

Résumé

Un système dynamique Booléen (SDB) représente l'évolution au cours du temps des interactions dans un ré-seau fini d'entités. La représentation des réseaux de ré-gulation de gènes, c'est à dire des interactions entre les gènes/protéines d'une cellule, en est un exemple. Dans ce domaine des théorèmes fondateurs ont porté sur les cycles d'interactions et l'étude des cycles, circuits et point fixes est fondamentale. Des travaux ont été fait sur la représentation de certains réseaux biologiques en utilisant des formalismes non-monotones, en particulier la logique de défauts ou les ASP. Mais une représentation des SDB par la plupart des formalismes non-monotones n'est pas satisfaisante, car elle ne permet pas de représenter les cycles stables et instables. Ici on représente les cycles en utilisant la logique des hypothèses qui généralise la logique des défauts. Pour cette logique on a toujours des extensions mais certaines d'entre elles, les extensions fantômes, vont jouer un rôle particulier pour la représentation et la gestion des cycles. L'article donne une représentation des SDB en logique des hypothèses. Le but est de permettre de discriminer les états stables, les cycles stables et instables.
Fichier principal
Vignette du fichier
ArticleIAF2017doncescu.pdf (217.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01566164 , version 1 (20-07-2017)

Identifiants

  • HAL Id : hal-01566164 , version 1

Citer

Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené. Vers une représentation des systèmes dynamiques booléens en logique des hypothèses. Journées d'Intelligence Artificielle Fondamentale 2017, Jul 2017, Caen, France. 14p. ⟨hal-01566164⟩
429 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More