Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model

Symbolic systems biology aims to explore biological processes as whole systems instead of independent elements. The goal is to define formal models that capture biologists’ reasoning. Pathway Logic (PL) is a system for the development of executable formal models of biomolecular processes. PL uses forwards/backwards collections that assemble a connected set of rules from a rule knowledge base in order to model a system specified by an initial state. For this to succeed the rules must contain component states that have the same level of detail, while at the same time, the knowledge base must capture as much detail as possible. In this paper, we propose a new way to perform matching in the rewriting process in Maude language. We introduce a basic concept of fuzzy match or fuzzy instantiates to which we will use to check requirements imposed by controls in the forward collection and to check if the change part of a rule applies forwards or backwards.

[1]  Chris Sander,et al.  Perturbation biology nominates upstream–downstream drug combinations in RAF inhibitor resistant melanoma cells , 2015, eLife.

[2]  Doheon Lee,et al.  Rule-based multi-scale simulation for drug effect pathway analysis , 2013, BMC Medical Informatics and Decision Making.

[3]  Adrián Riesco,et al.  Reverse Inference in Symbolic Systems Biology , 2017, PACBB.

[4]  Adrián Riesco,et al.  Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search , 2017, BioMed research international.

[5]  Merrill Knapp,et al.  Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information , 2019, IEEE Access.

[6]  Pietro Liò,et al.  Computational Modeling, Formal Analysis, and Tools for Systems Biology , 2016, PLoS Comput. Biol..

[7]  Adrián Riesco,et al.  Declarative debugging of rewriting logic specifications , 2012, J. Log. Algebraic Methods Program..

[8]  Lily A. Chylek,et al.  Modeling for (physical) biologists: an introduction to the rule-based approach , 2015, Physical biology.

[9]  Carolyn L. Talcott,et al.  Explaining Response to Drugs Using Pathway Logic , 2017, CMSB.

[10]  Carolyn L. Talcott,et al.  The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction , 2016, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

[11]  Carolyn L. Talcott,et al.  Inferring Executable Models from Formalized Experimental Evidence , 2015, CMSB.

[12]  Beatriz Santos-Buitrago,et al.  Signaling Transduction Networks in Choroidal Melanoma: A Symbolic Model Approach , 2019, PACBB.