This paper contributes to a line of research which aims to combine numerical information with logical inference in order to find the most likely states of a biological system under various (actual or hypothetical) constraints. To this end, we build upon a state-of-the-art approach that employs weighted Boolean constraints to represent and reason about biochemical reaction networks. Our first contribution is to show how this existing method fails to deal satisfactorily with networks that contain cycles. Our second contribution is to define a new method which correctly handles such cases by exploiting the formalism of Answer Set Programming (ASP). We demonstrate the significance of our results on two case-studies previously studied in the literature. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ray, O., Soh, T., & Inoue, K. (2012). Analyzing pathways using ASP-based approaches. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6479 LNCS, pp. 167–183). https://doi.org/10.1007/978-3-642-28067-2_10
Mendeley helps you to discover research relevant for your work.