ASP for Construction and Validation of Regulatory Biological Networks - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2014

ASP for Construction and Validation of Regulatory Biological Networks

Résumé

This chapter presents a declarative approach for analyzing and building genetic regulatory networks (GRNs). First, it proposes an implementation of a model checker for linear temporal logic (LTL) and computational tree logic (CTL) formulas in answer set programming (ASP), a logic programming language based on the stable model semantic. Second, the chapter discusses a specification in ASP of Thomas GRNs that are both a generalization of Boolean networks and an approximation of piecewise linear differential equations. Then, it describes a methodology for analyzing networks with a declarative approach, including consistency repairing and learning of properties from a set of consistent models. The aim is not only to exhibit the importance of logic programming, but also to point up the advantages of ASP, coming from non‐monotonicity, minimality of models, expressiveness and practical performances. Finally, the provided functionalities and the proposed methodology are evaluated over three real biological applications.
Fichier non déposé

Dates et versions

hal-02272463 , version 1 (27-08-2019)

Identifiants

  • HAL Id : hal-02272463 , version 1

Citer

Alexandre Rocca, Nicolas Mobilia, Eric Fanchon, Tony Ribeiro, Laurent Trilling, et al.. ASP for Construction and Validation of Regulatory Biological Networks. Logical Modeling of Biological Systems, John Wiley & Sons, Inc., pp.167-206, 2014. ⟨hal-02272463⟩
1242 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More