Towards a logical analysis of biochemical reactions

作者: Andrzej Szalas , Martin Magnusson , Patrick Doherty , Steve Kertes

DOI:

关键词: Biochemical reactionsLogical data modelLogical analysisCognitive scienceComputer scienceContext (language use)Algorithm

摘要: We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient strongest necessary conditions may be used to additional information in the context an incomplete metabolic pathways.

参考文章(5)
Patrick Doherty, Jarosław Kachniarz, Andrzej Szalas, Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases Rough-Neural Computing. pp. 219- 250 ,(2004) , 10.1007/978-3-642-18859-6_9
SH Muggleton, P Reiser, DB Kell, CH Bryant, SG Oliver, RD King, Combining inductive logic programming, active learning and robotics to discover the function of genes Electronic Transactions on Artificial Intelligence. ,vol. 5, pp. 1- 36 ,(2001)
Andrzej Szałas, Patrick Doherty, Witold Łukaszewicz, Computing strongest necessary and weakest sufficient conditions of first-order formulas international joint conference on artificial intelligence. pp. 145- 151 ,(2001)
Patrick Doherty, Witold Łukaszewicz, Andrzej SzaŁas, Computing Circumscription Revisited: A Reduction Algorithm Journal of Automated Reasoning. ,vol. 18, pp. 297- 336 ,(1997) , 10.1023/A:1005722130532
Yves Deville, David Gilbert, Jacques Van Helden, Shoshana J Wodak, An overview of data models for the analysis of biochemical pathways Briefings in Bioinformatics. ,vol. 4, pp. 246- 259 ,(2003) , 10.1093/BIB/4.3.246