Reverse Inference in Symbolic Systems Biology

  1. Beatriz Santos-Buitrago
  2. Adrián Riesco
  3. Merrill Knapp
  4. Gustavo Santos-García
  5. Carolyn Talcott
Libro:
11th International Conference on Practical Applications of Computational Biology & Bioinformatics
  1. Fernández Riverola, Florentino (ed. lit.)

Editorial: Springer Suiza

ISBN: 978-3-319-60815-0

Año de publicación: 2017

Páginas: 101-109

Tipo: Capítulo de Libro

DIALNET GOOGLE SCHOLAR

Resumen

Cell dynamics is intrinsically concurrent, since many different biochemical reactions might take place simultaneously in a cell. Productive symbolic mathematical models of cell biology can be developed by modeling such biochemical reactions with rewrite rules. Analyses and predictions of biological facts can be obtained from such models. The authors have previously published several approaches for searching along cellular signaling networks. In this paper, we introduce a novel reverse inference system by applying narrowing techniques. Moreover, we propose a new general architecture which allows an extendible set of tools for direct and reverse inference by using rewriting logic.

Fuente de los datos: Dialnet