Abstract
The Internet has become a place where massive amounts of information and data are being generated every day. This information is most of the times stored in a non-structured way, but the times it is structured in databases it cannot be retrieved by using easy fuzzy queries: we need human intervention to determine how the non-fuzzy information stored needs to be combined and processed to answer a fuzzy query. We present a web interface for posing fuzzy and flexible queries and a framework. Our framework allows to represent non-fuzzy concepts, fuzzy concepts and relations between them, giving the programmer the capability to model any real-world knowledge. It is this representation in the framework’s language what it uses to (1) determine how to answer the query without any human intervention and (2) provide the search engine with the information it needs to present the user a friendly and easy to use query form. We expect this work contributes to the development of more human-oriented fuzzy search engines.
This work is partially supported by research projects DESAFIOS10 (TIN2009-14599-C03-00) funded by Ministerio Ciencia e Innovación of Spain, PROMETIDOS (P2009/TIC-1465) funded by Comunidad Autónoma de Madrid and Research Staff Training Program (BES-2008-008320) funded by the Spanish Ministry of Science and Innovation. It is partially supported too by the Universidad Politécnica de Madrid entities Departamento de Lenguajes, Sistemas Informáticos e Ingeniería de Software and Facultad de Informática.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We say that it is a more declarative programming language because it removes the necessity to specify the flow control in most cases, but the programmer still needs to know if the interpreter or compiler implements depth or breadth-first search strategy and left-to-right or any other literal selection rule.
- 2.
As usually, a n-ary function \(\hat{F}\) is called monotonic in the idefine-th argument (\(i\le n\)), if \(x \le x'\) implies \(\hat{F}(x_1,\ldots ,x_{i-1}, x, x_{i+1}, \ldots , x_n) \le \hat{F}(x_1, \ldots , x_{i-1}, x', x_{i+1}, \ldots ,x_n)\) and a function is called monotonic if it is monotonic in all arguments.
- 3.
Note that the above definition of aggregation operators subsumes all kinds of minimum, maximum or mean operators.
- 4.
The domain of an interpretation is the set of all atoms in the Herbrand Base (interpretations are total functions), although for readability reasons we present interpretations as sets of pairs \((A, ( \mathsf {p},~\mathsf {v}))\) where \(A \in \mathbf {HB}\) and \( ( \mathsf {p},~\mathsf {v})\in \mathbf {KT}{\setminus }\{\bot \}\) (we omit those atoms whose interpretation is the truth value \(\bot \)).
- 5.
- 6.
Be careful, we are not saying that the spanish food is 0.7 similar to the mediterranean one. You need to add another clause with that information if you wanna say that too.
- 7.
The meaning of this “by default” is explained too in the paragraphs after this one.
- 8.
Please note that we not remove the original condition, so we can combine conditions introduced by the semantics of a clause with the conditions introduced by one or more tails.
- 9.
We use indistinctively ’,’ and \(\wedge \) because the first one is the Prolog symbol for conjunction.
- 10.
[(valIn, valOut)] is basically a piecewise function definition, where each two contiguous points represent a piece.
- 11.
This “only for one sequence of two contiguous points” means that we generate one clause of the form in Eq. 29 for each piece defined by two contiguous points.
- 12.
We include two examples here so if one builds a program by taking all the examples in the contribution the rule in Eq. 35 does not fail to obtain answers because it has not enough information to infer results.
References
Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril—Fuzzy and Evidential Reasoning in Artificial Intelligence. Wiley, New York (1995)
Bobillo, F., Straccia, U.: FuzzyDL: an expressive fuzzy description logic reasoner. In: 2008 International Conference on Fuzzy Systems (FUZZ-08), pp. 923–930. IEEE Computer Society (2008)
Bordogna, G. Pasi, G.: A fuzzy query language with a linguistic hierarchical aggregator. In: Proceedings of the 1994 ACM Symposium on Applied computing, SAC’94, pp. 184–187. ACM, New York (1994)
Bosc, P., Pivert, O.: SQLF: a relational database language for fuzzy querying. IEEE Trans. Fuzzy Syst. 3(1), 1–17 (1995)
Bosc, P., Pivert, O.: On a strengthening connective for flexible database querying. In: 2011 IEEE International Conference on Fuzzy Systems (FUZZ), pp. 1233–1238 (2011)
Dubois, D., Prade, H.: Using fuzzy sets in flexible querying: why and how? In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) Flexible Query Answering Systems, pp. 45–60. Kluwer Academic Publishers, Norwell (1997)
Guadarrama, S., Muñoz-Hernández, S., Vaucheret, C.: Fuzzy prolog: a new approach using soft constraints propagation. Fuzzy Sets Syst. (FSS) 144(1), 127–150 (2004). Possibilistic Logic and Related Issues
Ishizuka, M., Kanai, N.: Prolog-ELF incorporating fuzzy logic. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, IJCAI’85, pp. 701–703. Morgan Kaufmann Publishers Inc, San Francisco (1985)
Li, D., Liu, D.: A Fuzzy Prolog Database System. Wiley, New York (1990)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A completeness theorem for multi-adjoint logic programming. In: FUZZ, pp. 1031–1034. IEEE (2001)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Multi-adjoint logic programming with continuous semantics. In: Eiter, T., Faber, W., Truszczynski, M. (eds.) LPNMR. Lecture Notes in Computer Science, vol. 2173, pp. 351–364. Springer, Berlin (2001)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A procedural semantics for multi-adjoint logic programming. In: Brazdil, P., Jorge, A. (eds.) EPIA. Lecture Notes in Computer Science, vol. 2258, pp. 290–297. Springer, Berlin (2001)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A multi-adjoint approach to similarity-based unification. Electron. Notes Theor. Comput. Sci. 66(5):70–85 (2002). UNCL’2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146(1), 43–62 (2004)
Morcillo, P.J., Moreno, G.: Floper, a fuzzy logic programming environment for research. In: Fundación Universidad de Oviedo (ed.) Proceedings of VIII Jornadas sobre Programación y Lenguajes (PROLE’08), pp. 259–263. Gijón, October 2008
Moreno, J.M., Ojeda-Aciego, M.: On first-order multi-adjoint logic programming. In: 11th Spanish Congress on Fuzzy Logic and Technology (2002)
Muñoz-Hernández, S., Pablos-Ceruelo, V., Strass, H.: RFuzzy: syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Inf. Sci. 181(10), 1951–1970 (2011). Special Issue on Information Engineering Applications Based on Lattices
Pablos-Ceruelo, V., Muñoz-Hernández, S.: Introducing priorities in rfuzzy: syntax and semantics. In: Proceedings of the 11th International Conference on Mathematical Methods in Science and Engineering, CMMSE 2011, vol. 3, pp. 918–929, Benidorm (Alicante), June 2011
Ribeiro, R.A., Moreira, A.M.: Fuzzy query interface for a business database. Int. J. Hum.-Comput. Stud. 58(4), 363–391 (2003)
Rodriguez, L.J.T.: A contribution to database flexible querying: fuzzy quantified queries evaluation, P.hD. thesis, November 2005
Vaucheret, C., Guadarrama, S., Muñoz-Hernández, S.: Fuzzy prolog: a simple general implementation using CLP(R). In: Baaz, M., Voronkov, A. (eds.) LPAR. Lecture Notes in Artificial Intelligence, vol. 2514, pp. 450–464. Springer, Berlin (2002)
Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets Syst. 124(3), 361–370 (2001)
Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338–353 (1965)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Pablos-Ceruelo, V., Munoz-Hernandez, S. (2016). A Framework for Modelling Real-World Knowledge Capable of Obtaining Answers to Fuzzy and Flexible Searches. In: Madani, K., Dourado, A., Rosa, A., Filipe, J., Kacprzyk, J. (eds) Computational Intelligence. IJCCI 2013. Studies in Computational Intelligence, vol 613. Springer, Cham. https://doi.org/10.1007/978-3-319-23392-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-23392-5_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23391-8
Online ISBN: 978-3-319-23392-5
eBook Packages: EngineeringEngineering (R0)