Abstract
In this work, we introduce a new distance function for data representations based on first-order logic (atoms, to be more precise) which integrates the main advantages of the distances that have been previously presented in the literature. Basically, our distance simultaneously takes into account some relevant aspects, concerning atom-based presentations, such as the position where the differences between two atoms occur (context sensitivity), their complexity (size of these differences) and how many times each difference occur (the number of repetitions). Although the distance is defined for first-order atoms, it is valid for any programming language with the underlying notion of unification. Consequently, many functional and logic programming languages can also use this distance.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aleksovski, D., Erwig, M., Dzeroski, S.: A functional programming approach to distance-based machine learning. In: Conference on Data Mining and Data Warehouses (SiKDD 2008), Jozef Stefan Institute (2008)
Bille, P.: A survey on tree edit distance and related problems. Theoretical computer science 337(1-3), 217–239 (2005)
Blockeel, H., De Raedt, L., Ramon, J.: Top-down induction of clustering trees. In: Proc. of the 15th International Conference on Machine Learning (ICML 1998), pp. 55–63. Morgan Kaufmann, San Francisco (1998)
Cheney, J.: Flux: functional updates for XML. In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP, pp. 3–14. ACM, New York (2008)
Estruch, V., Ferri, C., Hernández-Orallo, J., Ramírez-Quintana, M.J.: A new context-sensitive and composable distance for first-order terms. Technical report, Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia (2009), http://users.dsic.upv.es/~flip
Ferri, C., Hernández-Orallo, J., Ramírez-Quintana, M.J.: Incremental learning of functional logic programs. In: Kuchen, H., Ueda, K. (eds.) FLOPS 2001. LNCS, vol. 2024, pp. 233–247. Springer, Heidelberg (2001)
Ferri, C., Hernández-Orallo, J., Ramírez-Quintana, M.J.: Learning MDL-guided decision trees for conctructor based languages. In: Codognet, P. (ed.) ILP 2005. LNCS, vol. 3625, pp. 87–102. Springer, Heidelberg (2001)
Flener, P., Schmid, U.: An introduction to inductive programming. Artificial Intelligence Review 29(1), 45–62 (2008)
Hernández, J., Ramírez, M.J.: Inverse narrowing for the induction of functional logic programs. In: Proceedings of the Joint Conference on Declarative Programming, Univ. de la Coruña (1998)
Hernández-Orallo, J., Ramírez-Quintana, M.J.: A strong complete schema for inductive functional logic programming. In: Džeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol. 1634, pp. 116–127. Springer, Heidelberg (1999)
Hutchinson, A.: Metrics on terms and clauses. In: van Someren, M., Widmer, G. (eds.) ECML 1997. LNCS, vol. 1224, pp. 138–145. Springer, Heidelberg (1997)
Nagata, J., Hart, K.P., Vaughan, J.E.: Encyclopedia of General Topology. Elsevier, Amsterdam (2003)
Lavrač, N., Džeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood (1994)
Levina, E., Bickel, P.J.: The earth mover’s distance is the mallows distance: Some insights from statistics. In: 8th International Conference on Computer Vision, pp. 251–256. IEEE, Los Alamitos (2001)
Marzal, A., Vidal, E.: Computation of normalized edit distance and applications. IEEE Transactions on Pattern Analysis and Machine Learning Intelligence 15(9), 915–925 (1993)
Mitchell, T.M.: Machine Learning. McGraw-Hill, New York (1997)
Muggleton, S.: Inductive Logic Programming. New Generation Computing 8(4), 295–318 (1991)
Nienhuys-Cheng, S.H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS (LNAI), vol. 1228. Springer, Heidelberg (1997)
Plotkin, G.: A note on inductive generalisation. Machine Intelligence 5, 153–163 (1970)
Ramon, J., Bruynooghe, M.: A framework for defining distances between first-order logic objects. In: Page, D.L. (ed.) ILP 1998. LNCS, vol. 1446, pp. 271–280. Springer, Heidelberg (1998)
Ramon, J., Bruynooghe, M., Van Laer, W.: Distance measures between atoms. In: CompulogNet Area Meeting on Computational Logic and Machine Learing, pp. 35–41. University of Manchester, UK (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Estruch, V., Ferri, C., Hernández-Orallo, J., Ramírez-Quintana, M.J. (2010). An Integrated Distance for Atoms. In: Blume, M., Kobayashi, N., Vidal, G. (eds) Functional and Logic Programming. FLOPS 2010. Lecture Notes in Computer Science, vol 6009. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12251-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-12251-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12250-7
Online ISBN: 978-3-642-12251-4
eBook Packages: Computer ScienceComputer Science (R0)