Representing Biological Processes in Modular Action Language ALM

This paper presents the formalization of a biological process, cell division, in modular action languageALM. We show how the features ofALM—modularity, separation between an uninterpreted theory and its interpretation—lead to a simple and elegant solution that can be used in answering questions from biology textbooks.

[1]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[2]  Chitta Baral,et al.  Reasoning about Intended Actions , 2005, AAAI.

[3]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[4]  M. Gelfond,et al.  Yet Another Modular Action Language , 2009 .

[5]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[6]  Michael Kifer,et al.  Nonmonotonic Reasoning in FLORA-2 , 2005, LPNMR.

[7]  Yuliya Lierler,et al.  Knowledge Representation and Question Answering , 2008, Handbook of Knowledge Representation.

[8]  Chitta Baral,et al.  Reasoning agents in dynamic domains , 2000 .

[9]  Chitta Baral,et al.  Reasoning about non-immediate triggers in biological networks , 2008, Annals of Mathematics and Artificial Intelligence.

[10]  A. I.,et al.  Neural Field Continuum Limits and the Structure–Function Partitioning of Cognitive–Emotional Brain Networks , 2023, Biology.

[11]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

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

[13]  Chitta Baral,et al.  Textual inference by combining multiple Logic programming paradigms , 2005, AAAI 2005.

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

[15]  Michael Gelfond,et al.  Going Places: Notes on a Modular Development of Knowledge about Travel , 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

[16]  Esra Erdem,et al.  Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs , 2009, BioNLP@HLT-NAACL.

[17]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[18]  Daniela Inclezan.  Computing Trajectories of Dynamic Systems Using ASP and F lora-2 , 2010 .

[19]  Chitta Baral,et al.  Using answer set programming to answer complex queries , 2004 .

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