Modelling Biological Networks by Action Languages Via Answer Set Programming

We describe an approach to modelling biological networks by action languages via answer set programming. To this end, we propose an action language for modelling biological networks, building on previous work by Baral et al. We introduce its syntax and semantics along with a translation into answer set programming. Finally, we describe one of its applications, namely, the sulfur starvation response-pathway of the model plant Arabidopsis thaliana and sketch the functionality of our system and its usage.

[1]  K. C. Walker,et al.  A time-course study of the effect of sulphur on glucosinolates in oilseed rape (Brassica napus) from the vegetative stage to maturity , 1991 .

[2]  Inês Lynce,et al.  SAT in Bioinformatics: Making the Case with Haplotype Inference , 2006, SAT.

[3]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[4]  Enrico Pontelli,et al.  Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report , 2004, DALT.

[5]  Vincent Danos,et al.  Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers , 2005, CMSB.

[6]  Holger Hesse,et al.  Transcriptome analysis of sulfur depletion in Arabidopsis thaliana: interlacing of biosynthetic pathways provides response specificity. , 2003, The Plant journal : for cell and molecular biology.

[7]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[8]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[9]  Inês Lynce,et al.  Efficient Haplotype Inference with Boolean Satisfiability , 2006, AAAI.

[10]  Chitta Baral,et al.  Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge , 2005, AAAI.

[11]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[12]  Vladimir Lifschitz,et al.  Mathematical Foundations of Answer Set Programming , 2005, We Will Show Them!.

[13]  Artur S. d'Avila Garcez,et al.  We Will Show Them! Essays in Honour of Dov Gabbay, Volume One , 2005, We Will Show Them!.

[14]  Chitta Baral,et al.  Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells , 2004, KR.

[15]  Wolfgang Faber,et al.  Planning under Incomplete Knowledge , 2000, Computational Logic.

[16]  Laurent Trilling,et al.  Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming , 2004, CMSB.

[17]  Martin Gebser,et al.  Conflict-Driven Answer Set Solving , 2007, IJCAI.

[18]  Alexander Bockmayr,et al.  A multi-scale constraint programming model of alternative splicing regulation , 2004, Theor. Comput. Sci..

[19]  Irene Papatheodorou,et al.  Inference of Gene Relations from Microarray Data by Abduction , 2005, LPNMR.

[20]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[21]  Oliver Fiehn,et al.  Systems Rebalancing of Metabolism in Response to Sulfur Deprivation, as Revealed by Metabolome Analysis of Arabidopsis Plants1[w] , 2005, Plant Physiology.

[22]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[23]  Lothar Willmitzer,et al.  Integrative gene-metabolite network with implemented causality deciphers informational fluxes of sulphur stress response. , 2005, Journal of experimental botany.

[24]  Stephen Muggleton,et al.  Application of abductive ILP to learning metabolic network inhibition from temporal data , 2006, Machine Learning.

[25]  A. Müller,et al.  A role for nitrilase 3 in the regulation of root morphology in sulphur-starving Arabidopsis thaliana. , 2002, The Plant journal : for cell and molecular biology.

[26]  Pascal Gantet,et al.  Transcription Factor Networks. Pathways to the Knowledge of Root Development , 2004, Plant Physiology.

[27]  Rolf Backofen,et al.  Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets , 1999, Bioinform..

[28]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[29]  Carolyn L. Talcott,et al.  Ðð Blockinøöóòò Aeóøø× Ò Ìììóööøø Blockin Blockinð Óñôùøøö Ë Blockin Blockin Blockinò ½ ´¾¼¼¾µ Íêää Øøôô»»ûûûººð××úúúöºòð»ðó Blockin Blockinøø»òø Blockin×»úóðùññ½ºøñð ½½ Ôôôô× Executable Models of Biological Networks , 2022 .

[30]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[31]  Vladimir Lifschitz,et al.  Representing Transition Systems by Logic Programs , 1999, LPNMR.

[32]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[33]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[34]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[35]  H. Bonarius,et al.  Flux analysis of underdetermined metabolic networks: the quest for the missing constraints. , 1997 .

[36]  François Fages,et al.  The Biochemical Abstract Machine BIOCHAM , 2004, CMSB.

[37]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[38]  Martin Gebser,et al.  GrinGo : A New Grounder for Answer Set Programming , 2007, LPNMR.

[39]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[40]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[41]  Stephan Merz,et al.  Model Checking , 2000 .

[42]  Alexander A. Razborov,et al.  Why are there so many loop formulas? , 2006, TOCL.

[43]  Chitta Baral,et al.  A knowledge based approach for representing and reasoning about signaling networks , 2004, ISMB/ECCB.

[44]  D R Westhead,et al.  Petri Net representations in systems biology. , 2003, Biochemical Society transactions.

[45]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[46]  Barbara Ann Halkier,et al.  Biology and biochemistry of glucosinolates. , 2006, Annual review of plant biology.