Abstract
In this work, a proximity-based generic method for discovery of generalized knowledge is presented and implemented in the framework of a fuzzy logic programming language with a weak unification procedure that uses proximity relations to model uncertainty. This method makes use of the concept of λ-block characterizing the notion of equivalence when working with proximity relations. When the universe of discourse is composed of concepts which are related by proximity, the sets of λ-blocks extracted from that proximity relation can be seen as hierarchical sets of concepts grouped by abstraction level. Then, each group (forming a λ-block) can be labeled, with user help, by way of a more general descriptor in order to simulate a generalization process based on proximity. Thanks to this process, the system can learn concepts that were unknown initially and reply queries that it was not able to answer. The novelty of this work is that it is the first time a method, with analogous features to the one aforementioned, has been implemented inside a fuzzy logic programming framework. In order to check the feasibility of the method we have developed a software tool which have been integrated into the Bousi~Prolog system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angryk, R.A., Petry, F.E.: Discovery of Abstract Knowledge from Non-Atomic Attribute Values in Fuzzy Relational Databases. In: Modern Information Processing: From Theory to Applications (2005)
Bron, C., Kerbosh, J.: Algorithm 457: Finding All Cliques of an Undirected Graph. Communications of ACM 16(9) (1973)
Cai, Y., Cercone, N., Han, J.: Attribute-Oriented Induction in Relational Databases. In: Proc. IJCAI 1989, pp. 26–36 (1989)
Formato, F., Gerla, G., Sessa, M.I.: Similarity-based Unification. Fundam. Inform. 41(4), 393–414 (2000)
Romero, F.P., Julián-Iranzo, P., Ferreira-Satler, M., Gallardo-Casero, J.: Classifying unlabeled short texts using a fuzzy declarative approach. Language Resources and Evaluation (2012), http://dx.doi.org/10.1007/s10579-012-9203-2
Julián, P., Rubio, C., Gallardo, J.: Bousi~Prolog: A Prolog Extension Language for Flexible Query Answering. ENTCS, vol. 248, pp. 131–147. Elsevier (2009)
Julián, P., Rubio, C.: A Declarative Semantics for Bousi~Prolog. In: Proc. of 11th ACM SIGPLAN Symposium on PPDP 2009, pp. 149–160 (2009)
Julián, P., Rubio, C.: Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. In: Proc. of IJCCI (ICFC-ICNC), pp. 93–98 (2010)
Lee, D.H., Kim, M.H.: Database Summarization Using Fuzzy ISA Hierarchies. IEEE Transactions on Systems, Man and Cybernetics–part B 27(1), 68–78 (1997)
Sessa, M.I.: Approximate Reasoning by Similarity-based SLD Resolution. Theorical Computer Science 275, 389–426 (2002)
Robinson, J.A.: A Machine-oriented Logic Based on the Resolution Principle. Journal of the ACM 12(1), 23–41 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Julián-Iranzo, P., Rubio-Manzano, C. (2013). A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi~Prolog System. In: Rojas, I., Joya, G., Cabestany, J. (eds) Advances in Computational Intelligence. IWANN 2013. Lecture Notes in Computer Science, vol 7903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38682-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-38682-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38681-7
Online ISBN: 978-3-642-38682-4
eBook Packages: Computer ScienceComputer Science (R0)