文章基本信息

标题：Model Revision of Logical Regulatory Networks Using Logic-Based Tools
本地全文：下载
作者：Filipe Gouveia ; Inês Lynce ; Pedro T. Monteiro 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2018
卷号：64
页码：1-10
DOI：10.4230/OASIcs.ICLP.2018.23
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Recently, biological data has been increasingly produced calling for the existence of computational models able to organize and computationally reproduce existing observations. In particular, biological regulatory networks have been modeled relying on the Sign Consistency Model or the logical formalism. However, their construction still completely relies on a domain expert to choose the best functions for every network component. Due to the number of possible functions for k arguments, this is typically a process prone to error. Here, we propose to assist the modeler using logic-based tools to verify the model, identifying crucial network components responsible for model inconsistency. We intend to obtain a model building procedure capable of providing the modeler with repaired models satisfying a set of pre-defined criteria, therefore minimizing possible modeling errors.
关键词：Logical Regulatory Networks; Model Revision; Answer Set Programming; Boolean Satisfiability; Logic-based tools