Few works are available in the literature to define similarity criteria between First-Order Logic formulae, where the presence of relations causes various portions of one description to be possibly mapped in different ways onto another description, which poses serious computational problems. Hence, the need for a set of general criteria that are able to support the comparison between formulas. This could have many applications; this paper tackles the case of two descriptions (e.g., a definition and an observation) to be generalized, where the similarity criteria could help in focussing on the subparts of the descriptions that are more similar and hence more likely to correspond to each other, based only on their syntactic structure. Experiments on real-world datasets prove the effectiveness of the proposal, and the efficiency of the corresponding implementation in a generalization procedure. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Ferilli, S., Basile, T. M. A., Di Mauro, N., Biba, M., & Esposito, F. (2007). Similarity-guided clause generalization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4733 LNAI, pp. 278–289). Springer Verlag. https://doi.org/10.1007/978-3-540-74782-6_25
Mendeley helps you to discover research relevant for your work.