Abstract
This paper presents an experimental analysis of a method recently proposed for refining knowledge bases expressed in a first order logic language. The method consists in transforming a classification theory into a neural network, called First Order logic Neural Network (FONN), by replacing predicate semantic functions and logical connectives with continuous-valued derivable functions. In this way it is possible to tune numerical constants in the original theory by performing the error gradient descent. The classification theory to be refined can be manually handcrafted or automatically acquired by a symbolic relational learning system able to deal with numerical features. The emphasis of this paper is on the experimental analysis of the method and an extensive experimentation is provided considering different choices for encoding the logical connectives, and different variants of the learning strategy. The experimentation is made on a challenging artificial case study and shows that FONNs converge quite fastly and generalize better than propositional learners do on an equivalent task definition.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
C. Baroglio, A. Giordana, M. Kaiser, M. Nuttin, and R. Piola. Learning controllers for industrial robots. Machine Learning, 23:221–250, July 1996.
H.R. Berenji. Fuzzy logic controllers. In R.R. Yager and L.A. Zadeh, editors, An Introduction to Fuzzy Logic Applications in Intelligent Systems, pages 69–96. Kluwer, 1992.
M. Botta and A. Giordana. SMART+: A multi-strategy learning tool. In IJCAI-93, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 937–943, Chambéry, France, 1993.
M. Botta, A. Giordana, and R. Piola. FONN: Combining first order logic with connectionist learning. In Proceedings of the 14 th International Conference on Machine Learning ICML-97, Nashville, TN, July 1997. Morgan Kaufmann.
L. Breiman, J.H. Friedman, R.A. Ohlsen, and C.J. Stone. Classification And Regression Trees. Wadsworth & Brooks, Pacific Grove, CA, 1984.
P. Frasconi, M. Gori, M. Maggini, and G. Soda. Representation of finite state automata in recurrent radial basis function networks. Machine Learning, 23:5–32, 1996.
L.M. Fu. Knowledge-based connectionism for revising domain theories. IEEE Transactions on Systems, Man and Cybernetics, 23(1):173–182, January 1993.
D. Haussler. Learning conjunctive concepts in structural domains. Machine Learning, 4:70–40, 1989.
R. Maclin and J.W. Shavlik. Using knowledge-based neural networks to improve algorithms: refining the Chou-Fasman algorithm for protein folding. Machine Learning, 11:195–215, 1993.
R. Michalski. A theory and methodology of inductive learning. In R. Michalski, J. Carbonell, and T. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 83–134, Los Altos, CA, 1983. Morgan Kaufmann.
C.W. Omlin and C.L. Giles. Constructing deterministic finite-state automata in recurrent neural networks. Journal of the ACM, 43(6):937–972, 1996.
T. Poggio and F. Girosi. Networks for approximation and learning. Proceedings of the IEEE, 78(9):1481–1497, September 1990.
R.J. Quinlan. Induction of decision trees. Machine Learning, 1:81–106, 1986.
D. E. Rumelhart and J. L. McClelland. Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Parts I & II MIT Press, Cambridge, Massachusetts, 1986.
G. Towell and J.W. Shavlik. Knowledge based artificial neural networks. Artficial Intelligence, 70(4):119–166, 1994.
V. Tresp, J. Hollatz, and S. Ahmad. Network structuring and training using rule-based knowledge. In S.J. Hanson, J.D. Cowan, and C.L. Giles, editors, Advances in Neural Information Processing Systems 5 (NIPS-5), pages 871–878, San Mateo, CA, 1993. Morgan Kaufmann.
L.A. Zadeh. Knowledge representation in fuzzy logic. In R.R. Yager and L.A. Zadeh, editors, An Introduction to Fuzzy Logic Applications in Intelligent Systems, pages 1–25. Kluwer Academic Publishers, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Botta, M., Giordana, A., Piola, R. (1997). Refining numerical terms in horn clauses. In: Lenzerini, M. (eds) AI*IA 97: Advances in Artificial Intelligence. AI*IA 1997. Lecture Notes in Computer Science, vol 1321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63576-9_92
Download citation
DOI: https://doi.org/10.1007/3-540-63576-9_92
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63576-5
Online ISBN: 978-3-540-69601-8
eBook Packages: Springer Book Archive