Numerical reasoning with an ILP system capable of lazy evaluation and customised search

Journal of Logic Programming

Volumn 40, Issue 2, 1999, Pages 185-213

  Srinivasan, Ashwin ^a   Camacho, Rui ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; DIGITAL ARITHMETIC; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; NEURAL NETWORKS; NUMERICAL METHODS; PROBLEM SOLVING; REGRESSION ANALYSIS;

INDUCTIVE LOGIC PROGRAMMING; LAZY EVALUATION; NUMERICAL REASONING;

LOGIC PROGRAMMING;

EID: 0032687672     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00018-7     Document Type: Article

References (49)

1. I. Bratko, M. Grobelnik, Inductive learning applied to program construction and verification, in: Proceedings of the Third International Workshop on Inductive Logic Programming. Available as Technical Report IJS-DP-6707, J. Stefan Inst., Ljubljana, Slovenia, 1993, pp. 279-292.
2. L. Breiman, J.H. Friedman, R.A. Olshen, C.J. Stone, Classification and regression-trees, Wadsworth, Belmont, 1984.
3. R. Camacho, Learning stage transition rules with Indlog, in: S. Wrobel, (ed.), Proceedings of the Fourth International Inductive Logic Programming Workshop, Gesellschaft fur Mathematik und Datenverarbeitung MBH, GMD-Studien Nr 237, 1994.
4. R.H. Cannon, Dynamics of Physical Systems, McGraw-Hill, New York, 1967.
5. European Commission, ESPRIT Long term research project 20237 - ILP II, Technical Annex I, European Commission, Directorate General, Industry, Brussels, 1996.
6. A.K. Debnath, R.L. Lopez de Compadre, G. Debnath, A.J. Schusterman, C. Hansch, Structure-activity relationship of mutagenic aromatic and heteroaromatic nitro compounds, correlation with molecular orbital energies and hydrophobicity, J. Medicinal Chem. 34 (2) (1975) 786-797.
7. B. Dolsak, S. Muggleton, The application of inductive logic programming to finite element mesh design, in: S. Muggleton, (Ed.), Inductive Logic Programming. Academic Press, London, 1992, pp. 453-472.
8. S. Dzeroski, L. Todorovski, Discovering dynamics: From inductive logic programming to machine discovery, J. Intell. Inform. Sys. 4 (1995) 89-108.
9. S. Dzeroski, Numerical Constraints and Learnability in Inductive Logic Programming, University of Ljubljana, (PhD. Thesis), Ljubljana, 1995.
10. S. Dzeroski, L. Dehaspe, B. Ruck, W. Walley, Classification of river water quality data using machine learning, in: Proceedings of the Fifth International Conference on the Development and Application of Computer Techniques Environmental Studies, 1994.
11. C. Feng, Inducing temporal fault dignostic rules from a qualitative model, in: S. Muggleton, (Ed.), Inductive Logic Programming, Academic Press, London, 1992, pp. 473-486.
12. C.D. Page Jr., A.M. Frisch, Generalization and learnability: A study of constrained atoms, in: S. Muggleton, (Ed.), Inductive Logic Programming, Academic Press, London, 1992, pp. 29-56.
13. A. Karalic, Relational regression: first steps, Technical report ijs-dp-7001, J. Stefan Inst., Ljubljana, Yugoslavia, 1994.
14. A. Karalic, I. Bratko, First-order regression (special issue on ILP), Machine Learning Journal 26 (1997) 147-176.
15. R.D. King, S.H. Muggleton, A. Srinivasan, M.J.E. Sternberg, Structure-activity relationships derived by machine learning: The use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming, Proc. Nat. Acad. Sci. 93 (1996) 438-442.
16. R.D. King, S.H. Muggleton, M.J.E. Sternberg, Drug design by machine learning: The use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase, Proc. Nat. Acad. Sci. 89 (23) (1992) 11322-11326.
17. S. Kramer, Structural regression-trees, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), MIT Press, 1996, pp. 812-819.
18. N. Lavrac, S. Dzeroski, ILP: Techniques and Applications, Ellis Horwood, London, 1994.
19. J.W. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1984.
20. D. Michie, R.A. Chambers, BOXES: An experiment in adaptive control, in: E. Dale, D. Michie (Eds.), Machine Intelligence 2, Oliver and Boyd, Edinburgh, 1968, pp. 137-152.
21. F. Mizoguchi, H. Ohwada, An inductive logic programming approach to constraint acquisition for constraint-based problem solving, in: L. De Raedt (Ed.), Fifth International Inductive Logic Programming Workshop, Katholieke Universiteit Leuven, Heverlee, Belgium, 1995.
22. S. Muggleton, Inductive logic programming, New Gen. Comput. 8 (4) (1991) 295-318.
23. S. Muggleton, Inductive logic programming: derivations, successes and shortcomings, SIGART Bulletin 5 (1) (1994) 5-11.
24. S. Muggleton, Inverse entailment and Progol, New Gen. Comput 13 (1995) 245-286.
25. S. Muggleton, Learning from positive data, in: Proceedings of the Sixth Inductive Logic Programming Workshop, LNAI, Springer, Berlin, 1996, pp. 358-376.
26. S. Muggleton, R. King, M. Sternberg, Predicting protein secondary structure using inductive logic programming, Protein Engineering 5 (1992) 647-657.
27. S. Muggleton, C.D. Page, A. Srinivasan, An initial experiment into stereochemistry-based drug design using ILP, in: Proceedings of the Sixth Inductive Logic Programming Workshop, LNAI, Springer, Berlin, 1996.
28. S. Muggleton, D. Page, Beyond first-order learning: inductive learning with higher-order logic, PRG-TR 13-94, Oxford University Computing Laboratory, Oxford, 1994.
29. S.H. Muggleton, C. Feng, Efficient induction of logic programs, in: Proceedings of the First Conference on Algorithmic Learning Theory, Ohmsha, Tokyo, 1990.
30. M.J. Norusis, SPSS: Base System User Guide, Release 6.0, SPSS, 444 N Michigan Ave, Chicago, Illinois 60611, 1994.
31. University of Stuttgart, Snns user manual, version 4.1, Technical Report 6/95, Institute for Parallel and Distributed High Performance Systems, Stuttgart, 1995.
32. G.D. Plotkin, Automatic Methods of Inductive Inference, PhD. thesis, Edinburgh University, August 1971.
33. J.R. Quinlan, Learning logical definitions from relations, Machine Learning 5 (1990) 239-266.
34. J.R. Quinlan, Learning with continuous classes, in: A. Adams, L. Sterling (Eds.), Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, Singapore, World Scientific, 1992, pp. 343-348.
35. J.R. Quinlan, R.M. Cameron-Jones, Efficient top-down induction of logic programs, SIGART Bulletin 5 (1) (1994) 33-42.
36. L. De Raedt, L. Dehaspe, Clausal discovery, Technical Report CW 238, Katholieke Universiteit Leuven, Heverlee, Belgium, 1996.
37. L. De Raedt, L. Dehaspe, Clausal discovery (special issue on ILP), Machine Learning 26 (1997) 99-146.
38. L. DeRaedt, S. Dzeroski, First order jk-clausal theories are PAC-learnable, Artificial Intelligence 70 (1994) 375-392.
39. C.A. Ramsden, Comprehensive Medicinal Chemistry, vol. 4, Pergamon Press, Oxford, 1979.
40. J.O. Rawlings, Applied Regression Analysis: A Research Tool, Wadsworth and Brooks, Pacific Grove, California, 1988.
41. M. Sebag, C. Rouveirol, Constraint inductive Logic Programming, in: L. De Raedt (Ed.), Fifth International Inductive Logic Programming Workshop, Katholieke Universiteit Leuven, Heverlee, Belgium, 1995.
42. E.Y. Shapiro, Algorithmic Program Debugging, MIT Press, 1983.
43. A. Srinivasan, R.C. Camacho, Experiments in numerical reasoning with ILP, Technical Report PRG-TR-22-96, Oxford University Computing Laboratory, Oxford, 1996.
44. A. Srinivasan, R.D. King, Feature construction with inductive logic programming: a study of quantitative predictions of biological activity aided by structural attributes, in: Proceedings of the Sixth Inductive Logic Programming Workshop, LNAI, Springer, Berlin, 1996.
45. A. Srinivasan, S.H. Muggleton, R.D. King, M.J.E. Sternberg, Mutagenesis: ILP experiments in a non-determinate biological domain, in: S. Wrobel (Ed.), Proceedings of the Fourth International Inductive Logic Programming Workshop, Gesellschaft für Mathematik und Datenverarbeitung MBH, GMD-Studien Nr 237, 1994.
46. R.E. Walpole, R.H. Myers, Probability and Statistics for Engineers and Scientists, 2nd ed., Collier Macmillan, New York, 1978.
47. S.M. Weiss, C.A. Kulikowski, Computer Systems that Learn, Morgan Kaufmann, San Mateo, CA, 1991.
48. D.M. Young, R.T. Gregory, A Survey of Numerical Mathematics, vol. 1, Addison-Wesley, Reading, MA, 1972.
49. J. Zelle, R. Mooney, Learning semantic grammars with constructive inductive logic programming, in: Proceedings of the Eleventh National Conference on Artificial Intelligence, Morgan Kaufmann, 1993, pp. 817-822.