Qualitative system identification from imperfect data

Journal of Artificial Intelligence Research

Volumn 32, Issue , 2008, Pages 825-877

  Coghill, George M ^a   Srinivasan, Ashwin ^b,c   King, Ross D ^d  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b IBM RESEARCH INDIA   (India)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

^d ABERYSTWYTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; INDUCTIVE LOGIC PROGRAMMING (ILP); PARAMETER ESTIMATION;

AUTOMATED ASSISTANCE; BACK-GROUND KNOWLEDGE; COMPLEX BIOLOGICAL SYSTEMS; MODEL IDENTIFICATION; QUALITATIVE SYSTEM IDENTIFICATION; QUANTITATIVE MODELING; QUANTITATIVE MODELS; STRUCTURAL RELATIONSHIP;

BIOLOGICAL SYSTEMS;

EID: 52249093776     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2374     Document Type: Article

References (65)

1. Arkin, A., Shen, P., & Ross, J. (1997). A test case of correlation metric construction of a reaction pathway from measurements. Science, 277, 1275-1279.
2. Asgharbeygi, N., Bay, S., Langley, P., & Arrigo, K. (2006). Inductive revision of quantitative process models. Ecological modelling, 194, 70-79.
3. Bergadano, F., & Gunetti, D. (1996). Inductive Logic Programming: From Machine Learning to Software Engineering. MIT Press.
4. Bhaskhar, R., & Nigam, A. (1990). Qualitative physics using dimensional analysis. Artificial Intelligence, 45, 73-111.
5. Blackman, R. B., & Tukey, J. W. (1958). The Measurement of Power Spectra. John Wiley and Sons, New York.
6. Bradley, E., Easley, M., & Stolle, R. (2000). Reasoning about nonlinear system identification. Tech. rep. CU-CS-894-99, University of Colorado.
7. Bratko, I., Mozetic, I., & Lavrac, N. (1989). KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press, Cambridge, Massachusetts.
8. Bratko, I., Muggleton, S., & Varsek, A. (1992). Learning qualitative models of dynamic systems. In Muggleton, S. (Ed.), Inductive Logic Programming, pp. 437-452. Academic Press.
9. Bridewell, W., Sandy, J., & Langley, P. (2004). An interactive environment for the modeling and discovery of scientific knowledge.. Tech. rep., Institute for the Study of Learning and Expertise, Palo Alto, CA.
10. Camacho, R. (2000). Inducing Models of Human Control Skills using Machine Learning Algorithms. Ph.D. thesis, University of Porto.
11. Coghill, G. M. (1996). Mycroft: A Framework for Constraint-Based Fuzzy Qualitative Reasoning. Ph.D. thesis, Heriot-Watt University.
12. Coghill, G. M. (2003). Fuzzy envisionment. In Proc. of the Third International Workshop on Hybrid Methods for Adaptive Systems, Oulu, Finland.
13. Coghill, G. M., Asbury, A. J., van Rijsbergen, C. J., & Gray, W. M. (1992). The application of vector envisionment to compartmental systems.. In Proceedings of the first international conference on Intelligent Systems Engineering, pp. 123-128, Edinburgh, Scotland.
14. Coghill, G. M., & Chantier, M. J. (1994). Mycroft: a framework for qualitative reasoning. In Proceedings of the Second International Conference on Intelligent Systems Engineering, pp. 49-55, Hamburg, Germany.
15. Coghill, G M., Garret, S. M., & King, R. D. (2004). Learning qualitative models of metabolic systems. In Proceedings of the European Conference on Artificial Intelligence ECAI-04, Valencia, Spain.
16. Coghill, G. M., & Shen, Q. (2001). On the specification of multiple models for diagnosis of dynamic systems. AI Communications, 14(2), 93-104.
17. Coiera, E. W. (1989a). Generating qualitative models from example behaviours. Tech. rep. 8901, University of New South Wales, Deptartment of Computer Science.
18. Coiera, E. W. (1989b). Learning qualitative models from example behaviours. In Proc. Third Workshop on Qualitative Physics, Stanford.
19. Collins, J. (1968). A regression analysis program incorporating heuristic term selection. In Dale, E., & Michie, D. (Eds.), Machine Intelligence 2. Oliver and Boyd.
20. Džeroski, S. (1992). Learning qualitative models with inductive logic programming. Informatica, 16(A), 30-41.
21. Džeroski, S., & Todorovski, L. (1993). Discovering dynamics. In International Conference on Machine Learning, pp. 97-103.
22. Džeroski, S., & Todorovski, L. (1995). Discovering dynamics: from inductive logic programming to machine discovery. J. Intell. Information Syst., 4, 89-108.
23. Falkenhainer, B., & Michalski, R. S. (1986). Integrating quantitative and qualitative discovery: The abacus system. Machine Learning, 1(4), 367-401.
24. Forbus, K. D. (1984). Qualitative process theory. Artificial Intelligence, 24, 169-204.
25. Garrett, S. M., Coghill, G. M., Srinivasan, A., & King, R. D. (2007). Learning qualitative models of physical and biological systems. In Džeroski, S., & Todorovski, L. (Eds.), Computational discovery of communicable knowledge, pp. 248-272. Springer.
26. Gawthrop, P. J., & Smith, L. P. S. (1996). Metamodelling: Bond Graphs and Dynamic Systems. Prentice Hall, Hernel Hempstead, Herts, England.
27. Hau, D. T., & Coiera, E. W. (1993). Learning qualitative models of dynamic systems. Machine Learning, 26, 177-211.
28. Healey, M. (1975). Principles of Automatic Control. Hodder and Stoughton.
29. Iwasaki, Y., & Simon, H. A. (1986). Causality in device behavior. Artificial Intelligence, 29, 3-32.
30. See also De Kleer and Brown's rebuttal and Iwasaki and Simon's reply to their rebuttal in the same volume of this journal.
31. King, R. D., Garrett, S. M., & Coghill, G. M. (2005). On the use of qualitative reasoning to simulate and identify metabolic pathways.. Bioinformatics, 21(9), 2017 - 2026.
32. Kokar, M. M. (1985). Coper: A methodology for learning invariant functional descriptions. In Mitchell, T., Carbonell, J., & Michalski, R. (Eds.), Machine Learning: A Guide to Current Research, pp. 151-154. Kluwer Academic Press.
33. Koza, J. R., Mydlowec, W., Lanza, G., Yu, J., & Keane, M. A. (2000). Reverse engineering and automatic synthesis of metabolic pathways from observed data using genetic programming.. Tech. rep. SMI-2000-0851, Stanford University.
34. Kraan, I. C., Richards, B. L., & Kuipers, B. J. (1991). Automatic abduction of qualitative models. In Proceedings of Qualitative Reasoning 1991 (QR'91).
35. Kuipers, B. (1994). Qualitative Reasoning. MIT Press.
36. Langley, P. (1981). Datardriven discovery of physical laws. Cognitive Science, 5, 31-54.
37. Langley, P., George, D., Bay, S., & Saito, K. (2003). Robust induction of process models from time series data.. In Proc. twentieth International Conference on Machine Learning, pp. 432-439, Washington, DC. AAAI Press.
38. Langley, P., & Zytkow, J. (1989). Data-driven approaches to empirical discovery. Artificial Intelligence, 40, 283-312.
39. McCreath, E. (1999). Induction in first order logic from noisy training examples and fixed example set sizes. Ph.D. thesis, University of New South Wales.
40. Mitchell, T. M., Keller, R. M., & Kedar-Cabelli, S. (1986). Explanation-based generalization: A unifying view. Machine Learning, 1, 47-80.
41. Mozetic, I. (1987). Learning of qualitative models. In Bratko, I., & Lavrac, N. (Eds.), Progress in Machine Learning: Proceedings of EWSL '87: 2nd European Working Session on Learning, pp. 201-217. Sigma Press.
42. Muggleton, S. (1995). Inverse Entailment and Progol. New Gen. Comput., 13, 245-286.
43. Muggleton, S. (1996). Learning from positive data. Lecture Notes in AI, 1314, 358-376.
44. Muggleton, S., & Feng, C. (1990). Efficient induction of logic programs. In Proc. of the First Conf. on Algorithmic Learning Theory. OHMSHA, Tokyo.
45. Muggleton, S., & Raedt, L. D. (1994). Inductive logic programming: Theory and methods. Journal of Logic Programming, 19, 20, 629-679.
46. Narasimhan, S., Mosterman, P., & Biswas, G. (1998). A systematic analysis of measurement selection algorithms for fault isolation in dynamic systems. In Proc. Ninth Intl. Workshop on Principles of Diagnosis (DX-98), pp. 94-101, Cape Cod, MA.
47. Nordhausen, B., & Langley, P. (1993). An integrated framework for empirical discovery. Machine Learning, 12, 17-47.
48. Papadimitriou, C., & Steiglitz, K. (1982). Combinatorial Optimisation. Prentice-Hall, Edgewood-Cliffs, NJ.
49. Plotkin, G. (1971). Automatic Methods of Inductive Inference. Ph.D. thesis, Edinburgh University.
50. Reiser, P., King, R., Kell, D., Muggleton, S., Bryant, C., & Oliver, S. (2001). Developing a logical model of yeast metabolism. Electronic Transactions on Artificial Intelligence, 5, 233-244.
51. Richards, B. L., Kraan, I., & Kuipers, B. J. (1992). Automatic abduction of qualitative models. In Proc. of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp. 723-728. MIT Press.
52. Richards, B. L., & Mooney, R. J. (1995). Automated refinement of first-order horn-clause domain theories. Machine Learning, 19(2), 95-131.
53. Riguzzi, F. (2005). Two results regarding refinement operators. In Kramer, S., & Pfahringer, B. (Eds.), Late Breaking Papers, 15th International Workshop on Inductive Logic Programming (ILP05), August 10-13, 2005, pp. 53-58, Munich, Germany.
54. Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M. J., Hubbard, E. J. A., & Harel, D. (2008). Towards verified biological models.. IEEE/ACM Trans. Comput. Biology and Bioinformatics., 5(2), 1-12.
55. Say, A. C. C., & Kuru, S. (1996). Qualitative system identification: deriving structure from behavior. Artificial Intelligence, 83, 75-141.
56. Shoup, T. E. (1979). A Practical Guide to Computer Methods for Engineers. Prentice-Hall Inc., Englewood Cliffs, N. J. 07632.
57. Soderstrom, T., & Stoica, P. (1989). System Identification. Prentice Hall.
58. Srinivasan, A. (1999). The Aleph Manual. Available at http://www.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/.
59. Srinivasan, A., & King, R. D. (2008). Incremental identification of qualitative models of biological systems using inductive logic programming. J. Machine Learning Research to appear.
60. Todorovski, L. (2003). Using domain knowledge for automated modeling of dynamic systems with equation discovery. Ph.D. thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana, Slovenia.
61. Todorovski, L., Srinivasan, A., Whiteley, J., & Gavaghan, D. (2000). Discovering the structure of partial differential equations from example behavior. In Proceedings of the Seventeenth International Conference on Machine Learning, pp. 991-998, San Francisco.
62. Todorovski, L., & Džeroski, S. (1997). Declarative bias in equation discovery. In Proc. 14th International Conference on Machine Learning, pp. 376-384. Morgan Kaufmann.
63. Valdes-Perez, R. E. (1994). Heuristics for systematic elucidation of reaction pathways.. J. Chem. Informat. Comput. Sci., 34, 976-983.
64. Voit, E. O., & Radivoyevitch, T. (2000). Biochemical systems analysis of genome-wide expression data. Bioinformatics, 16(11), 1023-1037.
65. Warren, P., Coghill, G. M., & Johnstone, A. (2004). Top down and botton up development of a fuzzy rule-based diagnostic system. In Proc. of the Fourth International Workshop on Hybrid Methods for Adaptive Systems, Aachen, Germany.