Search: onr:"swepub:oai:DiVA.org:liu-48268" >
Towards a logical a...
Towards a logical analysis of biochemical pathways
-
- Doherty, Patrick (author)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
- Kertes, Steven (author)
- Stanford University
-
- Magnusson, Martin (author)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
show more...
-
- Szalas, Andrzej (author)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
show less...
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2004
- 2004
- English.
-
In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA). - Berlin, Heidelberg : Springer. - 9783540232421 ; , s. 667-679
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based on experimental results are often incomplete, e.g., reactions may be missing and only some products are observed. In such cases, one would like to reason about incomplete network representations and propose candidate hypotheses, which when represented as additional reactions, substrates, products, would complete the network and provide causal explanations for the existing observations. In this paper, we provide a logical model of biochemical pathways and show how abductive hypothesis generation may be used to provide additional information about incomplete pathways. Hypothesis generation is achieved using weakest and strongest necessary conditions which represent these incomplete biochemical pathways and explain observations about the functional and physical interactions being modeled. The techniques are demonstrated using metabolism and molecular synthesis examples.
Keyword
- abduction
- biochemical pathways
- hypotheses generation
- weakest sufficient and strongest necessary conditions
- TECHNOLOGY
- TEKNIKVETENSKAP
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database