On modelling real-world knowledge to get answers to fuzzy and flexible searches without human intervention

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. Being the information in the database the distance to the city center of some restaurants (and their names) by easy fuzzy queries we mean queries like "I want a restaurant close to the center". Since the computer does not have knowledge about the relation between being close to the center and the distance to the center (of a restaurant) it does not know how to answer this query by itself. We need human intervention to tell the computer from which database column it needs to retrieve data (the one with the restaurant's distance to the center), and how this non-fuzzy information is fuzzified (applying the close function to the retrieved value). Once this is done it can give an answer, just ordering the database elements by this new computed attribute. This example is very simple, but there are others not so simple, as "I want a restaurant close to the center, not very expensive and whose food type is mediterranean". Doing this for each existing attribute does not seem to be a very good idea. We present a web interface for posing fuzzy and flexible queries and a search engine capable of answering them without human intervention, just from the knowledge modelled by using the framework's syntax. We expect this work contributes to the development of more human-oriented fuzzy search engines.

[1]  L. Godo,et al.  On similarity logic and the generalized modus ponens , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[2]  Susana Muñoz-Hernández,et al.  Fuzzy Prolog: a new approach using soft constraints propagation , 2004, Fuzzy Sets Syst..

[3]  Rita Almeida Ribeiro,et al.  Fuzzy query interface for a business database , 2003, Int. J. Hum. Comput. Stud..

[4]  Patrick Bosc,et al.  SQLf: a relational database language for fuzzy querying , 1995, IEEE Trans. Fuzzy Syst..

[5]  D. Dubois,et al.  Comparison of two fuzzy set-based logics: similarity logic and possibilistic logic , 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..

[6]  Gloria Bordogna,et al.  A fuzzy query language with a linguistic hierarchical aggregator , 1994, SAC '94.

[7]  Manuel Ojeda-Aciego,et al.  A Procedural Semantics for Multi-adjoint Logic Programming , 2001, EPIA.

[8]  Susana Muñoz-Hernández,et al.  Getting Answers to Fuzzy and Flexible Searches by Easy Modelling of Real-World Knowledge , 2013, IJCCI.

[9]  Deyi Li,et al.  A Fuzzy Prolog Database System , 1990 .

[10]  Trevor P Martin,et al.  Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence , 1995 .

[11]  Didier Dubois,et al.  Using fuzzy sets in flexible querying: why and how? , 1997 .

[12]  Patrick Bosc,et al.  On a strengthening connective for flexible database querying , 2011, 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011).

[13]  Manuel Ojeda-Aciego,et al.  A completeness theorem for multi-adjoint logic programming , 2001, 10th IEEE International Conference on Fuzzy Systems. (Cat. No.01CH37297).

[15]  Jesús Alcalá-Fdez,et al.  Mining fuzzy association rules from low-quality data , 2012, Soft Comput..

[16]  Mitsuru Ishizuka,et al.  Prolog-ELF incorporating fuzzy logic , 2009, New Generation Computing.

[17]  Susana Muñoz-Hernández,et al.  Fuzzy Prolog: A Simple General Implementation Using CLP(R) , 2002, LPAR.

[18]  Jia-Bing Wang,et al.  A fuzzy logic with similarity , 2002, Proceedings. International Conference on Machine Learning and Cybernetics.

[19]  Peter Vojtáš,et al.  A Multi-Adjoint Approach to Similarity-Based Unification , 2002, Electron. Notes Theor. Comput. Sci..

[20]  Hannes Strass,et al.  RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog , 2011, Inf. Sci..

[21]  Manuel Ojeda-Aciego,et al.  Multi-adjoint Logic Programming with Continuous Semantics , 2001, LPNMR.

[22]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[23]  Susana Muñoz-Hernández,et al.  Fuzzy Prolog: A Simple General Implementation Using CLP(R) , 2002, ICLP.

[24]  Manuel Ojeda-Aciego,et al.  Similarity-based unification: a multi-adjoint approach , 2004, EUSFLAT Conf..

[25]  Umberto Straccia,et al.  fuzzyDL: An expressive fuzzy description logic reasoner , 2008, 2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence).

[26]  Lluís Godo,et al.  A Fuzzy Modal Logic for Similarity Reasoning , 1999 .