Reverse Inference in Symbolic Systems Biology

• Autores: Beatriz Santos Buitrago, Adrián Riesco Rodríguez , Merrill Knapp, Gustavo Santos García, Carolyn Talcott
• Localización: 11th International Conference on Practical Applications of Computational Biology & Bioinformatics / Florentino Fernández Riverola (ed. lit.) , 2017, ISBN 978-3-319-60815-0, págs. 101-109
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• 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.