迈向布尔自动机网络建模理论 - I. 理论化与观察
离散数学
2011-11-11 v2
摘要
尽管模型建立在某些对现实的观察之上，但从其定义及其特征和性质中理论推导出的概念，并不一定是这些初始观察的直接结果。事实上，其中许多概念源于一系列理论推论，这些推论仅基于精确的模型定义，并且还强烈依赖于某些随之而来的工作假设。因此，一个重要的问题是：模型的哪些特征有效地承载了建模意义，哪些特征仅仅是将对现实的观察形式化为数学语言这一任务的结果。在本文中，我们以一种理论视角来探讨这一问题，将我们的讨论严格限定在建模过程中需要真实系统知识的两个阶段之间，即选择全局理论框架来构建模型的初始阶段，与利用模型的形式化预测并将其与模型旨在模拟的现实进行比较的最终阶段之间。以布尔自动机网络作为对现实中所观察系统进行建模的实例，我们在此设定下分析了建模过程的其余阶段，并展示了理论概念的意义如何微妙地依赖于定义和假设等形式化选择。
引用
@article{arxiv.1111.2077,
title = {Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations},
author = {Mathilde Noual and Sylvain Sené},
journal= {arXiv preprint arXiv:1111.2077},
year = {2011}
}