liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards a logical analysis of biochemical pathways
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
Stanford University.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2004 (English)In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA) / [ed] José Júlio Alferes and João Alexandre Leite, Springer , 2004, Vol. 3229, p. 667-679Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer , 2004. Vol. 3229, p. 667-679
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3229
Keywords [en]
abduction, biochemical pathways, hypotheses generation, weakest sufficient and strongest necessary conditions
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-48268DOI: 10.1007/978-3-540-30227-8_55ISBN: 978-3-540-23242-1 (print)OAI: oai:DiVA.org:liu-48268DiVA, id: diva2:269164
Conference
European Conference on Logics in Artificial Intelligence JELIA2004, 2004
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2012-01-18

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Doherty, PatrickMagnusson, MartinSzalas, Andrzej

Search in DiVA

By author/editor
Doherty, PatrickMagnusson, MartinSzalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 306 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf