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.
Document type :
Conference papers
Journées d'Intelligence Artificielle Fondamentale 2017, Jul 2017, Caen, France. 14p., 2017
Liste complète des métadonnées

Cited literature [31 references]  Display  Hide  Download

https://hal.laas.fr/hal-01566164
Contributor : Doncescu Andrei <>
Submitted on : Thursday, July 20, 2017 - 4:32:52 PM
Last modification on : Thursday, January 18, 2018 - 2:24:39 AM

File

ArticleIAF2017doncescu.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01566164, version 1

Citation

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., 2017. 〈hal-01566164〉

Share

Metrics

Record views

120

Files downloads

13