Analyzing Pathways Using ASP-Based Approaches

  • Oliver Ray
  • Takehide Soh
  • Katsumi Inoue
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6479)


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.


Metabolic Network Logic Programming Biological Network Reaction Network Stable Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alsinet, T., Manyà, F., Planes, J.: An efficient solver for weighted max-sat. Journal of Global Optimization 41, 61–73 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Baral, C., Chancellor, K., Tran, N., Tran, N.L., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. In: Proc. 12th Int. Conf. on Intelligent Systems for Molecular Biology, pp. 15–22 (2004)Google Scholar
  3. 3.
    Bay, S., Shrager, J., Pohorille, A., Langley, P.: Revising regulatory networks: From expression data to linear causal models. Journal of Biomedical Informatics 35, 289–297 (2003)CrossRefGoogle Scholar
  4. 4.
    Beasley, J., Planes, F.: Recovering metabolic pathways via optimization. Bioinformatics 23(1), 92–98 (2007)CrossRefGoogle Scholar
  5. 5.
    Bodei, C., Bracciali, A., Chiarugi, D.: On deducing causality in metabolic networks. BMC Bioinformatics 9(4) (2008)Google Scholar
  6. 6.
    Clark, K.: Negation as failure rule. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press (1978)Google Scholar
  7. 7.
    Dworschak, S., Grell, S., Nikiforova, V., Schaub, T., Selbig, J.: Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints 13(1-2), 21–65 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: Executable models of biological networks. In: Proc. 4th Int. Workshop on Rewriting Logic and Its Applications (2002)Google Scholar
  9. 9.
    Fages, F.: A new fixpoint semantics for general logic programs compared with the well-supported and stable model semantics. New Generation Computing 9, 425–443 (1991)CrossRefzbMATHGoogle Scholar
  10. 10.
    Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4, 64–73 (2004)CrossRefzbMATHGoogle Scholar
  11. 11.
    Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A Conflict-Driven Answer Set Solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Gebser, M., Schaub, T., Thiele, S.: GrinGo: A New Grounder for Answer Set Programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266–271. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, pp. 285–316. Elsevier (2007)Google Scholar
  14. 14.
    Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 810–815 (2009)Google Scholar
  15. 15.
    Juvan, P., Demsar, J., Shaulsky, G., Zupan, B.: GenePath: from mutations to genetic networks and back. Nucleic Acids Research 33 (2005)Google Scholar
  16. 16.
    King, R., Garrett, S., Coghill, G.: On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics 21(9), 2017–2026 (2005)CrossRefGoogle Scholar
  17. 17.
    King, R., Whelan, K., Jones, F., Reiser, P., Bryant, C., Muggleton, S., Kell, D., Oliver, S.: Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist. Nature 427, 247–252 (2004)CrossRefGoogle Scholar
  18. 18.
    Klamt, S., Stelling, J.: Combinatorial complexity of pathway analysis in metabolic networks. Molecular Biology Reports 29(1-2), 233–236 (2002)CrossRefGoogle Scholar
  19. 19.
    Küffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differetial metabolic display (DMD). In: German Conference on Bioinformatics, pp. 141–147 (1999)Google Scholar
  20. 20.
    Kügel, A.: Improved exact solver for the weighted max-sat problem. In: Proc. of the 2010 Pragmatics of SAT Workshop (2010) Google Scholar
  21. 21.
    Lifschitz, V.: What is answer set programming? In: Proc. 23rd AAAI National Conf. on Artificial Intelligence, pp. 1594–1597. AAAI Press (2008)Google Scholar
  22. 22.
    Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)CrossRefzbMATHGoogle Scholar
  23. 23.
    Marek, W., Subrahmanian, V.S.: The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Theoretical Computer Science 103, 365–386 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Muggleton, S., King, R., Sternberg, M.: Protein secondary structure prediction using logic-based machine learning. Protein Engineering 5(7), 647–657 (1992)CrossRefGoogle Scholar
  25. 25.
    Papatheodorou, I., Kakas, A., Sergot, M.: Inference of Gene Relations from Microarray Data by Abduction. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 389–393. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  26. 26.
    Ray, O., Whelan, K., King, R.: Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. In: De Raedt, L. (ed.) ILP 2009. LNCS (LNAI), vol. 5989, pp. 194–201. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  27. 27.
    Srinivasan, A., Muggleton, S., Sternberg, M., King, R.: Theories for Mutagenicity: A Study in First-Order and Feature-Based Induction. Journal of Artificial Intelligence 85(1-2), 277–299 (1996)CrossRefGoogle Scholar
  28. 28.
    Schaub, T., Thiele, S.: Metabolic Network Expansion with Answer Set Programming. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 312–326. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  29. 29.
    Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., Sternberg, M., Nicholson, J., Muggleton, S.: Modeling the effects of toxins in metabolic networks. IEEE Engineering in Medicine and Biology 26, 37–46 (2007)CrossRefGoogle Scholar
  30. 30.
    Tamura, T., Takemoto, K., Akutsu, T.: Measuring Structural Robustness of Metabolic Networks under a Boolean Model Using Integer Programming and Feedback Vertex Sets. In: Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pp. 819–824. IEEE (2009)Google Scholar
  31. 31.
    Tiwari, A., Talcott, C., Knapp, M., Lincoln, P., Laderoute, K.: Analyzing Pathways Using SAT-Based Approaches. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol. 4545, pp. 155–169. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Oliver Ray
    • 1
  • Takehide Soh
    • 2
  • Katsumi Inoue
    • 3
  1. 1.University of BristolBristolUnited Kingdom
  2. 2.Graduate University for Advanced StudiesChiyoda-kuJapan
  3. 3.National Institute of InformaticsChiyoda-kuJapan

Personalised recommendations