Incremental identification of qualitative models of biological systems using inductive logic programming

Journal of Machine Learning Research

Volumn 9, Issue , 2008, Pages 1475-1533

  Srinivasan, Ashwin ^a,c   King, Ross D ^b  

^a IBM INDIA RESEARCH LAB   (India)

^b ABERYSTWYTH UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Biology; ILP; Qualitative system identification

Indexed keywords

ANIMAL CELL CULTURE; BIOLOGICAL ORGANS; BIOLOGICAL SYSTEMS; CHLORINE COMPOUNDS; COMPUTER PROGRAMMING; FORMAL LOGIC; GLUCOSE; IDENTIFICATION (CONTROL SYSTEMS); KETONES; LOGIC PROGRAMMING; QUERY LANGUAGES;

AUTOMATED TECHNIQUES; BIOLOGICAL PROCESSING; BIOLOGY; CAPTURE SYSTEM; CELLULAR LEVELS; COMPLEX MODELING; COMPUTATIONAL MODELLING; CONSTRUCTING MODELS; DIFFERENT SCALES; FIRST PRINCIPLES; FIRST-ORDER LOGIC; HUMAN BODIES; HUMAN LUNGS; ILP; INCREMENTAL APPROACH; INCREMENTAL CONSTRUCTION; INDUCTIVE LOGIC PROGRAMMING; LOGIC PROGRAMS; METABOLIC PATHWAYS; MODEL REPRESENTATION; NON-PARAMETRIC; ORGAN LEVEL; PHYSICAL SYSTEMS; PREDATOR-PREY MODELING; QUALITATIVE MODELLING; QUALITATIVE SYSTEM IDENTIFICATION; QUANTITATIVE MODELING; SYSTEM BEHAVIOUR; SYSTEM IDENTIFICATION;

MODELS;

EID: 48849106408     PISSN: 15324435     EISSN: 15337928     Source Type: Journal    
DOI: None     Document Type: Article

References (48)

