Reverse Inference in Symbolic Systems Biology
- Beatriz Santos-Buitrago
- Adrián Riesco
- Merrill Knapp
- Gustavo Santos-García
- Carolyn Talcott
- Fernández Riverola, Florentino (ed. lit.)
Editorial: Springer Suiza
ISBN: 978-3-319-60815-0
Any de publicació: 2017
Pàgines: 101-109
Congrés: Practical Applications of Computational Biology & Bioinformatics (PACBB). International Conference (11. 2017. null)
Tipus: Aportació congrés
Resum
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.