Hypothesizing about signaling networks

Journal of Applied Logic

Volumn 7, Issue 3, 2009, Pages 253-274

  Tran, Nam ^a   Baral, Chitta ^b  

^a YALE UNIVERSITY SCHOOL OF MEDICINE   (United States)

^b Arizona State University   (United States)

Author keywords

Abduction; Action languages; Hypothesis formation; Signaling networks

Indexed keywords

ABDUCTION; ACTION LANGUAGES; COMPLEXITY ANALYSIS; COMPUTER-AIDED SYSTEMS; EFFICIENT IMPLEMENTATIONS; HYPOTHESIS FORMATION; INCOMPLETE KNOWLEDGE; KNOWLEDGE BASE; KNOWLEDGE REPRESENTATION FORMALISMS; P53 PROTEINS; REASONING PROCESS; SIGNALING NETWORKS;

FAULT DETECTION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LINGUISTICS; QUERY LANGUAGES;

SIGNALING;

EID: 67349085039     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2008.10.001     Document Type: Article

References (82)

1. Allen J., Kautz H., Pelavin R., and Tenenberg J. Reasoning about Plans (1991), Morgan Kaufmann, San Mateo, CA
2. R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: Hybrid Systems: Computation and Control, in: LNCS, vol. 2034, 2001, pp. 19-32
3. M. Balduccini, Answer set based design of highly autonomous, rational agents, PhD thesis, Texas Tech. University, 2005
4. M. Balduccini, M. Gelfond, Logic programs with consistency-restoring rules, in: International Symposium on Logical Formalization of Commonsense Reasoning, 2003
5. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving (2003), Cambridge University Press
6. Baral C., Chancellor K., Tran N., Tran N.L., and Berens M. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20 Suppl 1 (2004) i15-i22
7. G. Batt, H. de Jong, J. Geiselmann, M. Page, Analysis of genetic regulatory networks: A model-checking approach, in: International Workshop on Qualitative Reasoning, 2003
8. Bode A.M., and Dong Z. Post-translational modification of p53 in tumorigenesis. Nature Reviews Cancer 4 10 (2004) 793-805
9. Boutilier C. Abduction to plausible causes: An even based model of belief update. Artificial Intelligence 83 (1996) 143-166
10. Boutilier C., and Becher V. Abduction as belief revision. Artificial Intelligence 77 (1995) 43-94
11. M. Chiaverini, V. Danos, A core modeling language for the working molecular biologist, in: Computational Methods in Systems Biology, 2003
12. D. Cook, J. Farley, S. Tapscott, A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems, Genome Biology 2 (4)
13. V. Danos, C. Laneve, Graphs for core molecular biology, in: Computational Methods in Systems Biology, 2003
14. L. Darden, Recent work in computational scientific discovery, in: Proceedings of the Nineteenth Annual Conference of the Cognitive Science Society, 1997
15. L. Darden, Anomaly-driven theory redesign: computational philosophy of science experiments, in: Digital Phoenix: How Computers are Changing Philosophy, 1998, pp. 62-78
16. Davidson E.H., Rast J.P., Oliveri P., Ransick A., Calestani C., Yuh C.-H., Minokawa T., Amore G., Hinman V., Arenas-Mena C., Otim O., Brown C.T., Livi C.B., Lee P.Y., Revilla R., Rust A.G., Pan Z.J., Schilstra M.J., Clarke P.J.C., Arnone M.I., Rowen L., Cameron R.A., McClay D.R., Hood L., and Bolouri H. A genomic regulatory network for development. Science 295 (2002) 1669-1678
17. Davidson E.H., Rast J.P., Oliveri P., Ransick A., Calestani C., Yuh C.-H., Minokawa T., Amore G., Hinman V., Arenas-Mena C., Otim O., Brown C.T., Livi C.B., Lee P.Y., Revilla R., Rust A.G., Pan Z.J., Schilstra M.J., Clarke P.J.C., Arnone M.I., Rowen L., Cameron R.A., McClay D.R., Hood L., and Bolouri H. A genomic regulatory network for development. Science 295 5560 (2002) 1669-1678
18. de Jong H. Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9 1 (2002) 67-103
19. de Jong H., Geiselmann J., Hernandez C., and Page M. Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19 (2003) 336-344
20. Demir E., Babur O., Dogrusoz U., Gursoy A., Ayaz A., Gulesir G., Nisanci G., and Cetin-Atalay R. An ontology for collaborative construction and analysis of cellular pathways. Bioinformatics 20 3 (2004) 349-356
21. M. Denecker, A.C. Kakas, Abduction in logic programming, in: Computational Logic: Logic Programming and Beyond, 2002
22. P. Doherty, S. Kertes, M. Magnusson, A. Szalas, Towards a logical analysis of biochemical pathways, in: Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA), 2004
23. Eiter T., Gottlob G., and Leone N. Abduction from logic programs: semantics and complexity. Theoretical Computer Science 189 1-2 (1997) 129-177
24. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, JosMeseguer, K. Sonmez, Pathway logic: symbolic analysis of biological signaling, in: Proceedings of the Pacific Symposium on Biocomputing, 2002
25. K. Eshghi, Abductive planning with event calculus, in: Proceedings of the International Conference on Logic Programming, 1998
26. K. Eshghi, R. Kowalski, Abduction computed with negation as failure, in: Proceedings of the International Conference on Logic Programming, 1989
27. Fages F., Soliman S., and Chabrier-Rivier N. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 2 (2004) 64-73
28. Fukuda K., and Takagi T. Knowledge representation of signal transduction pathways. Bioinformatics 17 9 (2001) 829-837
29. K. Fukuda, Y. Yamagata, T. Takagi, Frex: a query interface for biological processes with a hierarchical and recursive structures, In Silico Biology 4, 0007
30. Funahashi A., Tanimura N., Morohashi M., and Kitano H. Celldesigner: a process diagram editor for gene-regulatory and biochemical networks. Biosilico 1 5 (2003) 159-162
31. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the International Conference on Logic Programming, 1988
32. Gelfond M., and Lifschitz V. Representing action and change by logic programs. Journal of Logic Programming 17 2/3&4 (1993) 301-321
33. Hamid T., and Kakar S. PTTG/securin activates expression of p53 and modulates its function. Molecular Cancer 3 1 (2004) 18
34. Heidtke K., and Schulze-Kremer S. Design and implementation of a qualitative simulation model of lambda phage infection. Bioinformatics 14 (1998) 81-91
35. Hoffmann A., Levchenko A., Scott M.L., and Baltimore D. The ikappab-nfkappab signaling module: Temporal control and selective gene activation. Science 298 (2002) 1241-1245
36. A. Kakas, R. Kowalski, F. Toni, The role of abduction in logic programming, in: Handbook of logic in Artificial Intelligence and Logic Programming, 1998, pp. 235-324
37. C. Kakas, Antonis, B. Van Nuffelen, M. Denecker, A-system: Problem solving through abduction, in: Proceedings of the International Joint Conferences on Artificial Intelligence, vol. 1, 2001
38. N. Kam, I. Cohen, D. Harel, The immune system as a reactive system: modeling T-cell activation with statecharts, 2001
39. Karp P. Artificial intelligence methods for theory representation and hypothesis formation. Computer Applications in the Biosciences 7 3 (1991) 301-308
40. Karp P.D. Design methods for scientific hypothesis formation and their application to molecular biology. Machine Learning 12 (1993) 89-116
41. Karp P.D. A qualitative biochemistry and its application to the regulation of the tryptophan operon. Artificial Intelligence and Molecular Biology (1993) 289-324
42. P.D. Karp, C. Ouzounis, S. Paley, HinCyc: A knowledge base of the complete genome and metabolic pathways of H. influenzae, in: Proceedings of the International Conference Intelligent Systems for Molecular Biology, 1996
43. Karp P.D., Paley S., and Romero P. The pathway tools software. Bioinformatics 18 Suppl. 1 (2002) S225-S232
44. Karp P.D., Riley M., Saier M., Paulsen I.T., Collado-Vides J., Paley S.M., Pellegrini-Toole A., Bonavides C., and Gama-Castro S. The ecocyc database. Nucleic Acids Research 30 1 (2002) 56-58
45. Karp P.D., Riley M., Saier M., Paulsen I.T., Paley S.M., and Pellegrini-Toole A. The ecocyc and metacyc databases. Nucleic Acids Research 28 1 (2000) 56-59
46. King R., et al. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427 6971 (2004) 247-252
47. Kitano H. A graphical notation for biological networks. Biosilico 1 5 (2003) 169-176
48. Kohn K.W. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10 (1999) 2703-2734
49. Krieger C.J., Zhang P., Mueller L.A., Wang A., Paley S., Arnaud M., Pick J., Rhee S.Y., and Karp P.D. Metacyc: A multiorganism database of metabolic pathways and enzymes. Nucleic Acids Research 32 (2004) D438-D442
50. L. Calzone, N. Chabrier-Rivier, F. Fages, S. Soliman, A machine learning approach to biochemical reaction rules discovery, in: Proceedings of the Conference on Foundations of Systems Biology in Engineering, 2005
51. V. Lifschitz, H. Turner, Splitting a logic program, in: P.V. Hentenryck (Ed.), Proceedings of the Eleventh International Conference on Logic Programming, 1994
52. Lin F., and You J.-H. Abduction in logic programming: a new definition and an abductive procedure based on rewriting. Artificial Intelligence 140 1-2 (2002) 175-205
53. R. Maimon, S. Browning, Diagrammatic notation and computational structure of gene networks, in: Proceedings of the Second International Conference on Systems Biology, 2000
54. H. Matsuno, A. Doi, M. Nagasaki, S. Miyano, Hybrid petri net representation of gene regulatory network, in: Pacific Symposium on Biocomputing 2000, 2000
55. Meyers S., and Friedland P. Knowledge-based simulation of genetic regulation in bacteriophage lambda. Nucleic Acids Research 12 1 (1984) 1-9
56. Michael D., and Oren M. The p53 and Mdm2 families in cancer. Current Opinions in Genetics & Development 12 1 (2002) 53-59
57. Missiaen M., Bruynooghe L., and Denecker M. CHICA: A planning system based on event calculus. Journal of Logic and Computation 5 5 (1995) 579-602
58. K. Oda, T. Kimura, Y. Matsuoka, A. Funahashi, M. Muramatsu, H. Kitano, Molecular interaction map of a macrophage, AfCS Research Report
59. Ogata H., Goto S., Sato K., Fujibuchi W., Bono H., and Kanehisa M. Kegg: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research 27 1 (1999) 29-34
60. I. Papatheodorou, A.C. Kakas, M.J. Sergot, Inference of gene relations from microarray data by abduction, in: Lecture Notes in Artificial Intelligence, vol. 3662, 2005, pp. 389-393
61. C. Peirce, Collected papers of Charles Sanders Peirce, vols. 1-8, Havard University Press, Cambridge, MA, 1931-1958
62. Peirce C. Reasoning and the Logic of Things (1992), Havard University Press, Cambridge, MA
63. Peleg M., Yeh I., and Altman R.B. Modelling biological processes using workflow and Petri net models. Bioinformatics 18 6 (2002) 825-837
64. Poole D. A logical framework for default reasoning. Artificial Intelligence 36 1 (1988) 27-48
65. Poole D. Explanation and prediction: an architecture for default and abductive reasoning. Computational Intelligence 5 1 (1989) 97-110
66. Poole D. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence 64 1 (1993) 81-129
67. D. Poole, R. Goebel, R. Aleliunas, Theorist: A logical reasoning system for default and diagnosis, in: The Knowledge Frontier: Essays in the Representation of Knowledge, 1987, pp. 331-352
68. Poole D., Mackworth A., and Goebel R. Computational Intelligence (1998), Oxford University Press, Oxford
69. In: Priami C. (Ed). Computational Methods in Systems Biology. Lecture Notes in Computer Science vol. 2602 (2003), Springer Verlag
70. A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using π-calculus process algebra, in: Proceedings of the Pacific Symposium on Biocomputing, 2001
71. Reggia R. Diagnostic expert system based on a set covering model. International Journal of Man Machine Studies 19 5 (1983) 437-460
72. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 13 1-2 (1980) 81-132
73. Sambrano G.R. Developing a navigation and visualization system for signaling pathways. AfCS Reports. http://www.signaling-gateway.org/reports/v1/DA0009.pdf
74. Schoeberl B., Eichler-Jonsson C., Gilles E., and Muller G. Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors. Nature Bitechnology 20 4 (2002) 370-375
75. V. Sembugamoorthy, B. Chandrasekaran, Functional representation of devices and compilation of diagnostic problem-solving systems, in: Experience, Memory and Reasoning, 1986, pp. 47-73
76. Shimada T., Hagiya M., Arita M., Nishizaki S., and Tan C. Knowledge-based simulation of regulatory action in lambda phage. International Journal of Artificial Intelligence Tools 4 4 (1995) 511-524
77. Shrager J., and Langley P. Computational Models of Scientific Discovery and Theory Formation (1990), Morgan Kaufmann
78. C. Talcott, S. Eker, M. Knapp, P. Lincoln, K. Laderoute, Pathway logic modeling of protein functional domains in signal transduction, in: Proceedings of the Pacific Symposium on Biocomputing, 2004
79. Tamaddoni-Nezhad A., Chaleil R., Kakas A., and Muggleton S. Application of abductive ilp to learning metabolic network inhibition from temporal data. Journal of Machine Learning 64 1-3 (2006) 209-230
80. N. Tran, C. Baral, Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells, in: Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning, 2004
81. Voit E.O. Computational Analysis of Biochemical Systems (2000), Cambridge University Press
82. Zupan B., Bratko I., Demsar J., Juvan P., Curk T., Borstnik U., Beck J.R., Halter J., Kuspa A., and Shaulsky G. GenePath: a system for inference of genetic networks and proposal of genetic experiments. Artificial Intelligence in Medicine 29 1-2 (2003) 107-130