Abstract
In this paper we present a proposal of a flexible query answering system based on fuzzy logic. We introduce a fuzzy logic programming with a threshold cut and with connectives being arbitrary conjunctors, disjunctors (i.e. they do not need to be associative) and implicators. We use three types of unification: first of syntactical strings based on a similarity relation; second based on linguistic variables; third based on fuzzy conceptual lattices. Our systems assumes a fuzzy logic programming interpreter runs at the remote site. We propose a query dialogue where user can specify thresholds, number of truth values, finite (linear) approximations of fuzzy sets and connectives which are subject of tuning and learning, fuzzy conceptual lattice, fuzzy similarity relations and the form of answer required. This is intended to lower communication (retrieval) complexity. We present a computational (procedural) semantics which is sound and complete wrt. to declarative semantic.
This work was supported by the grant 2/4375/97 of the Slovak Grant Agency for Science and the last author by A.von Humboldt Stiftung Germany.
Preview
Unable to display preview. Download preview PDF.
References
M. Al-Qasem, S. M. Deen. Query subsumption, this volume
T. Alsinet. Fuzzy unification degree. Preprint 97
K. R. Apt. logic Programming. In Handbook of Theoretical Computer Science. Elsevier 1990, 493–574
J. F. Baldwin, T. P. Martin, P. W. Pilsworth. FRIL: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Willey Sons, 1995
J. F. Baldwin, S. O. Zhou. A fuzzy relational inference language. Fuzzy Sets and Systems 14, 155–174
B. P. Buckles, F. E. Petry. Fuzzy databases and their applications. In Fuzzy Information and Decision Process, M. Gupta et al. eds. North Holland New York 1982, 361–371
P. Bosc, J. Kacprzyk. Fuzziness in Database Management Systems. Physica Verlag, Heidelberg 1995
C. Carpineto, G. Romano. Effective reformulation of boolean queries with concept lattices, this volume
D. Dubois, J. Lang, H. Prade. Fuzzy sets in approximate reasoning. Part 2: Logic approaches. Fuzzy Sets and Systems 40 (1991) 203–244
D. Dubois, H. Prade. Fuzzy logic and the generalized modus ponens revisited. Cybernetics and Systems 15 (1984) 293–331
B. Gantner, R. Wille. Formale Begrifsanalyse. Math. Grundlagen. Springer 1996
S. Gottwald. Fuzzy Sets and Fuzzy Logic, Vieweg 1993
P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, Dodrecht 1998
P. Hájek, F. Esteva, L. Godo. Fuzzy logic and probability. In Proc. Uncertainty in Artificial Intelligence. P. Besnard and S. Hanko eds. Montreal 1995, 237–244
J. Kacprzyk, S. Zadrozny. A fuzzy querying interface for www environment, In Proc. IFSA'97, M. Mareš et al eds. Academia, Prague 1997, 285–290
K. Klawonn, K. Kruse. A Lukasiewicz logic based Prolog. Mathware Soft Comput. 1 (1994) 5–29
P.E. Klement, R. Mesiar, E. Pap. Triangular Norms. Book in preparation
K. Korpimies, E. Ukkonen. Searching for general documents, this volume
Y. Liu, H. Chen, J. X. Yu, N. Ohto. Using stem rules to define document retrieval queries, this volume
J. W. Lloyd. Foundations of Logic Programming. Springer Berlin, 1987
M. Mukaidono, H. Kikuchi. Foundations of fuzzy logic programming. In Advances in Fuzzy Systems. Vol.1. P. Z. Wang, K. F. Loe eds. World Science Publ. Singapore 1995, 225–244
E. Naito, J. Ozawa, I. Hayashi, N. Wakami. A proposal of a fuzzy connective with learning function, in [7], 345–364
J. Pavelka. On fuzzy logic I, II, III. Zeitschrift Math. Logik Grundl. Math. 25 (1979) 45–52, 119–134, 447–464
F. E. Petry. Fuzzy Databases — Principles and Applications. Kluwer Dodrecht 1997
H. Prade, C. Testemale. Generalizing database relational algebra for the treatment of incomplete/uncertain information and vague queries. Proc 2nd NAFIPS Workshop, New York 1983
J. Sabol, L. Kvaska, M. Antal, J. Sirota. The new information system STEELMAN (in Slovak) AT&P Journal 2 (1997) 6–8
E. Trillas, L. Valverde. An inquiry on t-indistinguishability operator. In Aspects of Vagueness, H. Skala et al. eds. Reidel Dodrecht, 1984, 231–256
M. Trompf, D. Baum, H. Janstetter, A. Weckert. Crisp and fuzzy search in product databases for Online Applications. In Proc. EUFIT'97, H. J. Zimmermann ed. Verlag Mainz Wissenschaftsverlag, Aachen, 1997. pp. 57–61
P. Vojtáš, L. Paulík. Logic programming in RPL and RQL. In Proc. Sofsem 95, M. Bartošek et al. eds. LNCS 1012 Springer 1995, 487–492
P. Vojtáš. Fuzzy reasoning with flexible t-operators. Proc. IFSA'97, M. Mareš et al eds. Academia Prague 1997, 345–350
L. A. Zadeh. On the analysis of large scale systems. In Systems Approaches and Environment Processes Götingen 1974, H. Gabbinger ed. Vanderhoek and Rupprecht, 1974, 23–37
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kriško, P., Marcinčák, P., Mihók, P., Sabol, J., Vojtáš, P. (1998). Low retrieval remote querying dialogue with fuzzy conceptual, syntactical and linguistical unification. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 1998. Lecture Notes in Computer Science, vol 1495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056003
Download citation
DOI: https://doi.org/10.1007/BFb0056003
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65082-9
Online ISBN: 978-3-540-49655-7
eBook Packages: Springer Book Archive