Paper Info
Title
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells
Abstract
Reasoning about molecular interactions and signaling path- ways is important from various perspectives such as predict- ing side effects of drugs, explaining unusual cellular behav- ior and drug and therapy design. Because of the vast size of these interactions a typical biologist can only focus on a very small part of the network. Thus there is a great need to develop knowledge representation and reasoning formalisms and their implementations for modelling and reasoning about molecular interactions in cells of organisms. An important component of these interactions is the action of one molecule interacting with or binding to another, or one molecule sep- arating into multiple other molecules. Thus, action theories and action languages are good candidates to model these in- teractions. One major lacking of most existing action lan- guages is the notion of triggered actions, which is a common phenomena in the cellular domain. In this paper, we introduce a language for representing and reasoning about triggered ac- tions, and show how to model reasoning about side effects, explaining observations, and designing drugs in our language through implementations using AnsProlog.
Year
Venue
Keywords
2004
KR
reasoning about actions,action languages,knowledge representation and reasoning,side effect,action language
Field
DocType
Citations 
Knowledge representation and reasoning,Molecular interactions,Computer science,Algorithm,Implementation,Rotation formalisms in three dimensions
Conference
14
PageRank 
References 
Authors
0.79
16
2
Name
Order
Citations
PageRank
Nam Tran11157.51
Chitta Baral22353269.58