摘要翻译:
我们的目标是建立一套规则,这样就可以在基因调控网络中对时间依赖性进行推理。潜在的转变可以通过离散化观察到的时间序列来获得,或者它们是基于现有知识产生的,例如通过布尔网络或它们的不确定性推广。形式概念分析(FCA)是一门数学学科,它已经在知识表示、数据挖掘和软件工程等领域得到了成功的应用。通过属性探索算法,专家或支持的计算机程序能够判断最小蕴涵集的有效性,从而构建一个健全完整的知识库。由此可以推导出与一组基因的选定性质有关的所有有效的含义。我们介绍了我们的方法在枯草芽孢杆菌中产生孢子的结果。然而,形式结构是以最一般的方式展示的。因此,该方法可以适用于信号转导或代谢网络,以及许多生物和非生物领域的离散时间转变。
---
英文标题:
《Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal
Concept Analysis Methods》
---
作者:
Johannes Wollbold, Reinhard Guthke, Bernhard Ganter
---
最新提交年份:
2008
---
分类信息:
一级分类:Quantitative Biology 数量生物学
二级分类:Molecular Networks 分子网络
分类描述:Gene regulation, signal transduction, proteomics, metabolomics, gene and enzymatic networks
基因调控、信号转导、蛋白质组学、代谢组学、基因和酶网络
--
一级分类:Computer Science 计算机科学
二级分类:Artificial Intelligence 人工智能
分类描述:Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域,除了视觉、机器人、机器学习、多智能体系统以及计算和语言(自然语言处理),这些领域有独立的学科领域。特别地,包括专家系统,定理证明(尽管这可能与计算机科学中的逻辑重叠),知识表示,规划,和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类:Mathematics 数学
二级分类:Logic 逻辑
分类描述:Logic, set theory, point-set topology, formal mathematics
逻辑,集合论,点集拓扑,形式数学
--
---
英文摘要:
Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondeterministic generalization. We use the mathematical discipline of formal concept analysis (FCA), which has been applied successfully in domains as knowledge representation, data mining or software engineering. By the attribute exploration algorithm, an expert or a supporting computer program is enabled to decide about the validity of a minimal set of implications and thus to construct a sound and complete knowledge base. From this all valid implications are derivable that relate to the selected properties of a set of genes. We present results of our method for the initiation of sporulation in Bacillus subtilis. However the formal structures are exhibited in a most general manner. Therefore the approach may be adapted to signal transduction or metabolic networks, as well as to discrete temporal transitions in many biological and nonbiological areas.
---
PDF链接:
https://arxiv.org/pdf/0807.3287