A Fuzzy Datalog Deductive Database System

This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-fo...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on fuzzy systems Ročník 26; číslo 5; s. 2634 - 2648
Hlavní autoři: Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.10.2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math> </inline-formula>
Annotations
Datalog Educational System (<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{DES}}}</tex-math> </inline-formula>)
deductive database
Deductive databases
Fuzzy logic
fuzzy logic programming
fuzzy prolog
Fuzzy systems
Graphical user interface
Logic programming
Query languages
Recommender systems
Semantics
Structured Query Language
Superluminescent diodes
weak unification
ISSN:1063-6706, 1941-0034
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-formula><tex-math notation="LaTeX"> {\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math></inline-formula> are tailored to the needs of the deductive database system <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math> </inline-formula>. We develop a version of fuzzy <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> where programs and queries are compiled to the <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math></inline-formula> core <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> language. Weak unification and weak SLD resolution are adapted for this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Prolog}}}</tex-math> </inline-formula>, which is open source, multiplatform, portable, and in-memory, featuring a graphical user interface. A distinctive feature of this system is that, unlike others, we have formally demonstrated that our implementation techniques fit the proposed operational semantics. We also study the efficiency of these implementation techniques through a series of detailed experiments. Moreover, a database example for a recommender system is used to illustrate some of the features of the system and its usefulness.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1063-6706
1941-0034
DOI:10.1109/TFUZZ.2018.2806923