Toward Problems for Mathematical Fuzzy Logic

2006 ◽  
Author(s):  
S. Gottwald
Keyword(s):  
Fuzzy Logic ◽  
Mathematical Fuzzy Logic

scholarly journals Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies

2022 ◽  
pp. 1-30
Author(s):  
GABRIELLA PASI ◽  
RAFAEL PEÑALOZA
Keyword(s):  
Fuzzy Logic ◽  
Domain Knowledge ◽  
Description Logic ◽  
Classical Case ◽  
Point Of View ◽  
Query Answering ◽  
Data Complexity ◽  
Conjunctive Query ◽  
Triangular Norm ◽  
Mathematical Fuzzy Logic

Abstract A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this problem has been widely studied within the realm of description logic ontologies, it has been surprisingly neglected within the context of vague or imprecise knowledge, particularly from the point of view of mathematical fuzzy logic. In this paper, we study the problem of answering conjunctive queries and threshold queries w.r.t. ontologies in fuzzy DL-Lite. Specifically, we show through a rewriting approach that threshold query answering w.r.t. consistent ontologies remains in ${AC}^{0}$ in data complexity, but that conjunctive query answering is highly dependent on the selected triangular norm, which has an impact on the underlying semantics. For the idempotent Gödel t-norm, we provide an effective method based on a reduction to the classical case.

scholarly journals Recognition of damaged letters based on mathematical fuzzy logic analysis

2015 ◽  
Vol 13 (2) ◽  
pp. 94-104 ◽  
Author(s):  
Vilém Novák ◽  
Petr Hurtík ◽  
Hashim Habiballa ◽  
Martin Štepnička
Keyword(s):  
Fuzzy Logic ◽  
Mathematical Fuzzy Logic ◽  
Fuzzy Logic Analysis

scholarly journals Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

2019 ◽  
Vol 23 (7) ◽  
pp. 2177-2186 ◽  
Author(s):  
Guillermo Badia ◽  
Vicent Costa ◽  
Pilar Dellunde ◽  
Carles Noguera
Keyword(s):  
Fuzzy Logic ◽  
First Order ◽  
Mathematical Fuzzy Logic ◽  
Order Structures
Sign in / Sign up

Export Citation Format

Share Document