Vers une représentation des systèmes dynamiques booléens en logique des hypothèses - 11e Journées d'Intelligence Artificielle Fondamentale Access content directly
Conference Papers Year : 2017

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01566164 , version 1

Cite

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⟩
435 View
67 Download

Share

Gmail Mastodon Facebook X LinkedIn More