Representation, reasoning and the intermediary metabolism of Escherichia coli
Toni Kazic · 2002
Computational methods of biological processes must express and use biological ideas as biologists do. The complexity of the biology and the flexible and elastic use of biological language offer significant problems in representing both information and reasoning. The author illustrates these problems and describes several strategies that can be used in designing representations. The approach to this class of problems is to develop accurate computational models of biological processes which can be verified by in vivo and in computo experimentation. The examples are drawn from efforts to study the cellular physiology of E. coli in computo using Prolog.>