Reasoning about actions in biophysical systems

Chitta Baral, Juraj Dzifcak, Nam Tran, Jicheng Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We develop a high level action description language to express knowledge about cellular processes and mechanisms. This involves representation and reasoning about both discrete properties and continuous processes. Both of them may be changed by exogenous actions or triggers. We use differential equations to represent continuous processes. We give syntax and semantics of the language and also present an approximate characterization. We present a temporal query language for such domains. We then illustrate the use of our language with respect to biological examples and discuss an implementation of the approximate characterization.

Original languageEnglish (US)
Title of host publicationCognitive Robotics - Papers from the AAAI Workshop, Technical Report
Number of pages8
StatePublished - 2006
Event2006 AAAI Workshop - Boston, MA, United States
Duration: Jul 16 2006Jul 20 2006

Publication series

NameAAAI Workshop - Technical Report


Other2006 AAAI Workshop
Country/TerritoryUnited States
CityBoston, MA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Reasoning about actions in biophysical systems'. Together they form a unique fingerprint.

Cite this