Logic-based analysis of gene expression data predicts association between TNF, TGFB1 and EGF pathways in basal-like breast cancer.

For breast cancer, clinically important subtypes are well characterized at the molecular level in terms of gene expression profiles. In addition, signaling pathways in breast cancer have been extensively studied as therapeutic targets due to their roles in tumor growth and metastasis. However, it is challenging to put signaling pathways and gene expression profiles together to characterize biological mechanisms of breast cancer subtypes since many signaling events result from post-translational modifications, rather than gene expression differences. We designed a logic-based computational framework to explain the differences in gene expression profiles among breast cancer subtypes using Pathway Logic and transcriptional network information. Pathway Logic is a rewriting-logic-based formal system for modeling biological pathways including post-translational modifications. Our method demonstrated its utility by constructing subtype-specific path from key receptors (TNFR, TGFBR1 and EGFR) to key transcription factor (TF) regulators (RELA, ATF2, SMAD3 and ELK1) and identifying potential association between pathways via TFs in basal-specific paths, which could provide a novel insight on aggressive breast cancer subtypes. Codes and results are available at http://epigenomics.snu.ac.kr/PL/.

Soft Set Theory for Decision Making in Computational Biology under Incomplete Information.

The study of biological systems is complex and of great importance. There exist numerous approaches to signal transduction processes, including symbolic modeling of cellular adaptation. The use of formal methods for computational systems biology eases the analysis of cellular models and the establishment of the causes and consequences of certain cellular situations associated to diseases. In this paper, we define an application of logic modeling with rewriting logic and soft set theory. Our approach to decision making with soft sets offers a novel strategy that complements standard strategies. We implement a metalevel strategy to control and guide the rewriting process of the Maude rewriting engine. In particular, we adapt mathematical methods to capture imprecision, vagueness, and uncertainty in the available data. Using this new strategy, we propose an extension in the biological symbolic models of Pathway Logic. Our ultimate aim is to automatically determine the rules that are most appropriate and adjusted to reality in dynamic systems using decision making with incomplete soft sets.

Analysis of survival for lung cancer resections cases with fuzzy and soft set theory in surgical decision making.

OBJECTIVE: Lung cancer is the most common type of cancer around the world, and it represents the main cause of death in the USA. Surgical treatment is the optimal therapeutic strategy for resectable non-small cell lung cancer. The principal factor for long-term survival after complete resection is the anatomic extension of the neoplasm. However, other factors also have adverse effects on operative mortality, and influence long-term outcome. In this paper we propose an algorithmic solution for the estimation of 5-years survival rate in lung cancer patients undertaking pulmonary resection. MATERIALS AND METHODS: We address the issue of survival analysis through decision-making techniques based on fuzzy and soft set theories. We develop an expert system based on clinical and functional data of lung cancer resections in patients with cancer that can be used to predict the survival of patients. RESULTS: The evaluation of surgical risk in patients undertaking pulmonary resection is a primary target for thoracic surgeons. Lung cancer survival is influenced by many factors. The computational performance of our algorithm is critically analyzed by an experimental study. The correct survival classification is achieved with an accuracy of 79.0%. Our novel soft-set based criterion is an effective and precise diagnosis application for the determination of the survival rate.

Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search.

In biological systems, pathways define complex interaction networks where multiple molecular elements are involved in a series of controlled reactions producing responses to specific biomolecular signals. These biosystems are dynamic and there is a need for mathematical and computational methods able to analyze the symbolic elements and the interactions between them and produce adequate readouts of such systems. In this work, we use rewriting logic to analyze the cellular signaling of epidermal growth factor (EGF) and its cell surface receptor (EGFR) in order to induce cellular proliferation. Signaling is initiated by binding the ligand protein EGF to the membrane-bound receptor EGFR so as to trigger a reactions path which have several linked elements through the cell from the membrane till the nucleus. We present two different types of search for analyzing the EGF/proliferation system with the help of Pathway Logic tool, which provides a knowledge-based development environment to carry out the modeling of the signaling. The first one is a standard (forward) search. The second one is a novel approach based on narrowing, which allows us to trace backwards the causes of a given final state. The analysis allows the identification of critical elements that have to be activated to provoke proliferation.