Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming

We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we propose a range of different operations for altering experimental data and/or a biological network in order to reestablish their mutual consistency—an indispensable prerequisite for automated prediction. For accomplishing repair and prediction, we take advantage of the distinguished modeling and reasoning capacities of Answer Set Programming. We validate our framework by an empirical study on the widely investigated organism Escherichia coli.

• Type: Conference
• Year: 2010
• Where: KR
• Authors: Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
• Keywords: Automated Reasoning, Biological Network, Consistency—an Indispensable Prerequisite, KR 2010, Large-scale Biological Networks