希勒尔·库格勒;阿米尔·普努利;迈克尔·斯特恩。;哈伯德·E·简·艾伯特 “不在乎”建模：开发预测系统模型的逻辑框架。 （英语） 兹比尔1186.92021 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424343-357（2007）。 摘要：分析生物数据通常需要了解通路和/或网络的组成部分及其相互依赖关系。这些系统通常通过由相关组件的状态和一组离散的结果或结果组成的数据集进行分析和理解。这些系统的分析可以通过与可用数据一致的模型来辅助，同时对未测试条件进行最大预测。我们提出了一种为这些类型的系统构建此类模型的方法。为了最大限度地提高预测能力，我们引入了一组“不在乎”（dc）布尔变量，这些变量必须赋值才能获得具体的模型。当dc变量设置为1时，这表示来自相应组件的信息对观察结果没有贡献。直观地说，设置为1的更多dc变量可以最大化潜在的预测能力以及获得不一致模型的可能性。因此，我们将问题表述为最大化设置为1的dc变量的数量，同时保留一致的模型解决方案，并可以解释所有给定的已知数据。这相当于求解一个带有三级量词交替的量化布尔公式（QBF），并为dc变量设定最大化目标。我们开发了一个原型实现来支持我们的新建模方法，并将我们的方法应用于发育生物学中描述秀丽线虫外阴前体细胞命运规范的经典系统的一部分。我们的工作表明，生物实例可以作为形式方法研究界具有挑战性和复杂性的基准。有关整个系列，请参见[Zbl 1116.68006号]. MSC公司： 92立方厘米 系统生物学、网络 62C15号机组 统计决策理论中的可容许性 68单位99 计算方法和应用 92-08 生物学问题的计算方法 PDF格式BibTeX公司 XML格式引用 \textit{H.Kugler}等人，Lect。注释计算。科学。4424、343--357（2007年；Zbl 1186.92021） 全文： 内政部