Reasoning about non-immediate triggers in biological networks

Authors:
Nam Tran;Chitta Baral
Affiliations:
Department of Pathology, Yale School of Medicine, Yale University, New Haven, USA 06510;Computer Science and Engineering, School of Computing & Informatics, Arizona State University, Tempe, USA 85281
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2007

Citing 15
Cited 2

A logic-based calculus of events

New Generation Computing
Combining logic and differential equations for describing real-world systems

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
From theory to practice: the UTEP robot in the AAAI 96 and AAAI 97 robot contests

AGENTS '98 Proceedings of the second international conference on Autonomous agents
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems

Hybrid Systems IV
cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Temporal reasoning in the situation calculus

Temporal reasoning in the situation calculus
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Modeling and querying biomolecular interaction networks

Theoretical Computer Science - Special issue: Computational systems biology
Detecting causal relationships in distributed computations: in search of the holy grail

Distributed Computing
Building knowledge systems in a-prolog

Building knowledge systems in a-prolog
A knowledge based approach for representing and reasoning about signaling networks

Bioinformatics
Reasoning and hypothesizing about signaling networks

Reasoning and hypothesizing about signaling networks
Reasoning about continuous processes

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Review:

The Knowledge Engineering Review
Applications of action languages in cognitive robotics

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling molecular interactions in signalling networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and drug and therapy design. Various formal languages have been proposed for representing and reasoning about molecular interactions. The interactions are modeled as triggered events in most of the approaches. The triggering of events is assumed to be immediate: once an interaction is triggered, it should occur immediately. Although working well for engineering systems, this assumption poses a serious problem in modeling biological systems. Our knowledge about biological systems is inherently incomplete, thus molecular interactions are constantly elaborated and refined at different granularity of abstraction. The model of immediate triggers can not consistently deal with this refinement. In this paper we propose an action language to address this problem. We show that the language allows for refinements of biological knowledge, although at a higher cost in terms of complexity.