一种面向基因网络的修正霍尔逻辑
计算工程、金融与科学
2015-06-22 v1 计算机科学中的逻辑
摘要
在基因网络建模中，一个重要的问题在于参数识别，即使我们考虑如 René Thomas 所提出的纯离散框架也是如此。此处我们感兴趣的是对所有与基因网络观测行为一致的参数值进行穷举搜索。我们在本文中提出一种基于霍尔逻辑与最弱前置条件演算的新方法，以生成对可能参数值的约束。观测行为扮演了经典霍尔逻辑中“程序”的角色，而计算出的最弱前置条件表示所有兼容参数化的集合，表达为对参数的约束。最后，我们给出了我们的基因网络霍尔逻辑的正确性证明，以及基于最弱前置条件计算得到的完备性证明。
引用
@article{arxiv.1506.05887,
title = {A Genetically Modified Hoare Logic},
author = {Gilles Bernot and Jean-Paul Comet and Zohra Khalis and Adrien Richard and Olivier Roux},
journal= {arXiv preprint arXiv:1506.05887},
year = {2015}
}