基于 ASP 的同步与异步布尔网络吸引子枚举方法
人工智能
2019-09-19 v1 计算机科学中的逻辑
摘要
布尔网络传统上用于表示和模拟基因调控网络。在布尔网络动态的分析中，吸引子受到特别关注。本工作中，我们提出一种基于答案集编程（ASP）的新方法来表达布尔网络并模拟此类网络的动态。我们的工作聚焦于吸引子的识别，依赖于对同步与异步布尔网络所有吸引子的穷举枚举。我们在真实生物网络上应用并评估了所提方法，所得结果表明这一新方法具有前景。
引用
@article{arxiv.1909.08251,
title = {An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks},
author = {Tarek Khaled and Belaïd Benhamou},
journal= {arXiv preprint arXiv:1909.08251},
year = {2019}
}
备注
In Proceedings ICLP 2019, arXiv:1909.07646