Automated Reasoning in Metabolic Networks with Inhibition
The use of artificial intelligence to represent and reason about metabolic networks has been widely investigated due to the complexity of their imbrication. Its main goal is to determine the catalytic role of genomes and their interference in the process. This paper presents a logical model for metabolic pathways capable of describing both positive and negative reactions (activations and inhibitions) based on a fragment of first order logic. We also present a translation procedure that aims to transform first order formulas into quantifier free formulas, creating an efficient automated deduction method allowing us to predict results by deduction and infer reactions and proteins states by abductive reasoning.
KeywordsMetabolic pathways logical model inhibition automated reasoning
Unable to display preview. Download preview PDF.
- 3.Demolombe, R., Fariñas del Cerro, L.: An Inference Rule for Hypothesis Generation. In: Proc. of International Joint Conference on Artificial Intelligence, Sydney (1991)Google Scholar
- 16.Ray, O., Whelan, K., King, R.: Logic-based steady-state analysis and revision of metabolic networks with inhibition. In: Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2010, pp. 661–666. IEEE Computer Society, Washington, DC (2010)CrossRefGoogle Scholar
- 17.Reiser, P.G.K., King, R.D., Kell, D.B., Muggleton, S.H., Bryant, C.H., Oliver, S.G.: Developing a logical model of yeast metabolism. Electronic Transactions in Artificial Intelligence 5, 233–244 (2001)Google Scholar
- 18.Reiter, R.: On closed world data bases. In: Readings in Nonmonotonic Reasoning, pp. 300–310. Morgan Kaufmann Publishers Inc., San Francisco (1987)Google Scholar
- 19.Shoenfield, J.R.: Mathematical logic. Addison-Wesley series in logic. Addison-Wesley Pub. Co. (1967)Google Scholar
- 20.Siegel, P.: Representation et utilisation de la connaissance en calcul propositionnel. Thèse d’État, Université d’Aix-Marseille II, Luminy, France (1987)Google Scholar
- 22.Ullman, J.D.: Principles of database systems. Computer software engineering series. Computer Science Press (1980)Google Scholar