Modelling inhibition in metabolic pathways through abduction and induction
Date
2004Source
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)14th International Conference ILP 2004: Inductive Logic Programming
Volume
3194Pages
305-322Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, within Abductive Logic Programming (ALP), inhibition in metabolic pathways and use abduction to generate facts about inhibition of enzymes by a particular toxin (e.g. Hydrazine) given the underlying metabolic pathway and observations about the concentration of metabolites. These ground facts, together with biochemical background information, can then be generalised by ILP to generate rules about the inhibition by Hydrazine thus enriching further our model. In particular, using Progol 5.0 where the processes of abduction and inductive generalization are integrated enables us to learn such general rules. Experimental results on modelling in this way the effect of Hydrazine in a real metabolic pathway are presented. © Springer-Verlag Berlin Heidelberg 2004.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Argumentation Logic
Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
-
Conference Object
Preferred arguments are harder to compute than stable extensions
Dimopoulos, Yannis; Nebel, B.; Toni, F. (1999)Based on an abstract framework for nonmonotonic reasoning, Bondarenko et at. have extended the logic programming semantics of admissible and preferred arguments to other nonmonotonic formalisms such as circumscription, ...
-
Article
Classical methods in nonmonotonic reasoning
Dimopoulos, Yannis (1994)In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...