Fuzzy inequational logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155707" target="_blank" >RIV/61989592:15310/15:33155707 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.sciencedirect.com/science/article/pii/S0888613X15000365" target="_blank" >http://www.sciencedirect.com/science/article/pii/S0888613X15000365</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.ijar.2015.03.003" target="_blank" >10.1016/j.ijar.2015.03.003</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Fuzzy inequational logic
Popis výsledku v původním jazyce
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semanticentailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if-then rules which is obtained as particular case of the general result.
Název v anglickém jazyce
Fuzzy inequational logic
Popis výsledku anglicky
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semanticentailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if-then rules which is obtained as particular case of the general result.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA14-11585S" target="_blank" >GA14-11585S: Relační podobnostní databáze</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
International Journal of Approximate Reasoning
ISSN
0888-613X
e-ISSN
—
Svazek periodika
60
Číslo periodika v rámci svazku
MAY
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
14
Strana od-do
23-36
Kód UT WoS článku
000353855900003
EID výsledku v databázi Scopus
—