Utilization of Default Logic for Analyzing a Metabolic System in Discrete Time

Metabolic pathways are seen as high criticalities in our understanding of mechanisms of biological functions. This article focuses on automatic synthesis of the metabolic pathways from factors in the domain of discrete time. An essential component of this approach is using default logic to acquire facts about biological knowledge of intracellular communication. By choosing an adequate representation of biological knowledge, the "reasoning" is able to assign in acquisition of the facts and extract interactions necessary for the synthesis of the metabolic pathways or signaling.