1. R.L. Ashenhurst. The decomposition of switching functions. In Proceedings of an International Symposium on the Theory of Switching, pages 74-116. Harvard University, 1957. (The earliest report with this title by the author is in a Bell Telephone Labs Report No. BL-1(11), in 1952.).
2. E. Boros, V. Gurvich, P.F. Hammer, T. Ibaraki, and A. Kogan. Decomposition of partially defined Boolean functions. Technical Report 94-9, DIMACS, March 1994.
3. I. Brakto, I. Mozetic, and N. Lavrac. Kardio: A Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press, Cambridge, 1989.
4. I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley (3rd edition), London, 2001.
5. I. Bratko, S. Muggleton, and A. Varsek. Learning qualitative models of dynamic systems. In S. Muggleton, editor, Inductive Logic Programming, pages 437-452. Academic Press, London, 1992.
6. D.J. Clancy and B. Kuipers. Model decomposition and simulation. In Proceedings of the Eighth International Workshop on Qualitative Physics about Physical Systems (QR-94), Nara, Japan, 1994.
7. G.M. Coghill, S.M. Garrett, and R.D. King. Learning qualitative models in the presence of noise. In Proceedings of the QR'02 Workshop on Qualitative Reasoning, Sitges, Spain, 2002.
8. G.M. Coghill, S.M. Garrett, A. Srinivasan, and R.D. King. Qualitative system identification from imperfect data. Technical Report AUCS/TR0501, University of Aberdeen, Aberdeen, 2005.
9. E. W. Coiera. Generating qualitative models from example behaviours. Technical Report 8901, University of New South Wales, Deptartment of Computer Science, May 1989a.
10. E. W. Coiera. Learning qualitative models from example behaviours. In Proc. Third Workshop on Qualitative Physics, pages 45-51, Stanford, August 1989b.
11. P.-J. Courtois. On time and space decomposition of complex structures. Communications of the ACM, 28(6):590-603, June 1985.
12. H.A. Curtis. A New Approach to the Design of Switching Circuits. Van Nostrand, Princeton, NJ., 1962.
13. D. Hau and E. Coiera. Learning qualitative models of dynamic systems. Machine Learning Journal, 26:177-211, 1997. Special Issue on ILP.
14. A. L. Hodgkin and A. F. Huxley. A quatitative description of membrane current and its application to conduction and excitation in nerve. Journal of Physiology, 117:500-544, 1952.
15. L. Ironi and M. Stefanelli. In Proceedings of the Eighth International Workshop on Qualitative Physics about Physical Systems (QR-94), Nara, Japan, 1994.
16. Y. Iwasaki and H. A. Simon. Causality in device behavior. Artificial Intelligence, 29:3-32, 1986. See also De Kleer and Brown's rebuttal and Iwasaki and Simon's reply to their rebuttal in the same volume of this journal.
17. R.D. King, S.M. Garrett, and G.M. Coghill. On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics, 21:2017-2026, 2005.
18. B. Kuipers. Qualitative Reasoning. MIT Press, 1994.
19. W.P. Kuo, T-K. Jenssen, A.J. Butte, L. Ohne-Machado, and I.S. Kohane. Analysis of matched mRNA measurements from two different microarray technologies. Bioinformatics, 18(2):405-412, 2002.
20. Y. Lazebnik. Can a biologist fix a radio? Or, what I learned while studying apoptosis. Cancer Cell, 2:179-182, 2002.
21. E. McCreath. Induction in First Order Logic from Noisy Training Examples and Fixed Example Sizes. University of New South Wales (PhD. Thesis), Sydney, 1999.
22. I. Mozetic. Learning of qualitative models. In I. Bratko and Nada Lavrac, editors, Progress in Machine Learning: Proceedings of EWSL '87: 2nd European Working Session on Learning, pages 201-217. Sigma Press, 1987.
23. S. Muggleton. Inductive logic programming: derivations, successes and shortcomings. SIGART Bulletin, 5(1):5-11, 1994.
24. S. Muggleton. Inverse entailment and Progol. New Gen. Comput., 13:245-286, 1995.
25. S. Muggleton. Learning from positive data. In Proceedings of the Sixth Inductive Logic Programming Workshop, LNAI, pages 358-376, Berlin, 1996. Springer-Verlag.
26. S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994.
27. J. D. Murray. Mathematical Biology. Springer, Berlin, 1993. Vol. 19, Biomathematics Texts Series, 2nd edition.
28. C.H. Papadimitriou and K. Steiglitz. Combinatorial Optimisation. Prentice-Hall, Edgewood-Cliffs, NJ, 1982.
29. D. Paulson and Y. Wand. An automated approach to information systems decomposition. IEEE Transactions on Software Engineering, 18:174-189, 1992.
30. G.D. Plotkin. A note on inductive generalisation. In B. Meltzer and D. Michie, editors, Machine Intelligence 5, pages 153-163. Elsevier North Holland, New York, 1970.
31. B. L. Richards, I. Kraan, and B. J. Kuipers. Automatic abduction of qualitative models. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI'92), pages 723-728, San Jose, CA, July 1992.
32. F. Riguzzi. Two results regarding refinement operators. Technical Report TUM-I0510, Technische Universität Müenchen, Munich, 2005.
33. A. C. C. Say and S. Kuru. Qualitative system identification: deriving structure from behavior. Artificial Intelligence, 83:75-141, 1996.
34. B. Selman, H. Kautz, and B. Cohen. Noise strategies for improving local search. In Proceedings of the Twelfth National Conference on Artificial Intelligence. AAAI Press, 1994.
35. B. Selman, H. Levesque, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 440-446. AAAI Press, 1992.
36. A.D. Shapiro. Structured Induction in Expert Systems. Addison-Wesley, Wokingham, 1987.
37. M. Shpak, P.F. Stadler, G.P. Wagner, and L. Altenberg. Simon-Ando decomposability and fitness landscapes. Theory in Biosciences, 2004a.
38. M. Shpak, P.F. Stadler, G.P. Wagner, and J. Hermisson. Aggregation of variables and system decomposition: applications to fitness landscapes. Theory in Biosciences, 2004b.
39. H. A. Simon and A. Ando. Aggregation of variables in dynamic systems. Econometrica, 29:111-138, 1961.
40. T. Soderstrom and P. Stoica. System Identification. Prentice Hall, 1989.
41. A. Srinivasan. The Aleph manual. Available at http://www.comlab.ox.ac.uk/ oucl/research/areas/machlearn/Aleph/, 1999.
42. A. Srinivasan and R. Kothari. A study of applying dimensionality reduction to restrict the size of a hypothesis space. In Proceedings of the Fifteenth International Conference on Inductive Logic Programming (ILP2005), LNAI 3625, pages 348-365, Berlin, 2005. Springer.
43. D. Suc, D. Vladusic, and I. Bratko. Qualitatively faithful quantitative prediction. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 1052-1057. Morgan Kaufmann, 2003.
44. L. Todorovski and S. D?zeroski. Using domain knowledge on population dynamics modelling for equation discovery. In Proceedings of the Twelfth European Conference on Machine Learning, pages 478-490. Springer (LNCS 2167), 2001.
45. L. Todorovski, S. Dzeroski, A. Srinivasan, J. Whiteley, and D. Gavaghan. Discovering the structure of partial differential equations from example behavior. In Proceedings of the Seventeenth International Conference on Machine Learning, San Francisco, CA, 2000. Morgan Kaufmann. URL ftp://ftp.comlab.ox.ac.uk/pub/Packages/ILP/Papers/AS/pde.ps.gz.
46. A.M. Turing. The chemical basis of morphogenesis. Philosophical Transactions of the Royal Society B (London), 237:37-72, 1952.
47. W.Bialek and D.Botstein. Science, 2004.
48. M. P. Wellman. Qualitative simulation with multivariate constraints. In Proc. of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 547-557, 1991.