A proposal for augmenting biological model construction with a semi-intelligent computational modeling assistant

Computational and Mathematical Organization Theory

Volumn 18, Issue 4, 2012, Pages 380-403

  Christley, Scott ^a   An, Gary ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

Agent based systems; Artificial intelligence; Automated reasoning; Executable biology; Knowledge representation; Simulation methods

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIOINFORMATICS; COMPUTATION THEORY; KNOWLEDGE REPRESENTATION; ONTOLOGY; SPECIFICATIONS;

AGENT-BASED SYSTEMS; AUTOMATED REASONING; BIOMEDICAL RESEARCH; COMPUTATIONAL AGENTS; COMPUTATIONAL MODEL; INTELLIGENT COMPUTATIONAL MODEL; MODEL SPECIFICATIONS; SIMULATION METHODS;

INTELLIGENT COMPUTING;

EID: 84869154652     PISSN: 1381298X     EISSN: 15729346     Source Type: Journal    
DOI: 10.1007/s10588-011-9101-y     Document Type: Article

References (42)

1. An G (2010) Closing the scientific loop: bridging correlation and causality in the petaflop age. Sci Transl Med 2(41): 41ps34.
2. Antezana E, Kuiper M, Mironov V (2009) Biological knowledge management: the emerging role of the semantic web technologies. Brief Bioinform 10(4): 392-407. doi: 10. 1093/bib/bbp024.
3. Atanasova N, Todorovski L, Dzeroski S, Kompare B (2006) Constructing a library of domain knowledge for automated modelling of aquatic ecosystems. Ecol Model 194(1-3): 14-36. doi: 10. 1016/j. ecolmodel. 2005. 10. 002.
4. Benjamin P, Patki M, Mayer R (2006) Using ontologies for simulation modeling. In: Proceedings of the winter simulation conference (WSC 06). doi: 10. 1109/WSC. 2006. 323206.
5. Bridewell W, Sanchez JN, Langley P, Billman D (2006) An interactive environment for the modeling and discovery of scientific knowledge. Int J Hum-Comput Stud 11: 1099-1114. doi: 10. 1016/j. ijhcs. 2006. 06. 006.
6. Bullivant DP, Hedley WJ, Hunter PJ, Nelson MR, Nielsen PF (2001) Languages for the definition and exchange of biological models. In: Proceedings of the physiological society New Zealand, vol 20.
7. Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006) Machine learning biochemical networks from temporal logic properties. In: Priami C, Plotkin G (eds) Transactions on computational systems biology. VI. Lecture notes in computer science, vol 4220. Springer, Berlin, pp 68-94.
8. Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4): 210-219.
9. Chen C, Chen Y, Horowitz M, Hou H, Liu Z, Pellegrino D (2009) Towards an explanatory and computational theory of scientific discovery. J Informetr 3(3): 191-209.
10. Clavel M, Duran F, Eker S, Lincoln P, Marti-Oliet N, Meseguer J, Talcott C (2007) All about maude-a high-performance logical framework. Springer, Berlin.
11. Colton S, Muggleton S (2006) Mathematical applications of inductive logic programming. Mach Learn 64(1-3): 25-64. doi: 10. 1007/s10994-006-8259-x.
12. Colton S, de Mantaras Badia RL, Stock O (2009) Computational creativity: coming of age. AI Mag 30(3): 11-14.
13. Cuellar AA, Lloyd CM, Nielsen PF, Bullivant DP, Nickerson DP, Hunter PJ (2003) An overview of CellML 1. 1, a biological model description language. SIMULATION 79(12): 740-747.
14. Curti M, Degano P, Priami C, Baldari C (2004) Modelling biochemical pathways through enhanced pi-calculus. Theor Comput Sci 325: 111-140. doi: 10. 1016/j. tcs. 2004. 03. 066.
15. Džeroski S, Langley P, Todorovski L (2007) Computational discovery of scientific knowledge. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol 4660. Springer, Berlin, pp 1-14.
16. Fishwick PA, Miller JA (2004) Ontologies for modeling and simulation: issues and approaches. In: Proceedings of the 2004 winter simulation conference, vol 1. doi: 10. 1109/WSC. 2004. 1371324.
17. Goecks J, Nekrutenko A, Taylor J, Team G (2010) Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences. Genome Biol 11(8): R86. doi: 10. 1186/gb-2010-11-8-r86.
18. Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95(12): 6750-6755.
19. Hedley W, Nielsen P, Hunter P (2000) XML languages for describing biological models and data. Ann Biomed Eng 28(1): S-29.
20. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, and the rest of the SF, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4): 524-531. doi: 10. 1093/bioinformatics/btg015.
21. Hull D, Wolstencroft K, Stevens R, Goble C, Pocock MR, Li P, Oinn T (2006) Taverna: a tool for building and running workflows of services. Nucleic Acids Res 34(Web Server issue): W729-W732. doi: 10. 1093/nar/gkl320.
22. Johansson MEV, Holmén Larsson JM, Hansson GC (2010) Microbes and health sackler colloquium: the two mucus layers of colon are organized by the MUC2 mucin, whereas the outer layer is a legislator of host-microbial interactions. Proc Natl Acad Sci USA 108: 11217-11222.
23. Karp PD (2001) Pathway databases: a case study in computational symbolic theories. Science 293(5537): 2040-2044. doi: 10. 1126/science. 1064621.
24. King R, Karwath A, Clare A, Dehaspe L (2007) Logic and the automatic acquisition of scientific knowledge: an application to functional genomics. Comput Discov Sci Knowl 4660: 273-289.
25. King RD, Rowland J, Oliver SG, Young M, Aubrey W, Byrne E, Liakata M, Markham M, Pir P, Soldatova LN, Sparkes A, Whelan KE, Clare A (2009) The automation of science. Science 324(5923): 85-89. doi: 10. 1126/science. 1165620.
26. Krishnamurthy M, Smith F (1994) Integration of scientific-data and formulas in an object-oriented knowledge-based system. Knowl-Based Syst 7(2): 135-141.
27. Langley P (2000) The computational support of scientific discovery. Int J Hum-Comput Stud 3: 393-410.
28. Linke B, Giegerich R, Goesmann A (2011) Conveyor: a workflow engine for bioinformatic analyses. Bioinformatics 27(7): 903-911. doi: 10. 1093/bioinformatics/btr040.
29. Miller JA, Baramidze GT, Sheth AP, Fishwick PA (2004) Investigating ontologies for simulation modeling. In: Proceedings of the 37th annual symposium on simulation, Washington, DC, USA. IEEE Comput Soc, Los Alamitos, pp 55-63.
30. Montano-Rivas O, McCasland R, Dixon L, Bundy A (2010) Scheme-based synthesis of inductive theories. Adv Artif Intell 6437: 348-361.
31. Obritsch MD, Fish DN, MacLaren R, Jung R (2005) Nosocomial infections due to multidrug-resistant Pseudomonas aeruginosa: epidemiology and treatment options. Pharmacotherapy 25(10): 1351-1364.
32. Petty MD, Weisel EW (2003) A composability lexicon. In: Spring 2003 simulation interoperability workshop, pp 181-187.
33. Prendinger H, Ishizuka M (2005) A creative abduction approach to scientific and knowledge discovery. Knowl-Based Syst 18(7): 321-326. doi: 10. 1016/j. knosys. 2004. 12. 003.
34. Rzhetsky A, Koike T, Kalachikov S, Gomez SM, Krauthammer M, Kaplan SH, Kra P, Russo JJ, Friedman C (2000) A knowledge model for analysis and simulation of regulatory networks. Bioinformatics 16(12): 1120-1128.
35. Shneiderman B (2007) Creativity support tools-accelerating discovery and innovation. Commun ACM 50(12): 20-32.
36. Silver GA, Miller JA, Hybinette M, Baramidze G, York WS (2011) DeMO: an ontology for discrete-event modeling and simulation. SIMULATION. doi: 10. 1177/0037549710386843.
37. USFDA (2004) Innovation or stagnation: opportunities and challenges on the critical path to new medical products. doi: http://www. fda. gov/ScienceResearch/SpecialTopics/CriticalPathInitiative/CriticalPathOpportunitiesReports/ucm077262. htm.
38. Wu L, Estrada O, Zaborina O, Bains M, Shen L, Kohler JE, Patel N, Musch MW, Chang EB, Fu Y-X, Jacobs MA, Nishimura MI, Hancock REW, Turner JR, Alverdy JC (2005) Recognition of host immune activation by Pseudomonas aeruginosa. Science 309(5735): 774-777.
39. Yilmaz L (2007) A strategy for improving dynamic composability: ontology-driven introspective agent architectures. IJSCI: Int J Syst Cybern Inform 5(5): 1-9.
40. Yilmaz L, Hunt CA (2011) Advanced concepts and generative simulation formalisms for creative discovery systems engineering. In: Tolk A, Jain L (eds) Intelligence-based systems engineering. Handbook on intelligence-based approaches for systems engineering. Springer, Berlin, pp 233-258.
41. Zupan B, Bratko I, Demšar J, Juvan P, Kuspa A, Halter J, Shaulsky G (2007) Discovery of genetic networks through abduction and qualitative simulation. In: Computational discovery of scientific knowledge. Lecture notes in computer science, vol 4660. Springer, Berlin, pp 228-247.
42. Zytkow JM, Zhu J, Zembowicz R (1992) Operational definition refinement: a discovery process. In: Proceedings of the national conference on artificial intelligence, pp 76-81.