Representation of gene regulation networks by hypothesis logic-based Boolean systems
نویسندگان
چکیده
Boolean Dynamical Systems (BDSs) are networks described by variables. A new representation of BDSs is presented in this article using modal non-monotonic logic (\({\mathcal {H}}\)). This approach allows Networks to be represented a set formulas and therefore can used describe learn their properties. The study BDS focuses particular on the search stable configurations, limit cycles unstable cycles, which help characterize large type Gene Networks. In identification such asymptotic properties introduction concept, ghost extensions. Using extensions, it possible translate propositional calculus consequently use SAT algorithms.
منابع مشابه
Mutations Change the Boolean Logic of Gene Regulation
Background: Technological advances in mass spectrometry and other detection methods are leading to larger and larger proteomics datasets. However, when papers describing such information are published the enormous volume of data can typically only be provided as supplementary data in a tabular form through the journal website. Several journals in the proteomics field, together with the Human Pr...
متن کاملA Study of 3-gene Regulation Networks Using NK- Boolean Network Model and Fuzzy Logic Networking
Boolean network theory, proposed by Stuart A. Kauffman about 3 decades ago, is more general than the cellular automata theory of von Neumann. This theory has many potential applications, and one especially significant application is in the modeling of genetic networking behavior. In order to understand the genomic regulations of a living cell, one must investigate the chaotic phenomena of some ...
متن کاملLogic Programming for Boolean Networks
The Boolean network is a mathematical model of biological systems, and has attracted much attention as a qualitative tool for analyzing the regulatory system. The stable states and dynamics of Boolean networks are characterized by their attractors, whose properties have been analyzed computationally, yet not much work has been done from the viewpoint of logical inference systems. In this paper,...
متن کاملNetworking development by Boolean logic
Eric Davidson at Caltech has spent several decades investigating the molecular basis of animal development using the sea urchin embryo as an experimental system although his scholarship extends to all of embryology as embodied in several editions of his landmark book. In recent years his laboratory has become a leading force in constructing gene regulatory networks (GRNs) operating in sea urchi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Supercomputing
سال: 2022
ISSN: ['0920-8542', '1573-0484']
DOI: https://doi.org/10.1007/s11227-022-04809-5